def finish

bendvy-ecs-core@0.1.0.4 · recovery_journal.bend:9

import bendvy-ecs-core@0.1.0.4/recovery_journal.bend as RecoveryJournal

import Base

9def finish(~State:Type,~Recovery:Type,journal:List<Action(~State,~Recovery)>,+success:Bool,state:State,recovery:Recovery) -> State & Recovery:
10  match journal:
11    case []:(state,recovery)
12    case action <> rest:applied(~State,~Recovery,s => r => finish(~State,~Recovery,rest,success,s,r),action(success,state,recovery))

Uses (6)

Used by (5)