IdrisDoc: Effect.Trans

Effect.Trans

TRANS : (Type -> Type) -> EFFECT
data Trans : (Type -> Type) -> Effect
Lift : m a -> sig (Trans m) a
lift : m a -> Eff a [TRANS m]