def undone

bendvy-ecs-core@0.1.0.3 · execution_recoverable_component.bend:58

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/recoverable_component.bend as RC
import bendvy-ecs-core@0.1.0.3/lifecycle.bend as Life

58def undone(~S:Data,~C:Type,~R:Type,~E:Data,~P:Type,handle:W.Handle<S>,saved:Life.Stamp,result:W.World<S,C,R,E> & Exchange<P>) -> W.World<S,C,R,E> & RC.Record<S,P>:
59  match result:
60    case (world,Exchanged{stamp,previous}):(world,RC.Record{handle,stamp,previous})
61    case (world,ExchangeRefused{incoming}):(world,RC.Record{handle,saved,incoming})