rmonad-0.3: Restricted monad library
Control.RMonad.AsMonad
Synopsis
data AsMonad m a Source
Instances
embed :: (RMonad m, 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