rmonad-0.5: Restricted monad library
Control.RMonad.AsMonad
Synopsis
data AsMonad m a Source
Instances
embed :: Suitable m a => m a -> AsMonad m aSource
Turn a restricted monad into a normal monad
unEmbed :: Suitable m a => AsMonad m a -> m aSource
Unwrap an AsMonad value into the enclosed restricted monad
AsMonad