~/jendhub

def undo

bendvy-ecs-core@0.1.0.4 · recoverable_array.bend:10

import bendvy-ecs-core@0.1.0.4/recoverable_array.bend as RecoverableArray
import Base

10def undo(~P:Type,record:Record<P>,array:Array<P>) -> Array<P> & Record<P>:
11  match record:
12    case Replaced{old}:(old,Replaced{array})
13    case Swapped{+index,old}:undone(~P,index,Array.swap(P,array,index,old))

Uses (6)

Used by (1)