[−][src]Trait agnes::label::Identifier

pub trait Identifier {
    type Ident: Identifier;
    type Table;
    type Natural;
}

Trait to provide associated types (table and backing natural) for a field identifier.

All identifiers in agnes exist in a specific table (a marker struct which represents that table). Within the table, identifiers are backed by a type-level natural number (using the typenum crate for type-level numbers).

Associated Types

type Ident: Identifier

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

type Table

The table for this identifier.

type Natural

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

Loading content...

Implementations on Foreign Types

impl Identifier for UTerm[src]

type Ident = Ident<Self::Table, Self::Natural>

type Table = Local

type Natural = Self

impl<U, B> Identifier for UInt<U, B>[src]

type Ident = Ident<Self::Table, Self::Natural>

type Table = Local

type Natural = Self

Loading content...

Implementors

impl Identifier for agnes::test_utils::dept_table::DeptId[src]

type Ident = Ident<Table, U0>

type Table = Table

type Natural = U0

impl Identifier for DeptName[src]

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

type Table = TblOf<DeptId>

type Natural = Add1<NatOf<DeptId>>

impl Identifier for agnes::test_utils::emp_table::DeptId[src]

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

type Table = TblOf<EmpId>

type Natural = Add1<NatOf<EmpId>>

impl Identifier for agnes::test_utils::emp_table::EmpId[src]

type Ident = Ident<Table, U0>

type Table = Table

type Natural = U0

impl Identifier for agnes::test_utils::emp_table::EmpName[src]

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

type Table = TblOf<DeptId>

type Natural = Add1<NatOf<DeptId>>

impl Identifier for agnes::test_utils::extra_emp::DidTraining[src]

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

type Table = TblOf<SalaryOffset>

type Natural = Add1<NatOf<SalaryOffset>>

impl Identifier for agnes::test_utils::extra_emp::SalaryOffset[src]

type Ident = Ident<Table, U0>

type Table = Table

type Natural = U0

impl Identifier for agnes::test_utils::extra_emp::VacationHrs[src]

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

type Table = TblOf<DidTraining>

type Natural = Add1<NatOf<DidTraining>>

impl Identifier for agnes::test_utils::full_emp_table::DeptId[src]

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

type Table = TblOf<EmpId>

type Natural = Add1<NatOf<EmpId>>

impl Identifier for agnes::test_utils::full_emp_table::DidTraining[src]

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

type Table = TblOf<SalaryOffset>

type Natural = Add1<NatOf<SalaryOffset>>

impl Identifier for agnes::test_utils::full_emp_table::EmpId[src]

type Ident = Ident<Table, U0>

type Table = Table

type Natural = U0

impl Identifier for agnes::test_utils::full_emp_table::EmpName[src]

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

type Table = TblOf<DeptId>

type Natural = Add1<NatOf<DeptId>>

impl Identifier for agnes::test_utils::full_emp_table::SalaryOffset[src]

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

type Table = TblOf<EmpName>

type Natural = Add1<NatOf<EmpName>>

impl Identifier for agnes::test_utils::full_emp_table::VacationHrs[src]

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

type Table = TblOf<DidTraining>

type Natural = Add1<NatOf<DidTraining>>

impl<Tbl, Nat> Identifier for Ident<Tbl, Nat>[src]

type Ident = Self

type Table = Tbl

type Natural = Nat

Loading content...