[−][src]Trait agnes::cons::Len
Trait providing length (either compile-time or runtime) details of a list.
Associated Types
Loading content...Provided methods
fn is_empty() -> bool
Returns true
if length is 0, and false
otherwise.
fn len() -> usize
Returns the length of this list.
Implementors
impl Len for Nil
[src]
impl<Head, Tail> Len for Cons<Head, Tail> where
Tail: Len,
<Tail as Len>::Len: Add<B1>,
<<Tail as Len>::Len as Add<B1>>::Output: Unsigned,
[src]
Tail: Len,
<Tail as Len>::Len: Add<B1>,
<<Tail as Len>::Len as Add<B1>>::Output: Unsigned,