IdrisDoc: Effects.TransEff

Effects.TransEff

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