Trait agnes::cons::Len

pub trait Len {
    type Len: Unsigned;
    fn is_empty(&self) -> bool { ... }
    fn len(&self) -> usize { ... }
}

Trait providing length (either compile-time or runtime) details of a list.

Associated Types

type Len: Unsigned

typenum-based list length.

Loading content...

Provided methods

fn is_empty(&self) -> bool

Returns true if length is 0, and false otherwise.

fn len(&self) -> usize

Returns the length of this list.

Loading content...

Implementors

impl Len for Nil

type Len = UTerm

fn is_empty(&self) -> bool

fn len(&self) -> usize

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, 

type Len = Add1<<Tail as Len>::Len>

fn is_empty(&self) -> bool

fn len(&self) -> usize

Loading content...