Control.Effects

Documentation

class Effect (e :: (* -> *) -> *) where

Associated Types

type CanLift e (t :: (* -> *) -> * -> *) :: Constraint

Methods

liftThrough :: forall t m. (CanLift e t, Monad m, Monad (t m)) => e m -> e (t m)

liftThrough :: forall t m. (Generic (e m), MonadTrans t, Monad m, Monad (t m), SimpleMethods e m t) => e m -> e (t m)

mergeContext :: Monad m => m (e m) -> e m

mergeContext :: (Generic (e m), MonadicMethods e m) => m (e m) -> e m

Instances

Effect Bracket

Associated Types

type CanLift (Bracket :: (* -> *) -> *) (t :: (* -> *) -> * -> *) :: Constraint

Methods

liftThrough :: (CanLift Bracket t, Monad m, Monad (t m)) => Bracket m -> Bracket (t m)

mergeContext :: Monad m => m (Bracket m) -> Bracket m

Effect NonDeterminism

Associated Types

type CanLift (NonDeterminism :: (* -> *) -> *) (t :: (* -> *) -> * -> *) :: Constraint

Methods

liftThrough :: (CanLift NonDeterminism t, Monad m, Monad (t m)) => NonDeterminism m -> NonDeterminism (t m)

mergeContext :: Monad m => m (NonDeterminism m) -> NonDeterminism m

Effect Async

Associated Types

type CanLift (Async :: (* -> *) -> *) (t :: (* -> *) -> * -> *) :: Constraint

Methods

liftThrough :: (CanLift Async t, Monad m, Monad (t m)) => Async m -> Async (t m)

mergeContext :: Monad m => m (Async m) -> Async m

Effect (State s)

Associated Types

type CanLift (State s :: (* -> *) -> *) (t :: (* -> *) -> * -> *) :: Constraint

Methods

liftThrough :: (CanLift (State s) t, Monad m, Monad (t m)) => State s m -> State s (t m)

mergeContext :: Monad m => m (State s m) -> State s m

Effect (HandleException e)

Associated Types

type CanLift (HandleException e :: (* -> *) -> *) (t :: (* -> *) -> * -> *) :: Constraint

Methods

liftThrough :: (CanLift (HandleException e) t, Monad m, Monad (t m)) => HandleException e m -> HandleException e (t m)

mergeContext :: Monad m => m (HandleException e m) -> HandleException e m

Effect (ReadEnv e)

Associated Types

type CanLift (ReadEnv e :: (* -> *) -> *) (t :: (* -> *) -> * -> *) :: Constraint

Methods

liftThrough :: (CanLift (ReadEnv e) t, Monad m, Monad (t m)) => ReadEnv e m -> ReadEnv e (t m)

mergeContext :: Monad m => m (ReadEnv e m) -> ReadEnv e m

Effect (Early a)

Associated Types

type CanLift (Early a :: (* -> *) -> *) (t :: (* -> *) -> * -> *) :: Constraint

Methods

liftThrough :: (CanLift (Early a) t, Monad m, Monad (t m)) => Early a m -> Early a (t m)

mergeContext :: Monad m => m (Early a m) -> Early a m

Effect (Yield a)

Associated Types

type CanLift (Yield a :: (* -> *) -> *) (t :: (* -> *) -> * -> *) :: Constraint

Methods

liftThrough :: (CanLift (Yield a) t, Monad m, Monad (t m)) => Yield a m -> Yield a (t m)

mergeContext :: Monad m => m (Yield a m) -> Yield a m

Effect (Signal a b)

Associated Types

type CanLift (Signal a b :: (* -> *) -> *) (t :: (* -> *) -> * -> *) :: Constraint

Methods

liftThrough :: (CanLift (Signal a b) t, Monad m, Monad (t m)) => Signal a b m -> Signal a b (t m)

mergeContext :: Monad m => m (Signal a b m) -> Signal a b m

class (Effect e, Monad m) => MonadEffect e m where

Methods

effect :: e m

effect :: (MonadEffect e m', Monad (t m'), CanLift e t, t m' ~ m) => e m

Instances

MonadEffect Bracket IO

Use bracketing and masking for IO exceptions

