Control.Effect.Lift

Definitions

HintLift : Monad m => Algebra (Lift m) m

Visibility: public export

lift : Monad n => Inj (Lift n) sig => Algebra sig m => n a -> m a

  Lift a computation to the underlying effect stack.

Visibility: public export