Halogen.VDom.Machine

type Machine m a b = a -> m (Step m a b)

data Step m a b

Constructors

• Step b (Machine m a b) (m Unit)

Instances

• (Functor m) => Functor (Step m a)

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

Returns the output value of a Step.

step :: forall b a m. Step m a b -> a -> m (Step m a b)

Runs the next step.

halt :: forall b a m. Step m a b -> m Unit

Runs the finalizer associated with a Step

fold :: forall s b a m. Applicative m => (s -> a -> m (Tuple s b)) -> (s -> m Unit) -> s -> Machine m a b

loop :: forall s a m. Applicative m => (s -> a -> m s) -> (s -> m Unit) -> s -> Machine m a Unit

stepper :: forall b a m. Functor m => (a -> m b) -> m Unit -> Machine m a b

constantly :: forall b a m. Applicative m => b -> Machine m a b

never :: forall b m. Applicative m => Machine m Void b