in-other-words-0.1.0.0: A higher-order effect system where the sky's the limit

Safe HaskellNone
LanguageHaskell2010

Control.Effect.Internal.Unlift

Documentation

data UnliftH Source #

Instances
Carrier m => PrimHandler UnliftH (Unlift m) m Source # 
Instance details

Defined in Control.Effect.Internal.Unlift

newtype UnliftC m a Source #

Constructors

UnliftC 

Fields

Instances
MonadTrans (UnliftC :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Control.Effect.Internal.Unlift

Methods

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

MonadTransControl (UnliftC :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Control.Effect.Internal.Unlift

Associated Types

type StT UnliftC a :: Type #

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) Source # 
Instance details

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 #

fail :: String -> UnliftC m a #

Functor m => Functor (UnliftC m) Source # 
Instance details

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) Source # 
Instance details

Defined in Control.Effect.Internal.Unlift

Methods

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

MonadFail m => MonadFail (UnliftC m) Source # 
Instance details

Defined in Control.Effect.Internal.Unlift

Methods

fail :: String -> UnliftC m a #

Applicative m => Applicative (UnliftC m) Source # 
Instance details

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) Source # 
Instance details

Defined in Control.Effect.Internal.Unlift

Methods

liftIO :: IO a -> UnliftC m a #

Alternative m => Alternative (UnliftC m) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Control.Effect.Internal.Unlift

Methods

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

MonadCatch m => MonadCatch (UnliftC m) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Control.Effect.Internal.Unlift

Associated Types

type Derivs (UnliftC m) :: [Effect] Source #

type Prims (UnliftC m) :: [Effect] Source #

type StT (UnliftC :: (Type -> Type) -> Type -> Type) a Source # 
Instance details

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) Source # 
Instance details

Defined in Control.Effect.Internal.Unlift

type Prims (UnliftC m) Source # 
Instance details

Defined in Control.Effect.Internal.Unlift