~/jendhub

def stepped

bendvy-ecs-core@0.1.0.4 · decode_owned_journal.bend:17

import bendvy-ecs-core@0.1.0.4/decode_owned_journal.bend as DecodeOwnedJournal
import Base

17def stepped(~World:Type,count:Nat,world:World,undo:List<(World -> World)>) -> World & List<(World -> World)>:
18  match count undo:
19    case 0n _:(world,undo)
20    case 1n+rest Nil{}:(world,[])
21    case 1n+rest Con{inverse,tail}:stepped(~World,rest,inverse(world),tail)

Uses (4)

Used by (1)