ixmonad-0.50: Embeds effect systems into Haskell using an parameteric effect monad (the |Effect| type class)

Safe HaskellNone
LanguageHaskell98

Control.Effect.Monad

Documentation

data Monad m t a where Source

Constructors

Wrap :: Monad m => m a -> Monad m () a 

Instances

Monad m => Effect * (Monad m) 
type Unit * (Monad m) = () 
type Plus * (Monad m) s t = () 
type Inv * (Monad m) s t = () 

unWrap :: Monad m t a -> m a Source