~/jendhub

def finish

bendvy-ecs-core@0.1.0.4 · owned_event_journal.bend:25

import bendvy-ecs-core@0.1.0.4/owned_event_journal.bend as OwnedEventJournal
import Base
import bendvy-ecs-core@0.1.0.4/recovery_journal.bend as Journal

25# Reverse the action spine once: commits retain the global inter-family order,
26# and abort receipts retain each family's order. Every closure executes once.
27def finish(~State:Type,~Recovery:Type,stage:Stage<State,Recovery>,success:Bool,state:State,recovery:Recovery) -> State & Recovery:
28  match stage:
29    case Stage{newest,_}:Journal.finish(~State,~Recovery,List.reverse(&1,Journal.Action(~State,~Recovery),newest),success,state,recovery)

Uses (6)

Used by (2)