Control.Effects1

Documentation

type family EffectMsg1 eff :: * -> *

Instances

type EffectMsg1 NonDeterministic

type EffectMsg1 NonDeterministic = []

type EffectMsg1 (State s)

type EffectMsg1 (State s) = StateMessage s

type family EffectRes1 eff :: * -> *

Instances

type EffectRes1 NonDeterministic

type EffectRes1 NonDeterministic = Identity

type EffectRes1 (State s)

type EffectRes1 (State s) = StateResult s

type family EffectCon1 eff a :: Constraint

Instances

type EffectCon1 NonDeterministic a

type EffectCon1 NonDeterministic a = ()

type EffectCon1 (State s) a

type EffectCon1 (State s) a = ()

class Monad m => MonadEffect1 eff m where

Minimal complete definition

effect1

Methods

effect1 :: EffectCon1 eff a => proxy eff -> EffectMsg1 eff a -> m (EffectRes1 eff a)

Use the effect described by eff.

Instances

(MonadEffect1 eff m, MonadTrans t, Monad (t m)) => MonadEffect1 eff (t m)

Methods

effect1 :: EffectCon1 eff a => proxy eff -> EffectMsg1 eff a -> t m (EffectRes1 eff a)

Monad m => MonadEffect1 NonDeterministic (ListT m)

Methods

effect1 :: EffectCon1 NonDeterministic a => proxy NonDeterministic -> EffectMsg1 NonDeterministic a -> ListT m (EffectRes1 NonDeterministic a)

Monad m => MonadEffect1 eff (EffectHandler1 eff m)

Methods

effect1 :: EffectCon1 eff a => proxy eff -> EffectMsg1 eff a -> EffectHandler1 eff m (EffectRes1 eff a)

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

Methods

effect1 :: EffectCon1 (State s) a => proxy (State s) -> EffectMsg1 (State s) a -> StateT s m (EffectRes1 (State s) a)

newtype EffHandling1 eff m

Constructors

EffHandling1

Fields

• getHandling1 :: forall a. EffectCon1 eff a => EffectMsg1 eff a -> m (EffectRes1 eff a)

newtype EffectHandler1 eff m a

The EffectHandler1 is really just a ReaderT carrying around the function that knows how to handle the effect.

Constructors

EffectHandler1

Fields

• unpackEffectHandler1 :: ReaderT (EffHandling1 eff m) m a

Instances

MonadBase IO m => MonadBase IO (EffectHandler1 eff m)

Methods

liftBase :: IO α -> EffectHandler1 eff m α

MonadBaseControl IO m => MonadBaseControl IO (EffectHandler1 eff m)

Associated Types

type StM (EffectHandler1 eff m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (EffectHandler1 eff m) IO -> IO a) -> EffectHandler1 eff m a

restoreM :: StM (EffectHandler1 eff m) a -> EffectHandler1 eff m a

MonadReader s m => MonadReader s (EffectHandler1 eff m)

Methods

ask :: EffectHandler1 eff m s

local :: (s -> s) -> EffectHandler1 eff m a -> EffectHandler1 eff m a

reader :: (s -> a) -> EffectHandler1 eff m a

MonadState s m => MonadState s (EffectHandler1 eff m)

Methods

get :: EffectHandler1 eff m s

put :: s -> EffectHandler1 eff m ()

state :: (s -> (a, s)) -> EffectHandler1 eff m a

Monad m => MonadEffect1 eff (EffectHandler1 eff m)

Methods

effect1 :: EffectCon1 eff a => proxy eff -> EffectMsg1 eff a -> EffectHandler1 eff m (EffectRes1 eff a)

MonadTrans (EffectHandler1 eff)

Methods

lift :: Monad m => m a -> EffectHandler1 eff m a

RunnableTrans (EffectHandler1 eff)

Associated Types

type TransformerState (EffectHandler1 eff :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (EffectHandler1 eff :: (* -> *) -> * -> *) (m :: * -> *) a :: *

Methods

currentTransState :: Monad m => EffectHandler1 eff m (TransformerState (EffectHandler1 eff) m)

restoreTransState :: Monad m => TransformerResult (EffectHandler1 eff) m a -> EffectHandler1 eff m a

runTransformer :: Monad m => EffectHandler1 eff m a -> TransformerState (EffectHandler1 eff) m -> m (TransformerResult (EffectHandler1 eff) m a)

Monad m => Monad (EffectHandler1 eff m)

Methods

(>>=) :: EffectHandler1 eff m a -> (a -> EffectHandler1 eff m b) -> EffectHandler1 eff m b

(>>) :: EffectHandler1 eff m a -> EffectHandler1 eff m b -> EffectHandler1 eff m b

return :: a -> EffectHandler1 eff m a

fail :: String -> EffectHandler1 eff m a

Functor m => Functor (EffectHandler1 eff m)

Methods

fmap :: (a -> b) -> EffectHandler1 eff m a -> EffectHandler1 eff m b

(<$) :: a -> EffectHandler1 eff m b -> EffectHandler1 eff m a

Applicative m => Applicative (EffectHandler1 eff m)

Methods

pure :: a -> EffectHandler1 eff m a

(<*>) :: EffectHandler1 eff m (a -> b) -> EffectHandler1 eff m a -> EffectHandler1 eff m b

(*>) :: EffectHandler1 eff m a -> EffectHandler1 eff m b -> EffectHandler1 eff m b

(<*) :: EffectHandler1 eff m a -> EffectHandler1 eff m b -> EffectHandler1 eff m a

MonadIO m => MonadIO (EffectHandler1 eff m)

Methods

liftIO :: IO a -> EffectHandler1 eff m a

MonadRandom m => MonadRandom (EffectHandler1 eff m)

Methods

getRandomR :: Random a => (a, a) -> EffectHandler1 eff m a

getRandom :: Random a => EffectHandler1 eff m a

getRandomRs :: Random a => (a, a) -> EffectHandler1 eff m [a]

getRandoms :: Random a => EffectHandler1 eff m [a]

Alternative m => Alternative (EffectHandler1 eff m)

Methods

empty :: EffectHandler1 eff m a

(<|>) :: EffectHandler1 eff m a -> EffectHandler1 eff m a -> EffectHandler1 eff m a

some :: EffectHandler1 eff m a -> EffectHandler1 eff m [a]

many :: EffectHandler1 eff m a -> EffectHandler1 eff m [a]

MonadThrow m => MonadThrow (EffectHandler1 eff m)

Methods

throwM :: Exception e => e -> EffectHandler1 eff m a

MonadCatch m => MonadCatch (EffectHandler1 eff m)

Methods

catch :: Exception e => EffectHandler1 eff m a -> (e -> EffectHandler1 eff m a) -> EffectHandler1 eff m a

type TransformerState (EffectHandler1 eff) m

type TransformerState (EffectHandler1 eff) m = EffHandling1 eff m

type TransformerResult (EffectHandler1 eff) m a

type TransformerResult (EffectHandler1 eff) m a = a

type StM (EffectHandler1 eff m) a

type StM (EffectHandler1 eff m) a = StM (ReaderT * (EffHandling1 eff m) m) a

handleEffect1 :: (forall a. EffectCon1 eff a => EffectMsg1 eff a -> m (EffectRes1 eff a)) -> EffectHandler1 eff m b -> m b

Handle the effect described by eff.