action Name { fields } is a typed record; reducer State on Action(s: mut State, a: Action) { ... }
in the module that owns the state takes exactly that state and the action (a second state is
refused); dispatch Action { fields } queues one from anywhere, the queue supplied by the runtime.
The queue is drained at the end of every phase of the frame loop, after every phase of ludic.base's
core_tick_all, and by drain_actions(): in dispatch order, each action's reducers in the order of
their states' names, an action a reducer dispatches queued behind, a queue still growing after 64
rounds stopped with the action named. Examples actions/pack, phases, runaway; rejects for a second
state, a reducer on a non-action and an unknown dispatch; ludic.base's actions_test; LANGUAGE.md.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
24 lines
759 B
Text
24 lines
759 B
Text
# phases.ludic - 0.R: in the frame loop the queue is drained at the end of every phase, so what the
|
|
# Input phase dispatches is reduced before Update reads it. The input translates keys to actions and
|
|
# touches no state of its own.
|
|
program PhaseActions {
|
|
state Hero {
|
|
x: int = 0
|
|
jumps: int = 0
|
|
}
|
|
action Move { dx: int }
|
|
action Jump {}
|
|
reducer Hero on Move(h: mut Hero, a: Move) { h.x += a.dx }
|
|
reducer Hero on Jump(h: mut Hero, a: Jump) { h.jumps += 1 }
|
|
|
|
handler Keys phase Input {
|
|
let k = Input.key()
|
|
if k == 'd' { dispatch Move { dx: 1 } }
|
|
if k == 'a' { dispatch Move { dx: -1 } }
|
|
if k == ' ' { dispatch Jump {} }
|
|
if k == 'q' { quit() }
|
|
}
|
|
handler Show(h: Hero) phase Update {
|
|
print(`{h.x} {h.jumps}`)
|
|
}
|
|
}
|