IdrisDoc: Effects.TransEff

Effects.TransEff

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