Reflex.Workflow

Documentation

newtype Workflow t m a

A widget in a workflow When the Event returned by a Workflow fires, the current Workflow is replaced by the one inside the firing Event. A series of Workflows must share the same return type.

Constructors

Workflow

Fields

• unWorkflow :: m (a, Event t (Workflow t m a))

workflow :: forall t m a. (Reflex t, Adjustable t m, MonadFix m, MonadHold t m) => Workflow t m a -> m (Dynamic t a)

Runs a Workflow and returns the Dynamic result of the Workflow (i.e., a Dynamic of the value produced by the current Workflow node, and whose update Event fires whenever one Workflow is replaced by another).

workflowView :: forall t m a. (Reflex t, NotReady t m, Adjustable t m, MonadFix m, MonadHold t m, PostBuild t m) => Workflow t m a -> m (Event t a)

Similar to workflow, but outputs an Event that fires whenever the current Workflow is replaced by the next Workflow.

mapWorkflow :: (Reflex t, Functor m) => (a -> b) -> Workflow t m a -> Workflow t m b

Map a function over a Workflow, possibly changing the resturn type.

mapWorkflowCheap :: (Reflex t, Functor m) => (a -> b) -> Workflow t m a -> Workflow t m b

Map a "cheap" function over a Workflow. Refer to the documentation for pushCheap for more information and performance considerations.