Idris2Doc : Control.Eff

Control.Eff

(source)
Reexports
import public Control.Eff.Choose
import public Control.Eff.Except
import public Control.Eff.Internal
import public Control.Eff.Reader
import public Control.Eff.State
import public Control.Eff.Writer
import public Control.Eff.Interface