Control.RMonad.AsMonad

Documentation

data AsMonad m a

Instances

RMonad m => Monad (AsMonad m)

RFunctor f => Functor (AsMonad f)

RMonadPlus m => MonadPlus (AsMonad m)

embed :: Suitable m a => m a -> AsMonad m a

Turn a restricted monad into a normal monad

unEmbed :: Suitable m a => AsMonad m a -> m a

Unwrap an AsMonad value into the enclosed restricted monad