Safe Haskell	None
Language	Haskell2010

Control.Effect.Internal.Unlift

Documentation

data UnliftH Source #

Instances

Instances details

Carrier m => PrimHandler UnliftH (Unlift m) m Source #
Instance details Defined in Control.Effect.Internal.Unlift Methods effPrimHandler :: EffPrimHandler (Unlift m) m Source #

newtype UnliftC m a Source #

Constructors

UnliftC
Fields unUnliftC :: m a

Instances

Instances details

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 # 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 #
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 # Methods algPrims :: Algebra' (Prims (UnliftC m)) (UnliftC m) a Source # reformulate :: Monad z => Reformulation' (Derivs (UnliftC m)) (Prims (UnliftC m)) (UnliftC m) z a Source # algDerivs :: Algebra' (Derivs (UnliftC m)) (UnliftC m) a 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 Derivs (UnliftC m) = Derivs (InterpretPrimC UnliftH (Unlift m) m)
type Prims (UnliftC m) Source #
Instance details Defined in Control.Effect.Internal.Unlift type Prims (UnliftC m) = Prims (InterpretPrimC UnliftH (Unlift m) m)