Trait radn::func::context::MonadContext

pub trait MonadContext<'a>: FunctorContext<'a, T = Self::_Tm> {
    type _Tm: Monad<'a>;
}

Required Associated Types

type _Tm: Monad<'a>

Implementors

impl<'a, Ctx: FunctorContext<'a>> MonadContext<'a> for Ctxwhere Ctx::T: Monad<'a>,

type _Tm = <Ctx as FunctorContext<'a>>::T