Methods

effect :: Bracket IO

MonadEffect Bracket Identity

Identity can't throw or acquire in a meaningful way

Methods

effect :: Bracket Identity

MonadEffect Async IO

The IO implementation uses the async library.

Methods

effect :: Async IO

(MonadEffect e m, Monad (t m), CanLift e t) => MonadEffect e (t m)

Methods

effect :: e (t m)

MonadEffect Bracket m => MonadEffect Bracket (MaybeT m)

Methods

effect :: Bracket (MaybeT m)

Monad m => MonadEffect NonDeterminism (ListT m)

Methods

effect :: NonDeterminism (ListT m)

(Effect e, Monad m, CanLift e (RuntimeImplemented e)) => MonadEffect e (RuntimeImplemented e m)

Methods

effect :: e (RuntimeImplemented e m)

MonadEffect Bracket m => MonadEffect Bracket (ExceptT e m)

Source: http://hackage.haskell.org/package/exceptions-0.10.0/docs/src/Control-Monad-Catch.html#line-674

Methods

effect :: Bracket (ExceptT e m)

Monad m => MonadEffect (State s) (StateT s m)

Methods

effect :: State s (StateT s m)

Monad m => MonadEffect (HandleException e) (ExceptT e m)

Methods

effect :: HandleException e (ExceptT e m)

TypeError Constraint (UnhandledError a b) => MonadEffect (Signal a b) IO

Methods

effect :: Signal a b IO

Monad m => MonadEffect (Signal a b) (MaybeT m)

Methods

effect :: Signal a b (MaybeT m)

(Monad m, (~) * b c) => MonadEffect (Signal a c) (RuntimeImplemented (Signal a b) m)

Methods

effect :: Signal a c (RuntimeImplemented (Signal a b) m)

(Show e, Monad m) => MonadEffect (Signal e b) (ExceptT SomeSignal m)

Methods

effect :: Signal e b (ExceptT SomeSignal m)

Monad m => MonadEffect (Signal e b) (ExceptT e m)

Methods

effect :: Signal e b (ExceptT e m)

newtype RuntimeImplemented e m a

Constructors

RuntimeImplemented

Fields

• getRuntimeImplemented :: ReaderT (e m) m a

Instances

MonadBaseControl b m => MonadBaseControl b (RuntimeImplemented e m)

Associated Types

type StM (RuntimeImplemented e m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (RuntimeImplemented e m) b -> b a) -> RuntimeImplemented e m a

restoreM :: StM (RuntimeImplemented e m) a -> RuntimeImplemented e m a

MonadBase b m => MonadBase b (RuntimeImplemented e m)

Methods

liftBase :: b α -> RuntimeImplemented e m α

MonadState s m => MonadState s (RuntimeImplemented e m)

Methods

get :: RuntimeImplemented e m s

put :: s -> RuntimeImplemented e m ()

state :: (s -> (a, s)) -> RuntimeImplemented e m a

MonadReader r m => MonadReader r (RuntimeImplemented e m)

Methods

ask :: RuntimeImplemented e m r

local :: (r -> r) -> RuntimeImplemented e m a -> RuntimeImplemented e m a

reader :: (r -> a) -> RuntimeImplemented e m a

(Effect e, Monad m, CanLift e (RuntimeImplemented e)) => MonadEffect e (RuntimeImplemented e m)

Methods

effect :: e (RuntimeImplemented e m)

MonadTrans (RuntimeImplemented e)

Methods

lift :: Monad m => m a -> RuntimeImplemented e m a

RunnableTrans (RuntimeImplemented e)

Associated Types

