IdrisDoc: Effects.SimpleEff

Effects.SimpleEff

EffT : (m : Type -> Type) -> (x : Type) -> (es : List EFFECT) -> Type
Eff : (x : Type) -> (es : List EFFECT) -> Type