id_sys 0.1.0

Provides data structures which can be marked such that they only work with similarly marked integer data types.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

use crate::{extends::Extends, IsizeId};

impl<TMarker: ?Sized> IsizeId<TMarker> {
    pub const fn downcast_to<TExtendedMarker: ?Sized>(self) -> IsizeId<TExtendedMarker>
    where
        TExtendedMarker: Extends<TMarker>,
    {
        IsizeId::from_isize(self.to_isize())
    }

    pub const fn upcast_to<TExtendedMarker: ?Sized>(self) -> IsizeId<TExtendedMarker>
    where
        TMarker: Extends<TExtendedMarker>,
    {
        IsizeId::from_isize(self.to_isize())
    }
}