Trait v9::id::Check[−][src]

pub unsafe trait Check: Copy + Ord + Debug {
    type M: TableMarker;
    unsafe fn step(self, d: i8) -> Self;

    fn to_usize(&self) -> usize;

    unsafe fn from_usize(i: usize) -> Self;

    fn to_raw(&self) -> <Self::M as TableMarker>::RawId;

    unsafe fn check_from_len<'a>(
        self, 
        table: PhantomData<&'a Self::M>, 
        max: usize
    ) -> CheckedId<'a, Self::M> { ... }

    fn uncheck(&self) -> Id<Self::M> { ... }
}

Associated Types

type M: TableMarker[src]

Loading content...

Required methods

unsafe fn step(self, d: i8) -> Self[src]

fn to_usize(&self) -> usize[src]

unsafe fn from_usize(i: usize) -> Self[src]

fn to_raw(&self) -> <Self::M as TableMarker>::RawId[src]

Loading content...

Provided methods

unsafe fn check_from_len<'a>(
    self,
    table: PhantomData<&'a Self::M>,
    max: usize
) -> CheckedId<'a, Self::M>[src]

fn uncheck(&self) -> Id<Self::M>[src]

Loading content...

Implementors

impl<'a, M: TableMarker> Check for CheckedId<'a, M>[src]

type M = M

impl<'a, M: TableMarker> Check for Id<M>[src]

type M = M

impl<'a, M: TableMarker> Check for RmId<'a, M>[src]

type M = M

Loading content...