IdrisDoc: Effects.DepEff

Effects.DepEff

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