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

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

newtype BaseControlC m a Source #

Constructors

BaseControlC 

Fields

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 #

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 Prims (BaseControlC m) Source # 
Instance details

Defined in Control.Effect.Internal.BaseControl