Halogen.VDom.Machine

type Machine a b = EffectFn1 a (Step a b)

data Step' a b s

Constructors

• Step b s (EffectFn2 s a (Step a b)) (EffectFn1 s Unit)

data Step :: Type -> Type -> Type

mkStep :: forall a b s. Step' a b s -> Step a b

unStep :: forall a b r. (forall s. Step' a b s -> r) -> Step a b -> r

extract :: forall a b. Step a b -> b

Returns the output value of a Step.

step :: forall a b. EffectFn2 (Step a b) a (Step a b)

Runs the next step.

halt :: forall a b. EffectFn1 (Step a b) Unit

Runs the finalizer associated with a Step