Control.Effect.Lift.Internal

Documentation

newtype Lift sig (m :: * -> *) k

Constructors

Lift

Fields

• unLift :: sig k

Instances

Functor sig => Effect (Lift sig)

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))

Functor sig => HFunctor (Lift sig)

Defined in Control.Effect.Lift.Internal

Methods

fmap' :: (a -> b) -> Lift sig m a -> Lift sig m b

hmap :: (forall x. m x -> n x) -> Lift sig m a -> Lift sig n a

Monad m => Carrier (Lift m) (LiftC m)

Defined in Control.Effect.Lift

Methods

ret :: a -> LiftC m a

eff :: Lift m (LiftC m) (LiftC m a) -> LiftC m a

Functor sig => Functor (Lift sig m)

Defined in Control.Effect.Lift.Internal

Methods

fmap :: (a -> b) -> Lift sig m a -> Lift sig m b

(<$) :: a -> Lift sig m b -> Lift sig m a