Control.Effect.Internal.Unlift

Documentation

data UnliftH

Instances

Carrier m => PrimHandler UnliftH (Unlift m) m

Defined in Control.Effect.Internal.Unlift

Methods

effPrimHandler :: EffPrimHandler (Unlift m) m

newtype UnliftC m a

Constructors

UnliftC

Fields

• unUnliftC :: m a

Instances

MonadTrans (UnliftC :: (Type -> Type) -> Type -> Type)

Defined in Control.Effect.Internal.Unlift

Methods

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

MonadTransControl (UnliftC :: (Type -> Type) -> Type -> Type)

Defined in Control.Effect.Internal.Unlift

Associated Types

type StT UnliftC a

Methods

liftWith :: Monad m => (Run UnliftC -> m a) -> UnliftC m a

restoreT :: Monad m => m (StT UnliftC a) -> UnliftC m a

Monad m => Monad (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

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

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

return :: a -> UnliftC m a

Functor m => Functor (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

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

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

MonadFix m => MonadFix (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

mfix :: (a -> UnliftC m a) -> UnliftC m a

MonadFail m => MonadFail (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

fail :: String -> UnliftC m a

Applicative m => Applicative (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

pure :: a -> UnliftC m a

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

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

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

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

MonadIO m => MonadIO (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

liftIO :: IO a -> UnliftC m a

Alternative m => Alternative (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

empty :: UnliftC m a

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

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

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

MonadPlus m => MonadPlus (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

mzero :: UnliftC m a

mplus :: UnliftC m a -> UnliftC m a -> UnliftC m a

MonadThrow m => MonadThrow (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

throwM :: Exception e => e -> UnliftC m a

MonadCatch m => MonadCatch (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

catch :: Exception e => UnliftC m a -> (e -> UnliftC m a) -> UnliftC m a

MonadMask m => MonadMask (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

mask :: ((forall a. UnliftC m a -> UnliftC m a) -> UnliftC m b) -> UnliftC m b

uninterruptibleMask :: ((forall a. UnliftC m a -> UnliftC m a) -> UnliftC m b) -> UnliftC m b

generalBracket :: UnliftC m a -> (a -> ExitCase b -> UnliftC m c) -> (a -> UnliftC m b) -> UnliftC m (b, c)

Carrier m => Carrier (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Associated Types

type Derivs (UnliftC m) :: [Effect]

type Prims (UnliftC m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (UnliftC m)) (UnliftC m) a

reformulate :: Monad z => Reformulation' (Derivs (UnliftC m)) (Prims (UnliftC m)) (UnliftC m) z a

algDerivs :: Algebra' (Derivs (UnliftC m)) (UnliftC m) a

type StT (UnliftC :: (Type -> Type) -> Type -> Type) a

Defined in Control.Effect.Internal.Unlift

type StT (UnliftC :: (Type -> Type) -> Type -> Type) a = StT (IdentityT :: (Type -> Type) -> Type -> Type) a

type Derivs (UnliftC m)

Defined in Control.Effect.Internal.Unlift

type Derivs (UnliftC m) = Derivs (InterpretPrimC UnliftH (Unlift m) m)

type Prims (UnliftC m)

Defined in Control.Effect.Internal.Unlift

type Prims (UnliftC m) = Prims (InterpretPrimC UnliftH (Unlift m) m)