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 s b a. Step' a b s -> Step a b

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

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

Returns the output value of a Step.

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

Runs the next step.

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

Runs the finalizer associated with a Step