Trait Len 

pub trait Len {
    type Output: Unsigned;

    // Required method
    fn len(&self) -> Self::Output;
}

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

Required 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.

Implementations on Foreign Types

impl Len for ()

type Output = UTerm

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

impl<T0> Len for (T0,)

type Output = <UTerm as Add<B1>>::Output

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

impl<T0, T1> Len for (T0, T1)

type Output = <UInt<UTerm, B1> as Add<B1>>::Output

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

impl<T0, T1, T2> Len for (T0, T1, T2)

type Output = <UInt<UInt<UTerm, B1>, B0> as Add<B1>>::Output

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

impl<T0, T1, T2, T3> Len for (T0, T1, T2, T3)

type Output = <UInt<UInt<UTerm, B1>, B1> as Add<B1>>::Output

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

impl<T0, T1, T2, T3, T4> Len for (T0, T1, T2, T3, T4)

type Output = <UInt<UInt<UInt<UTerm, B1>, B0>, B0> as Add<B1>>::Output

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

impl<T0, T1, T2, T3, T4, T5> Len for (T0, T1, T2, T3, T4, T5)

type Output = <UInt<UInt<UInt<UTerm, B1>, B0>, B1> as Add<B1>>::Output

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

impl<T0, T1, T2, T3, T4, T5, T6> Len for (T0, T1, T2, T3, T4, T5, T6)

type Output = <UInt<UInt<UInt<UTerm, B1>, B1>, B0> as Add<B1>>::Output

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

impl<T0, T1, T2, T3, T4, T5, T6, T7> Len for (T0, T1, T2, T3, T4, T5, T6, T7)

type Output = <UInt<UInt<UInt<UTerm, B1>, B1>, B1> as Add<B1>>::Output

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

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> Len for (T0, T1, T2, T3, T4, T5, T6, T7, T8)

type Output = <UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0> as Add<B1>>::Output

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

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> Len for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

type Output = <UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1> as Add<B1>>::Output

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

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> Len for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)

type Output = <UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0> as Add<B1>>::Output

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

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> Len for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)

type Output = <UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1> as Add<B1>>::Output

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

Implementors

impl Len for ATerm

Length of ATerm by itself is 0

type Output = UTerm

impl Len for UTerm

Length of UTerm by itself is 0

type Output = UTerm

impl<U, B: Bit> Len for UInt<U, B>

where U: Len + Unsigned, Length<U>: Add<B1>, Add1<Length<U>>: Unsigned,

Length of a bit is 1

type Output = <<U as Len>::Output as Add<B1>>::Output

impl<V, A> Len for TArr<V, A>

where A: Len, Length<A>: Add<B1>, Sum<Length<A>, B1>: Unsigned,

Size of a TypeArray

type Output = <<A as Len>::Output as Add<B1>>::Output