Idris2Doc : Control.Eff

Control.Eff

(source)

Reexports

importpublic Control.Eff.Choose
importpublic Control.Eff.Except
importpublic Control.Eff.Internal
importpublic Control.Eff.Reader
importpublic Control.Eff.State
importpublic Control.Eff.Writer
importpublic Control.Eff.Interface