Control.Effect.Lift

Documentation

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

Constructors

Lift

Fields

• unLift :: sig k

Instances

Functor sig => Effect (Lift sig)

Defined in Control.Effect.Lift

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

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

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

ret :: a -> LiftC m a

Functor sig => Functor (Lift sig m)

Defined in Control.Effect.Lift

Methods

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

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

sendM :: (Member (Lift n) sig, Carrier sig m, Functor n) => n a -> m a

Given a Lift n constraint in a signature carried by m, sendM promotes arbitrary actions of type n a to m a. It is spiritually similar to lift from the MonadTrans typeclass.

runM :: LiftC m a -> m a

Extract a Lifted Monadic action from an effectful computation.

newtype LiftC m a

Constructors

LiftC

Fields

• runLiftC :: m a

Instances

MonadTrans LiftC

Defined in Control.Effect.Lift

Methods

lift :: Monad m => m a -> LiftC m a

Monad m => Monad (LiftC m)

Defined in Control.Effect.Lift

Methods

(>>=) :: LiftC m a -> (a -> LiftC m b) -> LiftC m b

(>>) :: LiftC m a -> LiftC m b -> LiftC m b

return :: a -> LiftC m a

fail :: String -> LiftC m a

Functor m => Functor (LiftC m)

Defined in Control.Effect.Lift

Methods

fmap :: (a -> b) -> LiftC m a -> LiftC m b

(<$) :: a -> LiftC m b -> LiftC m a

MonadFail m => MonadFail (LiftC m)

Defined in Control.Effect.Lift

Methods

fail :: String -> LiftC m a

Applicative m => Applicative (LiftC m)

Defined in Control.Effect.Lift

Methods

pure :: a -> LiftC m a

(<*>) :: LiftC m (a -> b) -> LiftC m a -> LiftC m b

liftA2 :: (a -> b -> c) -> LiftC m a -> LiftC m b -> LiftC m c

(*>) :: LiftC m a -> LiftC m b -> LiftC m b

(<*) :: LiftC m a -> LiftC m b -> LiftC m a

MonadIO m => MonadIO (LiftC m)

Defined in Control.Effect.Lift

Methods

liftIO :: IO a -> LiftC m a

Alternative m => Alternative (LiftC m)

Defined in Control.Effect.Lift

Methods

empty :: LiftC m a

(<|>) :: LiftC m a -> LiftC m a -> LiftC m a

some :: LiftC m a -> LiftC m [a]

many :: LiftC m a -> LiftC m [a]

MonadPlus m => MonadPlus (LiftC m)

Defined in Control.Effect.Lift

Methods

mzero :: LiftC m a

mplus :: LiftC m a -> LiftC m a -> LiftC m a

MonadUnliftIO m => MonadUnliftIO (LiftC m)

Defined in Control.Effect.Lift

Methods

askUnliftIO :: LiftC m (UnliftIO (LiftC m))

withRunInIO :: ((forall a. LiftC m a -> IO a) -> IO b) -> LiftC m b

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

Defined in Control.Effect.Lift

Methods

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

ret :: a -> LiftC m a