Trait type_freak::list::LAppendOp

pub trait LAppendOp<Item> where
    Self: TList,
    Self::Output: TList, {
    type Output;
}

A type operator that appends a new type to TList.

Associated Types

type Output

Loading content...

Implementors

impl<Item> LAppendOp<Item> for LNil

type Output = LCons<Item, LNil>

impl<Item, Head, Tail> LAppendOp<Item> for LCons<Head, Tail> where
    Tail: TList + LAppendOp<Item>, 

type Output = LCons<Head, LAppendOpOutput<Tail, Item>>

Loading content...