Modulefused-effects-1.1.2.7Haskell2010
Control.Carrier.Lift
A carrier for Lift allowing monadic actions to be lifted from an outer context into an inner one with sendM, and for an inner context to run actions in an outer one with liftWith.
- 1 type
- 1 value
- Packagefused-effects-1.1.2.7
- Exports2
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceLift.hs
Lift carrier
2 declarationsConstructors
LiftC (m a)
Instances11MonadTrans, Monad, Functor, MonadFix, MonadFail, Applicative, …
MonadTrans LiftCDefined in fused-effects-1.1.2.7 · Control.Carrier.LiftMonad m => Monad (LiftC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.LiftFunctor m => Functor (LiftC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.LiftMonadFix m => MonadFix (LiftC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.LiftMonadFail m => MonadFail (LiftC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.LiftApplicative m => Applicative (LiftC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.LiftAlternative m => Alternative (LiftC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.LiftMonadPlus m => MonadPlus (LiftC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.LiftMonadIO m => MonadIO (LiftC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.LiftMonadUnliftIO m => MonadUnliftIO (LiftC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.LiftMonad m => Algebra (Lift m) (LiftC m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Lift
Lift effect
0 declarationsmodule Control.Effect.Lift