[][src]Struct agnes::test_utils::emp_table::DeptId

pub struct DeptId;

Unit struct representing the field $label.

Trait Implementations

impl Identifier for DeptId[src]

type Ident = Ident<TblOf<EmpId>, Add1<NatOf<EmpId>>>

The Ident struct (which should always be Ident<Self::Table, Self::Natural) for this identifier. Read more

type Table = TblOf<EmpId>

The table for this identifier.

type Natural = Add1<NatOf<EmpId>>

The typenum-based backing natural number corresponding to this identifier.

impl Label for DeptId[src]

impl Typed for DeptId[src]

type DType = u64

Associated data type with this type.

impl Clone for DeptId[src]

fn clone_from(&mut self, source: &Self)
1.0.0
[src]

Performs copy-assignment from source. Read more

impl Debug for DeptId[src]

Auto Trait Implementations

impl Send for DeptId

impl Sync for DeptId

Blanket Implementations

impl<T> LabelName for T where
    T: Label
[src]

impl<T, U> LabelEq for T where
    T: Identifier,
    U: Identifier,
    <T as Identifier>::Ident: IdentEq<<U as Identifier>::Ident>, 
[src]

type Eq = <<T as Identifier>::Ident as IdentEq<<U as Identifier>::Ident>>::Eq

Whether or not the two labels refer to the same field.

impl<T> IntoLabeled for T[src]

impl<T> HasLabels for T[src]

impl<Needle, Haystack> HasLabels for Haystack where
    Haystack: Member<Needle, IsMember = B1>,
    Needle: Label
[src]

impl<Frames, Store> JoinIntoStore for Frames[src]

type Output = Store

The output type after augmenting Store.

impl<Frames> AssocDataIndexCons for Frames[src]

type Output = Nil

Type of associated data index cons-list.

impl<T> From for T[src]

impl<T, U> Into for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

impl<T, U> TryFrom for T where
    U: Into<T>, 
[src]

type Error = !

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> BorrowMut for T where
    T: ?Sized
[src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

impl<T> Erased for T

impl<T> Same for T[src]

type Output = T

Should always be Self