Control.RMonad.AsMonad

Documentation

data AsMonad m a

Instances

RMonad m => Monad (AsMonad m)

RMonadPlus m => MonadPlus (AsMonad m)

embed :: (RMonad m, 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