Module

Halogen.VDom.Machine

#Machine

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

#Step'

data Step' a b s

Constructors

#Step

data Step :: Type -> Type -> Type

#mkStep

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

#unStep

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

#extract

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

Returns the output value of a Step.

#step

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

Runs the next step.

#halt

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

Runs the finalizer associated with a Step

Modules