Trait funlib::HKT

pub trait HKT<B> {
    type A;
    type M;
}

Higher Kinded Type helper for M -> M

Associated Types

type A

Current Type

type M

Type M

Implementations on Foreign Types

impl<B, C> HKT<C> for Vec<B>

type A = B

type M = Vec<C>

impl<B, C> HKT<C> for Option<B>

type A = B

type M = Option<C>

impl<B, C> HKT<C> for Box<B>

type A = B

type M = Box<C>

impl<B, C> HKT<C> for Rc<B>

type A = B

type M = Rc<C>

Implementors