[−][src]Trait lifted::Kind1

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

A type constructor of the kind * -> *.

Associated Types

`type Inner`[src]

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

Loading content...

Provided methods

`pub fn new(t: Self::Inner) -> K1<Self, T>`[src]

Wrap the implementation type; see K1::new.

Loading content...

Implementors

`impl<R: Kind2<T, U>, T, U> Kind1<T> for K2P1_2<R, U>`[src]

`type Inner = <R as Kind2<T, U>>::Inner`

`impl<R: Kind2<T, U>, T, U> Kind1<U> for K2P1_1<R, T>`[src]

`type Inner = <R as Kind2<T, U>>::Inner`

`impl<T> Kind1<T> for OptionC`[src]

`type Inner = Option<T>`

`impl<T> Kind1<T> for VecC`[src]

`type Inner = Vec<T>`

Loading content...