[−][src]Trait agnes::label::IdentEq
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
Loading content...Implementors
impl<T, U> IdentEq<U> for T where
T: IsEqual<U>,
[src]
T: IsEqual<U>,
Fallback to IsEqual
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.