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.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl Len for ()

type Output = UTerm

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

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> 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> 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> 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> 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> 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> 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> 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> Len for (T0, T1, T2)

type Output = <UInt<UInt<UTerm, B1>, B0> 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> Len for (T0,)

type Output = <UTerm 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