Safe Haskell	None
Language	Haskell98

Control.Effect.Monad

Synopsis

Documentation

data Monad m t a where Source

All monads are parametric effect monads with a trivial singleton-monoid index. This wrapper wraps normal monads into the Effect interface using the M contructor.

Wrap regular monads up

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 => Monad m t a -> m a Source

Unwrap a monad