IsIntoIterator

Type Alias IsIntoIterator 

Source
pub type IsIntoIterator = Marker<Cons<X3, Cons<XA, Cons<XE, Cons<X1, Cons<XF, Cons<XA, Cons<XB, Cons<XA, Cons<X5, Cons<X9, Cons<XD, Cons<X2, Cons<XD, Cons<X0, Cons<X9, ConstStream<X9>>>>>>>>>>>>>>>>>;
Expand description

Capability marker for IntoIterator trait detection.

Aliased Type§

pub struct IsIntoIterator(/* private fields */);

Trait Implementations§

Source§

impl Capability for IsIntoIterator

Source§

type Stream = Cons<X3, Cons<XA, Cons<XE, Cons<X1, Cons<XF, Cons<XA, Cons<XB, Cons<XA, Cons<X5, Cons<X9, Cons<XD, Cons<X2, Cons<XD, Cons<X0, Cons<X9, 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 = IList16<IList<C<'I'>, IList<C<'n'>, IList<C<'t'>, IList<C<'o'>, IList<C<'I'>, IList<C<'t'>, IList<C<'e'>, IList<C<'r'>, IList<C<'a'>, IList<C<'t'>, IList<C<'o'>, IList<C<'r'>, 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<X3, Cons<XA, Cons<XE, Cons<X1, Cons<XF, Cons<XA, Cons<XB, Cons<XA, Cons<X5, Cons<X9, Cons<XD, Cons<X2, Cons<XD, Cons<X0, Cons<X9, 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)