Trait verified::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.

Loading content...

Required methods

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

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

Loading content...

Implementors

impl Len for ATerm

Length of ATerm by itself is 0

type Output = UTerm

fn len(&self) -> <ATerm as Len>::Output

impl Len for UTerm

Length of UTerm by itself is 0

type Output = UTerm

fn len(&self) -> <UTerm as Len>::Output

impl<U, B> Len for UInt<U, B> where
    B: Bit,
    U: Unsigned + Len,
    <U as Len>::Output: Add<B1>,
    <<U as Len>::Output as Add<B1>>::Output: Unsigned, 

Length of a bit is 1

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

fn len(&self) -> <UInt<U, B> as Len>::Output

impl<V, A> Len for TArr<V, A> where
    A: Len,
    <A as Len>::Output: Add<B1>,
    <<A as Len>::Output as Add<B1>>::Output: Unsigned, 

Size of a TypeArray

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

fn len(&self) -> <TArr<V, A> as Len>::Output

Loading content...