fused-effects-0.1.2.0: A fast, flexible, fused effect system.
Control.Effect.Lift
newtype Lift sig (m :: * -> *) k Source #
Constructors
Fields
Defined in Control.Effect.Lift.Internal
Methods
handle :: Functor f => f () -> (forall x. f (m x) -> n (f x)) -> Lift sig m (m a) -> Lift sig n (n (f a)) Source #
fmap' :: (a -> b) -> Lift sig m a -> Lift sig m b Source #
hmap :: (forall x. m x -> n x) -> Lift sig m a -> Lift sig n a Source #
Defined in Control.Effect.Lift
ret :: a -> LiftC m a Source #
eff :: Lift m (LiftC m) (LiftC m a) -> LiftC m a Source #
fmap :: (a -> b) -> Lift sig m a -> Lift sig m b #
(<$) :: a -> Lift sig m b -> Lift sig m a #
runM :: Monad m => Eff (LiftC m) a -> m a Source #
Extract a Lifted Monadic action from an effectful computation.
Lift
Monad
newtype LiftC m a Source #