type TransformerState (RuntimeImplemented e :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (RuntimeImplemented e :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => RuntimeImplemented e m (TransformerState (RuntimeImplemented e) m)

restoreTransState :: Monad m => TransformerResult (RuntimeImplemented e) a -> RuntimeImplemented e m a

runTransformer :: Monad m => RuntimeImplemented e m a -> TransformerState (RuntimeImplemented e) m -> m (TransformerResult (RuntimeImplemented e) a)

Unexceptional (RuntimeImplemented e)

Monad m => Monad (RuntimeImplemented e m)

Methods

(>>=) :: RuntimeImplemented e m a -> (a -> RuntimeImplemented e m b) -> RuntimeImplemented e m b

(>>) :: RuntimeImplemented e m a -> RuntimeImplemented e m b -> RuntimeImplemented e m b

return :: a -> RuntimeImplemented e m a

fail :: String -> RuntimeImplemented e m a

Functor m => Functor (RuntimeImplemented e m)

Methods

fmap :: (a -> b) -> RuntimeImplemented e m a -> RuntimeImplemented e m b

(<$) :: a -> RuntimeImplemented e m b -> RuntimeImplemented e m a

Applicative m => Applicative (RuntimeImplemented e m)

Methods

pure :: a -> RuntimeImplemented e m a

(<*>) :: RuntimeImplemented e m (a -> b) -> RuntimeImplemented e m a -> RuntimeImplemented e m b

liftA2 :: (a -> b -> c) -> RuntimeImplemented e m a -> RuntimeImplemented e m b -> RuntimeImplemented e m c

(*>) :: RuntimeImplemented e m a -> RuntimeImplemented e m b -> RuntimeImplemented e m b

(<*) :: RuntimeImplemented e m a -> RuntimeImplemented e m b -> RuntimeImplemented e m a

MonadPlus m => MonadPlus (RuntimeImplemented e m)

Methods

mzero :: RuntimeImplemented e m a

mplus :: RuntimeImplemented e m a -> RuntimeImplemented e m a -> RuntimeImplemented e m a

MonadIO m => MonadIO (RuntimeImplemented e m)

Methods

liftIO :: IO a -> RuntimeImplemented e m a

MonadRandom m => MonadRandom (RuntimeImplemented e m)

Methods

getRandomR :: Random a => (a, a) -> RuntimeImplemented e m a

getRandom :: Random a => RuntimeImplemented e m a

getRandomRs :: Random a => (a, a) -> RuntimeImplemented e m [a]

getRandoms :: Random a => RuntimeImplemented e m [a]

Alternative m => Alternative (RuntimeImplemented e m)

Methods

empty :: RuntimeImplemented e m a

(<|>) :: RuntimeImplemented e m a -> RuntimeImplemented e m a -> RuntimeImplemented e m a

some :: RuntimeImplemented e m a -> RuntimeImplemented e m [a]

many :: RuntimeImplemented e m a -> RuntimeImplemented e m [a]

MonadThrow m => MonadThrow (RuntimeImplemented e m)

Methods

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

MonadCatch m => MonadCatch (RuntimeImplemented e m)

Methods

catch :: Exception e => RuntimeImplemented e m a -> (e -> RuntimeImplemented e m a) -> RuntimeImplemented e m a

MonadMask m => MonadMask (RuntimeImplemented e m)

Methods

mask :: ((forall a. RuntimeImplemented e m a -> RuntimeImplemented e m a) -> RuntimeImplemented e m b) -> RuntimeImplemented e m b

uninterruptibleMask :: ((forall a. RuntimeImplemented e m a -> RuntimeImplemented e m a) -> RuntimeImplemented e m b) -> RuntimeImplemented e m b

generalBracket :: RuntimeImplemented e m a -> (a -> ExitCase b -> RuntimeImplemented e m c) -> (a -> RuntimeImplemented e m b) -> RuntimeImplemented e m (b, c)

(Monad m, (~) * b c) => MonadEffect (Signal a c) (RuntimeImplemented (Signal a b) m)

Methods

effect :: Signal a c (RuntimeImplemented (Signal a b) m)

type TransformerState (RuntimeImplemented e) m

type TransformerState (RuntimeImplemented e) m = e m

type TransformerResult (RuntimeImplemented e) a

type TransformerResult (RuntimeImplemented e) a = a

type StM (RuntimeImplemented e m) a

type StM (RuntimeImplemented e m) a = StM (ReaderT * (e m) m) a

implement :: forall e m a. e m -> RuntimeImplemented e m a -> m a

type family MonadEffects effs m :: Constraint where ...

Equations

MonadEffects '[] m = ()

MonadEffects (eff ': effs) m = (MonadEffect eff m, MonadEffects effs m)