Trait lifted::Kind2

pub trait Kind2<T, U> {
    type Inner;
    pub fn new(t: Self::Inner) -> K2<Self, T, U> { ... }
}

A type constructor of the kind * -> * -> *.

Associated Types

type Inner

The implementation type. Usually (but not necessarily) parameterized on type.

Loading content...

Provided methods

pub fn new(t: Self::Inner) -> K2<Self, T, U>

Wrap the implementation type; see K1::new.

Loading content...

Implementors

impl<M, A> Kind2<M, A> for IdentityT

type Inner = K1<M, A>

impl<M, A> Kind2<M, A> for OptionT

type Inner = K1<M, Option<A>>

impl<T, E> Kind2<T, E> for ResultC

type Inner = Result<T, E>

impl<T, U> Kind2<T, U> for PairC

type Inner = (T, U)

Loading content...