Struct VecC 

pub struct VecC;

A Vec<*> type constructor.

The Vec<*> type constructor has kind * -> *.

Trait Implementations

impl Applicative for VecC

fn pure<T>(t: T) -> K1<Self, T>

fn app<A: Clone, B, F: Fn(A) -> B>( f: K1<Self, F>, a: K1<Self, A>, ) -> K1<Self, B>

impl Functor for VecC

fn fmap<A, B, F: Fn(A) -> B>(f: F, a: K1<Self, A>) -> K1<Self, B>

impl<T> Kind1<T> for VecC

type Inner = Vec<T>

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

fn new(t: <Self as Kind1<T>>::Inner) -> K1<Self, T>

Wrap the implementation type; see K1::new.

impl Monad for VecC

fn bind<A, B, G: Fn(A) -> K1<Self, B>>(a: K1<Self, A>, g: G) -> K1<Self, B>