pub type IsBitAnd = Marker<Cons<X2, Cons<XB, Cons<XE, Cons<XF, Cons<X9, Cons<XE, Cons<XB, Cons<X7, Cons<X1, Cons<X5, Cons<X8, Cons<X2, Cons<X8, Cons<X7, Cons<X6, ConstStream<X9>>>>>>>>>>>>>>>>>;Expand description
Capability marker for BitAnd trait detection.
Aliased Type§
pub struct IsBitAnd(/* private fields */);Trait Implementations§
Source§impl Capability for IsBitAnd
impl Capability for IsBitAnd
Source§type Stream = Cons<X2, Cons<XB, Cons<XE, Cons<XF, Cons<X9, Cons<XE, Cons<XB, Cons<X7, Cons<X1, Cons<X5, Cons<X8, Cons<X2, Cons<X8, Cons<X7, Cons<X6, ConstStream<X9>>>>>>>>>>>>>>>>
type Stream = Cons<X2, Cons<XB, Cons<XE, Cons<XF, Cons<X9, Cons<XE, Cons<XB, Cons<X7, Cons<X1, Cons<X5, Cons<X8, Cons<X2, Cons<X8, Cons<X7, Cons<X6, ConstStream<X9>>>>>>>>>>>>>>>>
Type-level nibble stream responsible for Routing (Trie Path).
This is typically a short hash (64-bit) of the identity.
Source§type Identity = IList8<IList<C<'B'>, IList<C<'i'>, IList<C<'t'>, IList<C<'A'>, IList<C<'n'>, IList<C<'d'>, INil>>>>>>>
type Identity = IList8<IList<C<'B'>, IList<C<'i'>, IList<C<'t'>, IList<C<'A'>, IList<C<'n'>, IList<C<'d'>, INil>>>>>>>
Unique Type-Level Identity.
Typically a Tuple of
Char types representing the full name.
Used for collision resolution (Equality checks) in leaf nodes.Source§type At<D: Peano> = <<<Marker<Cons<X2, Cons<XB, Cons<XE, Cons<XF, Cons<X9, Cons<XE, Cons<XB, Cons<X7, Cons<X1, Cons<X5, Cons<X8, Cons<X2, Cons<X8, Cons<X7, Cons<X6, ConstStream<X9>>>>>>>>>>>>>>>>> as Capability>::Stream as GetTail<D>>::Out as HashStream>::Head
where
Self::Stream: GetTail<D>
type At<D: Peano> = <<<Marker<Cons<X2, Cons<XB, Cons<XE, Cons<XF, Cons<X9, Cons<XE, Cons<XB, Cons<X7, Cons<X1, Cons<X5, Cons<X8, Cons<X2, Cons<X8, Cons<X7, Cons<X6, ConstStream<X9>>>>>>>>>>>>>>>>> as Capability>::Stream as GetTail<D>>::Out as HashStream>::Head where Self::Stream: GetTail<D>
Helper to get the stream head at depth D (used for trie building)