Module

# Control.Monad.Eff.Class

- Package
- purescript-eff
- Repository
- purescript/purescript-eff

### #MonadEffSource

`class (Monad m) <= MonadEff eff m | m -> eff where`

The `MonadEff`

class captures those monads which support native effects.

Instances are provided for `Eff`

itself, and the standard monad
transformers.

`liftEff`

can be used in any appropriate monad transformer stack to lift an
action of type `Eff eff a`

into the monad.

Note that `MonadEff`

is parameterized by the row of effects, so type
inference can be tricky. It is generally recommended to either work with a
polymorphic row of effects, or a concrete, closed row of effects such as
`(trace :: Trace)`

.