Trait lifted::transformer::MonadTrans

pub trait MonadTrans {
    pub fn lift<M: Monad, A>(a: K1<M, A>) -> K2<Self, M, A>;
}

Required methods

pub fn lift<M: Monad, A>(a: K1<M, A>) -> K2<Self, M, A>

Loading content...

Implementors

impl MonadTrans for IdentityT

pub fn lift<M: Monad, A>(a: K1<M, A>) -> K2<Self, M, A>

impl MonadTrans for OptionT

pub fn lift<M: Monad, A>(a: K1<M, A>) -> K2<Self, M, A>

Loading content...