Module

# Control.Monad.Eff

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

### #Effect Source

`kind Effect`

The kind of all effect types.

Declare new effect types using `foreign data`

declarations, as follows:

```
import Control.Monad.Eff (kind Effect)
foreign import data MyEffect :: Effect
```

### #Eff Source

`data Eff :: # Effect -> Type -> Type`

The `Eff`

type constructor is used to represent *native* effects.

See Handling Native Effects with the Eff Monad for more details.

The first type parameter is a row of effects which represents the contexts in which a computation can be run, and the second type parameter is the return type.