IdrisDoc: Effects.DepEff

Effects.DepEff

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