Control.Effects

Documentation

class Effect e where

Associated Types

data EffMethods e (m :: * -> *) :: *

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

Methods

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

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

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

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

Instances

Effect NonDeterminism

Associated Types

data EffMethods NonDeterminism (m :: * -> *) :: *

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

Methods

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

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

Effect Async

Associated Types

data EffMethods Async (m :: * -> *) :: *

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

Methods

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

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

Effect (State s)

Associated Types

data EffMethods (State s) (m :: * -> *) :: *

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

Methods

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

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

Effect (HandleException e)

Associated Types

data EffMethods (HandleException e) (m :: * -> *) :: *

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

Methods

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

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

Effect (ReadEnv e)

Associated Types

data EffMethods (ReadEnv e) (m :: * -> *) :: *

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

Methods

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

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

Effect (Early a)

Associated Types

data EffMethods (Early a) (m :: * -> *) :: *

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

Methods

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

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

Effect (Signal a b)

Associated Types

data EffMethods (Signal a b) (m :: * -> *) :: *

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

Methods

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

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

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

Minimal complete definition

effect

Methods

effect :: EffMethods e m

Instances

MonadEffect Async IO

The IO implementation uses the async library.

Methods

effect :: EffMethods Async IO

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

Methods

effect :: EffMethods e (t m)

Monad m => MonadEffect NonDeterminism (ListT m)

Methods

effect :: EffMethods NonDeterminism (ListT m)

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

Methods

effect :: EffMethods e (RuntimeImplemented e m)

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

Methods

effect :: EffMethods (State s) (StateT s m)

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

Methods

effect :: EffMethods (HandleException e) (ExceptT e m)

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

Methods

effect :: EffMethods (Signal a b) IO

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

Methods

effect :: EffMethods (Signal a b) (MaybeT m)

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

Methods

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

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

Methods

effect :: EffMethods (Signal e b) (ExceptT SomeSignal m)

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

Methods

effect :: EffMethods (Signal e b) (ExceptT e m)

newtype RuntimeImplemented e m a

Constructors

RuntimeImplemented

Fields

• getRuntimeImplemented :: ReaderT (EffMethods e m) m a

Instances

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

Methods

liftBase :: b α -> RuntimeImplemented e m α

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

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 :: EffMethods 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 :: (* -> *) -> * -> *) (m :: * -> *) a :: *

Methods

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

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

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

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

MonadRandom m => MonadRandom (RuntimeImplemented e m)

Methods

getRandom :: Random a => RuntimeImplemented e m a

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

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

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

MonadIO m => MonadIO (RuntimeImplemented e m)

Methods

liftIO :: IO 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]

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

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

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

Methods

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

type TransformerState (RuntimeImplemented e) m

type TransformerState (RuntimeImplemented e) m = EffMethods e m

type TransformerResult (RuntimeImplemented e) m a

type TransformerResult (RuntimeImplemented e) m a = a

type StM (RuntimeImplemented e m) a

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

implement :: forall e m a. EffMethods 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)