Trait typenum::type_operators::Len

pub trait Len {
    type Output: Unsigned;
    fn len(&self) -> Self::Output;
}

A type operator that gives the length of an Array or the number of bits in a UInt.

Associated Types

type Output: Unsigned

The length as a type-level unsigned integer.

Required Methods

fn len(&self) -> Self::Output

This function isn't used in this crate, but may be useful for others.

Implementors

• impl Len for UTerm type Output = U0;

• impl<U: Unsigned, B: Bit> Len for UInt<U, B> where     U: Len,     Length<U>: Add<B1>,     Add1<Length<U>>: Unsigned,  type Output = Add1<Length<U>>;

• impl Len for ATerm type Output = U0;

• impl<V, A> Len for TArr<V, A> where     A: Len,     Length<A>: Add<B1>,     Sum<Length<A>, B1>: Unsigned,  type Output = Add1<Length<A>>;