Control.Effect

Documentation

class SendFOE (ins :: EffectF) (f :: Type -> Type) where

A type class that represents the ability to send an first-order effect ins to carrier f.

Methods

sendFOE :: ins a -> f a

Send an instruction ins to carrier f.

Instances

SendFOEBy key ins f => SendFOE ins (ByKey key f)

Defined in Control.Effect.Key

Methods

sendFOE :: ins a -> ByKey key f a

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

Defined in Control.Effect.Tag

Methods

sendFOE :: ins a -> ViaTag tag f a

type (<:) = SendFOE infix 2

The operator version of SendFOE.

class SendHOE (sig :: EffectH) (f :: Type -> Type) where

A type class that represents the ability to send a higher-order effect sig to carrier f.

Methods

sendHOE :: sig f a -> f a

Send a higher-order effect sig to carrier f.

Instances

(SendHOEBy key sig f, HFunctor sig) => SendHOE sig (ByKey key f)

Defined in Control.Effect.Key

Methods

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

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

Defined in Control.Effect.Tag

Methods

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

SendFOE ins f => SendHOE (LiftFOE ins) f

Defined in Control.Effect

Methods

sendHOE :: LiftFOE ins f a -> f a

type (<<:) = SendHOE infix 2

The operator version of SendHOE.

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

A natural transformation.