Safe Haskell	Safe-Inferred
Language	Haskell2010

Reflex.Workflow

Description

Synopsis

newtype Workflow t m a = Workflow {
- 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)
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)
mapWorkflow :: (Reflex t, Functor m) => (a -> b) -> Workflow t m a -> Workflow t m b
mapWorkflowCheap :: (Reflex t, Functor m) => (a -> b) -> Workflow t m a -> Workflow t m b

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 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) 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 at post-build time and 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 return 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.