Dispatcher

effEval :: forall eff context a. (a -> ReaderT context (Eff eff) Unit) -> a -> ReaderT context (Eff eff) Unit

class Dispatchable eval context action result | eval -> context where

Members

• dispatch :: eval -> context -> action -> result

Instances

• (Applicative m, Dispatchable (action -> dispatchable) context dispatchable (m Unit)) => Dispatchable (action -> dispatchable) context (Maybe action) (m Unit)

  An instance of Dispatchable for optionally dispatching an action using Maybe

• (Dispatchable (action -> next) context next m) => Dispatchable (action -> next) context action m
• (Dispatchable eval context (m a) n) => Dispatchable eval context (ReaderT context m a) n
• Dispatchable eval context (Eff eff a) (Eff eff2 a)
• Dispatchable eval context (Aff eff a) (Aff eff2 a)
• Dispatchable eval context (Aff eff a) (Eff eff2 Unit)

class FromContext eval context a m (eff :: Row Effect) | eval context a m -> eff where

Members

• fromContext :: eval -> context -> m eff a

Instances

• (Applicative (m eff2), Dispatchable eval context action (Aff eff Unit)) => FromContext eval context (DispatchAff action) m eff2
• (Applicative (m eff2), Dispatchable eval context action (Eff eff Unit)) => FromContext eval context (DispatchEff action) m eff2
• (Applicative (m eff2), Dispatchable eval context action (Eff eff Unit)) => FromContext eval context (DispatchEffFn action) m eff2
• (Applicative (m eff2), Dispatchable eval context action (Eff eff Unit)) => FromContext eval context (DispatchEffFn2 action) m eff2
• (Applicative (m eff2), Dispatchable eval context action (Eff eff Unit)) => FromContext eval context (DispatchEffFn3 action) m eff2
• (TypeEquals context context2, Applicative (m eff)) => FromContext eval context (Context context2) m eff

newtype DispatchEff action

Constructors

• DispatchEff (forall eff event. (event -> action) -> event -> Eff eff Unit)

Instances

• (Applicative (m eff2), Dispatchable eval context action (Eff eff Unit)) => FromContext eval context (DispatchEff action) m eff2
• Contravariant DispatchEff

newtype DispatchAff action

Constructors

• DispatchAff (forall eff event. (event -> action) -> event -> Aff eff Unit)

Instances

• (Applicative (m eff2), Dispatchable eval context action (Aff eff Unit)) => FromContext eval context (DispatchAff action) m eff2
• Contravariant DispatchAff

newtype DispatchEffFn action

Constructors

• DispatchEffFn (forall eff event. (event -> action) -> EffFn1 eff event Unit)

Instances

• (Applicative (m eff2), Dispatchable eval context action (Eff eff Unit)) => FromContext eval context (DispatchEffFn action) m eff2
• Contravariant DispatchEffFn

newtype DispatchEffFn2 action

Constructors

• DispatchEffFn2 (forall eff ev2 event. (event -> ev2 -> action) -> EffFn2 eff event ev2 Unit)

Instances

• (Applicative (m eff2), Dispatchable eval context action (Eff eff Unit)) => FromContext eval context (DispatchEffFn2 action) m eff2
• Contravariant DispatchEffFn2

newtype DispatchEffFn3 action

Constructors

• DispatchEffFn3 (forall eff ev3 ev2 event. (event -> ev2 -> ev3 -> action) -> EffFn3 eff event ev2 ev3 Unit)

Instances

• (Applicative (m eff2), Dispatchable eval context action (Eff eff Unit)) => FromContext eval context (DispatchEffFn3 action) m eff2
• Contravariant DispatchEffFn3

newtype Context a

Constructors

• Context a

Instances

• (TypeEquals context context2, Applicative (m eff)) => FromContext eval context (Context context2) m eff