Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- runM :: LiftC m a -> m a
- newtype LiftC m a = LiftC (m a)
- module Control.Effect.Lift
Lift carrier
Since: 1.0.0.0
LiftC (m a) |
Instances
MonadTrans LiftC Source # | |
Defined in Control.Carrier.Lift | |
MonadFail m => MonadFail (LiftC m) Source # | |
Defined in Control.Carrier.Lift | |
MonadFix m => MonadFix (LiftC m) Source # | |
Defined in Control.Carrier.Lift | |
MonadIO m => MonadIO (LiftC m) Source # | |
Defined in Control.Carrier.Lift | |
Alternative m => Alternative (LiftC m) Source # | |
Applicative m => Applicative (LiftC m) Source # | |
Functor m => Functor (LiftC m) Source # | |
Monad m => Monad (LiftC m) Source # | |
MonadPlus m => MonadPlus (LiftC m) Source # | |
MonadUnliftIO m => MonadUnliftIO (LiftC m) Source # | |
Defined in Control.Carrier.Lift | |
Monad m => Algebra (Lift m) (LiftC m) Source # | |
Lift effect
module Control.Effect.Lift