HKT

funlib

Trait HKT 

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

Higher Kinded Type helper for M -> M

Required Associated Types§

Source

type A

Current Type

Source

type M

Type M

Implementations on Foreign Types§

Source§

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

Source§

type A = B

Source§

type M = Option<C>

Source§

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

Source§

type A = B

Source§

type M = Box<C>

Source§

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

Source§

type A = B

Source§

type M = Rc<C>

Source§

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

Source§

type A = B

Source§

type M = Vec<C>

Implementors§