Engine.ReactiveBanana.Stateful

"Crank the world"-style stateful process.

An input event comes in, an update step runs and an output event is fired.

Documentation

setup

Arguments

:: MonadMoment m

=> m acc

An action to produce the initial stat

-> (a -> acc -> (x, acc))

Step function

-> Event a

Step event

-> m (Event x, Behavior acc)

A post-step event and a current state snapshot

runWorldWith

Arguments

:: forall world update s. (world -> ST s (Thaw world s))

Thaw the world into STRefs

-> (Thaw world s -> ST s world)

Read the world STRefs and freeze

-> world

Previous world snapshot

-> (Thaw world s -> ST s update)

Update procedure yielding a result and a new world snapshot

-> ST s (update, world)

type family Thaw world s

A helper to connect a world snapshot with its dynamic representation under an existential s.