[−][src]Struct agnes::label::Ident
An basic identifier struct for an identifier within the table Tbl
, backed by the type-level
natural number Nat
.
Trait Implementations
impl<Tbl, Nat> Identifier for Ident<Tbl, Nat>
[src]
type Ident = Self
The Ident struct (which should always be Ident<Self::Table, Self::Natural) for this identifier. Read more
type Table = Tbl
The table for this identifier.
type Natural = Nat
The typenum
-based backing natural number corresponding to this identifier.
impl<TTable, TNat, UTbl, UNat> IdentEq<Ident<UTbl, UNat>> for Ident<TTable, TNat> where
TTable: IsEqual<UTbl>,
TNat: IsEqual<UNat>,
<TTable as IsEqual<UTbl>>::Output: BitAnd<<TNat as IsEqual<UNat>>::Output>,
<<TTable as IsEqual<UTbl>>::Output as BitAnd<<TNat as IsEqual<UNat>>::Output>>::Output: Bit,
[src]
TTable: IsEqual<UTbl>,
TNat: IsEqual<UNat>,
<TTable as IsEqual<UTbl>>::Output: BitAnd<<TNat as IsEqual<UNat>>::Output>,
<<TTable as IsEqual<UTbl>>::Output as BitAnd<<TNat as IsEqual<UNat>>::Output>>::Output: Bit,
Type-level equality implementation for Ident
s. Result will be True
if both table and
the type-level natural number backing this label match.
type Eq = And<<TTable as IsEqual<UTbl>>::Output, <TNat as IsEqual<UNat>>::Output>
Whether or not these identifiers are equal.
impl<Tbl: Clone, Nat: Clone> Clone for Ident<Tbl, Nat>
[src]
fn clone(&self) -> Ident<Tbl, Nat>
[src]
default fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl<Tbl: Debug, Nat: Debug> Debug for Ident<Tbl, Nat>
[src]
Auto Trait Implementations
impl<Tbl, Nat> Send for Ident<Tbl, Nat> where
Nat: Send,
Tbl: Send,
Nat: Send,
Tbl: Send,
impl<Tbl, Nat> Sync for Ident<Tbl, Nat> where
Nat: Sync,
Tbl: Sync,
Nat: Sync,
Tbl: Sync,
Blanket Implementations
impl<T, U> IdentEq for T where
T: IsEqual<U>,
[src]
T: IsEqual<U>,
impl<T, U> LabelEq for T where
T: Identifier,
U: Identifier,
<T as Identifier>::Ident: IdentEq<<U as Identifier>::Ident>,
[src]
T: Identifier,
U: Identifier,
<T as Identifier>::Ident: IdentEq<<U as Identifier>::Ident>,
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]
Haystack: Member<Needle, IsMember = B1>,
Needle: Label,
impl<Frames, Store> JoinIntoStore for Frames
[src]
type Output = Store
The output type after augmenting Store
.
fn join_into_store(&Self, Store, &[usize]) -> Result<Store, AgnesError>
[src]
impl<Frames> AssocDataIndexCons for Frames
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
impl<T> From for T
[src]
impl<T, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Erased for T
impl<T> Same for T
[src]
type Output = T
Should always be Self