Control.Effect

Documentation

class SendIns (ins :: InsClass) f where

A type class that represents the ability to send an instruction ins to carrier f.

Methods

sendIns :: ins a -> f a

Send an instruction ins to carrier f.

Instances

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

Defined in Control.Effect.Key

Methods

sendIns :: ins a -> ByKey key f a

SendIns (ins # tag) f => SendIns ins (ViaTag tag f)

Defined in Control.Effect.Tag

Methods

sendIns :: ins a -> ViaTag tag f a

type (<:) = SendIns infix 2

The operator version of SendIns.

class SendSig (sig :: SigClass) f where

A type class that represents the ability to send a signature sig to carrier f.

Methods

sendSig :: sig f a -> f a

Send a signature sig to carrier f.

Instances

(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

(SendSig (sig ## tag) f, HFunctor sig) => SendSig sig (ViaTag tag f)

Defined in Control.Effect.Tag

Methods

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

SendIns ins f => SendSig (LiftIns ins) f

Defined in Control.Effect

Methods

sendSig :: LiftIns ins f a -> f a

type (<<:) = SendSig infix 2

The operator version of SendSig.

type (~>) f g = forall (x :: Type). f x -> g x infixr 2

A natural transformation.