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
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

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

impl<TMarker: ?Sized, TValue> IdSlice<TMarker, TValue> {
    pub const fn downcast_as<TExtendedMarker: ?Sized>(&self) -> &IdSlice<TExtendedMarker, TValue>
    where
        TExtendedMarker: Extends<TMarker>,
    {
        IdSlice::from_slice(self.as_slice())
    }

    pub const fn upcast_as<TExtendedMarker: ?Sized>(&self) -> &IdSlice<TExtendedMarker, TValue>
    where
        TMarker: Extends<TExtendedMarker>,
    {
        IdSlice::from_slice(self.as_slice())
    }

    pub fn downcast_as_mut<TExtendedMarker: ?Sized>(
        &mut self,
    ) -> &mut IdSlice<TExtendedMarker, TValue>
    where
        TExtendedMarker: Extends<TMarker>,
    {
        IdSlice::from_mut_slice(self.as_mut_slice())
    }

    pub fn upcast_as_mut<TExtendedMarker: ?Sized>(
        &mut self,
    ) -> &mut IdSlice<TExtendedMarker, TValue>
    where
        TMarker: Extends<TExtendedMarker>,
    {
        IdSlice::from_mut_slice(self.as_mut_slice())
    }
}