Trait type_freak::list::LLengthOp

pub trait LLengthOp where
    Self: TList,
    Self::Output: Unsigned, {
    type Output;
}

A type operator that gets the length of TList.

Associated Types

type Output

Loading content...

Implementors

impl LLengthOp for LNil

type Output = U0

impl<Head, Tail> LLengthOp for LCons<Head, Tail> where
    Tail: TList + LLengthOp,
    LLengthOpOutput<Tail>: Add<U1>,
    Sum<LLengthOpOutput<Tail>, U1>: Unsigned, 

type Output = Sum<LLengthOpOutput<Tail>, U1>

Loading content...