Safe Haskell	None
Language	Haskell2010

Control.Effect.Internal.BaseControl

Documentation

data BaseControlH Source #

Instances

Instances details

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

newtype BaseControlC m a Source #

Constructors

BaseControlC
Fields unBaseControlC :: m a

Instances

Instances details

MonadTrans (BaseControlC :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods lift :: Monad m => m a -> BaseControlC m a #
MonadTransControl (BaseControlC :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Associated Types type StT BaseControlC a # Methods liftWith :: Monad m => (Run BaseControlC -> m a) -> BaseControlC m a # restoreT :: Monad m => m (StT BaseControlC a) -> BaseControlC m a #
Monad m => Monad (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods (>>=) :: BaseControlC m a -> (a -> BaseControlC m b) -> BaseControlC m b # (>>) :: BaseControlC m a -> BaseControlC m b -> BaseControlC m b # return :: a -> BaseControlC m a #
Functor m => Functor (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods fmap :: (a -> b) -> BaseControlC m a -> BaseControlC m b # (<$) :: a -> BaseControlC m b -> BaseControlC m a #
MonadFix m => MonadFix (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods mfix :: (a -> BaseControlC m a) -> BaseControlC m a #
MonadFail m => MonadFail (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods fail :: String -> BaseControlC m a #
Applicative m => Applicative (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods pure :: a -> BaseControlC m a # (<>) :: BaseControlC m (a -> b) -> BaseControlC m a -> BaseControlC m b # liftA2 :: (a -> b -> c) -> BaseControlC m a -> BaseControlC m b -> BaseControlC m c # (>) :: BaseControlC m a -> BaseControlC m b -> BaseControlC m b # (<*) :: BaseControlC m a -> BaseControlC m b -> BaseControlC m a #
MonadIO m => MonadIO (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods liftIO :: IO a -> BaseControlC m a #
Alternative m => Alternative (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods empty :: BaseControlC m a # (<\|>) :: BaseControlC m a -> BaseControlC m a -> BaseControlC m a # some :: BaseControlC m a -> BaseControlC m [a] # many :: BaseControlC m a -> BaseControlC m [a] #
MonadPlus m => MonadPlus (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods mzero :: BaseControlC m a # mplus :: BaseControlC m a -> BaseControlC m a -> BaseControlC m a #
MonadThrow m => MonadThrow (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods throwM :: Exception e => e -> BaseControlC m a #
MonadCatch m => MonadCatch (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods catch :: Exception e => BaseControlC m a -> (e -> BaseControlC m a) -> BaseControlC m a #
MonadMask m => MonadMask (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Methods mask :: ((forall a. BaseControlC m a -> BaseControlC m a) -> BaseControlC m b) -> BaseControlC m b # uninterruptibleMask :: ((forall a. BaseControlC m a -> BaseControlC m a) -> BaseControlC m b) -> BaseControlC m b # generalBracket :: BaseControlC m a -> (a -> ExitCase b -> BaseControlC m c) -> (a -> BaseControlC m b) -> BaseControlC m (b, c) #
Carrier m => Carrier (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl Associated Types type Derivs (BaseControlC m) :: [Effect] Source # type Prims (BaseControlC m) :: [Effect] Source # Methods algPrims :: Algebra' (Prims (BaseControlC m)) (BaseControlC m) a Source # reformulate :: Monad z => Reformulation' (Derivs (BaseControlC m)) (Prims (BaseControlC m)) (BaseControlC m) z a Source # algDerivs :: Algebra' (Derivs (BaseControlC m)) (BaseControlC m) a Source #
type StT (BaseControlC :: (Type -> Type) -> Type -> Type) a Source #
Instance details Defined in Control.Effect.Internal.BaseControl type StT (BaseControlC :: (Type -> Type) -> Type -> Type) a = StT (IdentityT :: (Type -> Type) -> Type -> Type) a
type Derivs (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl type Derivs (BaseControlC m) = Derivs (InterpretPrimC BaseControlH (BaseControl m) m)
type Prims (BaseControlC m) Source #
Instance details Defined in Control.Effect.Internal.BaseControl type Prims (BaseControlC m) = Prims (InterpretPrimC BaseControlH (BaseControl m) m)