Trait typenum::type_operators::Len

[+] Show declaration

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

[−] Expand description

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 ATerm[+]

Length of ATerm by itself is 0

[+] Show hidden undocumented items

type Output = U0

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

impl Len for UTerm[+]

Length of UTerm by itself is 0

[+] Show hidden undocumented items

type Output = U0

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

impl<U: Unsigned, B: Bit> Len for UInt<U, B> where
    U: Len,
    Length<U>: Add<B1>,
    Add1<Length<U>>: Unsigned, [+]

Length of a bit is 1

[+] Show hidden undocumented items

type Output = Add1<Length<U>>

fn len(&self) -> Self::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

[+] Show hidden undocumented items

type Output = Add1<Length<A>>

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