Control.Effect.Internal.BaseControl

Documentation

data BaseControlH

Instances

Carrier m => PrimHandler BaseControlH (BaseControl m) m

Defined in Control.Effect.Internal.BaseControl

Methods

effPrimHandler :: EffPrimHandler (BaseControl m) m

newtype BaseControlC m a

Constructors

BaseControlC

Fields

• unBaseControlC :: m a

Instances

MonadTrans (BaseControlC :: (Type -> Type) -> Type -> Type)

Defined in Control.Effect.Internal.BaseControl

Methods

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

MonadTransControl (BaseControlC :: (Type -> Type) -> Type -> Type)

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)

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)

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)

Defined in Control.Effect.Internal.BaseControl

Methods

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

MonadFail m => MonadFail (BaseControlC m)

Defined in Control.Effect.Internal.BaseControl

Methods

fail :: String -> BaseControlC m a

Applicative m => Applicative (BaseControlC m)

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)

Defined in Control.Effect.Internal.BaseControl

Methods

liftIO :: IO a -> BaseControlC m a

Alternative m => Alternative (BaseControlC m)

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)

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)

Defined in Control.Effect.Internal.BaseControl

Methods

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

MonadCatch m => MonadCatch (BaseControlC m)

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)

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)

Defined in Control.Effect.Internal.BaseControl

Associated Types

type Derivs (BaseControlC m) :: [Effect]

type Prims (BaseControlC m) :: [Effect]

Methods

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

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

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

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

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)

Defined in Control.Effect.Internal.BaseControl

type Derivs (BaseControlC m) = Derivs (InterpretPrimC BaseControlH (BaseControl m) m)

type Prims (BaseControlC m)

Defined in Control.Effect.Internal.BaseControl

type Prims (BaseControlC m) = Prims (InterpretPrimC BaseControlH (BaseControl m) m)