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

pub trait IdentEq<Other> {
    type Eq: Bit;
}

Ident-level equality. Leverages typenum's IsEqual trait for type-level-number equality, but doesn't use IsEqual's is_equal method (since no results of this equality check are intended to be instantiated).

Associated Types

type Eq: Bit

Whether or not these identifiers are equal.

Loading content...

Implementors

impl<T, U> IdentEq<U> for T where
    T: IsEqual<U>, [src]

Fallback to IsEqual

type Eq = <T as IsEqual<U>>::Output

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]

Type-level equality implementation for Idents. 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>

Loading content...