IdrisDoc: Effect.Trans

Effect.Trans

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