Control.Effect.Key

Documentation

class SendInsBy key (ins :: InsClass) f | key f -> ins where

Methods

sendInsBy :: ins a -> f a

Instances

SendInsBy key (ins # tag) f => SendInsBy (key :: k1) ins (ViaTag tag f)

Defined in Control.Effect.Tag

Methods

sendInsBy :: ins a -> ViaTag tag f a

class SendSigBy key (sig :: SigClass) f | key f -> sig where

Methods

sendSigBy :: sig f a -> f a

Instances

(SendSigBy key (sig ## tag) f, HFunctor sig) => SendSigBy (key :: k1) sig (ViaTag tag f)

Defined in Control.Effect.Tag

Methods

sendSigBy :: sig (ViaTag tag f) a -> ViaTag tag f a

newtype ByKey key (f :: Type -> Type) a

A wrapper data type to represent sending an effect to the carrier f with the specified key.

Constructors

ByKey

Fields

• runByKey :: f a

Instances

(MonadReader r f, MonadWriter w f, MonadState s f) => MonadRWS r w s (ByKey key f)

Defined in Control.Effect.Key

SendInsBy key ins f => SendIns ins (ByKey key f)

Defined in Control.Effect.Key

Methods

sendIns :: ins a -> ByKey key f a

(SendSigBy key sig f, HFunctor sig) => SendSig sig (ByKey key f)

Defined in Control.Effect.Key

Methods

sendSig :: sig (ByKey key f) a -> ByKey key f a

MonadError e f => MonadError e (ByKey key f)

Defined in Control.Effect.Key

Methods

throwError :: e -> ByKey key f a

catchError :: ByKey key f a -> (e -> ByKey key f a) -> ByKey key f a

MonadReader r f => MonadReader r (ByKey key f)

Defined in Control.Effect.Key

Methods

ask :: ByKey key f r

local :: (r -> r) -> ByKey key f a -> ByKey key f a

reader :: (r -> a) -> ByKey key f a

MonadState s f => MonadState s (ByKey key f)

Defined in Control.Effect.Key

Methods

get :: ByKey key f s

put :: s -> ByKey key f ()

state :: (s -> (a, s)) -> ByKey key f a

MonadWriter w f => MonadWriter w (ByKey key f)

Defined in Control.Effect.Key

Methods

writer :: (a, w) -> ByKey key f a

tell :: w -> ByKey key f ()

listen :: ByKey key f a -> ByKey key f (a, w)

pass :: ByKey key f (a, w -> w) -> ByKey key f a

MonadFail f => MonadFail (ByKey key f)

Defined in Control.Effect.Key

Methods

fail :: String -> ByKey key f a

MonadFix f => MonadFix (ByKey key f)

Defined in Control.Effect.Key

Methods

mfix :: (a -> ByKey key f a) -> ByKey key f a

MonadIO f => MonadIO (ByKey key f)

Defined in Control.Effect.Key

Methods

liftIO :: IO a -> ByKey key f a

Alternative f => Alternative (ByKey key f)

Defined in Control.Effect.Key

Methods

empty :: ByKey key f a

(<|>) :: ByKey key f a -> ByKey key f a -> ByKey key f a

some :: ByKey key f a -> ByKey key f [a]

many :: ByKey key f a -> ByKey key f [a]

Applicative f => Applicative (ByKey key f)

Defined in Control.Effect.Key

Methods

pure :: a -> ByKey key f a

(<*>) :: ByKey key f (a -> b) -> ByKey key f a -> ByKey key f b

liftA2 :: (a -> b -> c) -> ByKey key f a -> ByKey key f b -> ByKey key f c

(*>) :: ByKey key f a -> ByKey key f b -> ByKey key f b

(<*) :: ByKey key f a -> ByKey key f b -> ByKey key f a

Functor f => Functor (ByKey key f)

Defined in Control.Effect.Key

Methods

fmap :: (a -> b) -> ByKey key f a -> ByKey key f b

(<$) :: a -> ByKey key f b -> ByKey key f a

Monad f => Monad (ByKey key f)

Defined in Control.Effect.Key

Methods

(>>=) :: ByKey key f a -> (a -> ByKey key f b) -> ByKey key f b

(>>) :: ByKey key f a -> ByKey key f b -> ByKey key f b

return :: a -> ByKey key f a

MonadPlus f => MonadPlus (ByKey key f)

Defined in Control.Effect.Key

Methods

mzero :: ByKey key f a

mplus :: ByKey key f a -> ByKey key f a -> ByKey key f a

key :: forall key f a. ByKey key f a -> f a

Send all effects within the scope, keyed, to carrier f.