reflex-0.6.1: Higher-order Functional Reactive Programming

Safe HaskellNone
LanguageHaskell98

Reflex.Workflow

Description

 
Synopsis

Documentation

newtype Workflow t m a Source #

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

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

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) Source #

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 Source #

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 Source #

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