RecoverableComponent.undo_column: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/recoverable_component.bend as RecoverableComponent
Lines 41-43 of bendvy-ecs-core@0.1.0.4/recoverable_component.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_component.bend&start_line=41&end_line=43

import Base
import entity_key.bend as Key
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/column.bend as Col
import bendvy-ecs-core@0.1.0.4/lifecycle.bend as Life

def undo_column(~S:Data,~P:Type,+handle:W.Handle<S>,stamp:Life.Stamp,payload:Maybe<P>,column:Col.Column<S,P>) -> Col.Column<S,P> & Record<S,P>:
  match handle:
    case W.Handle{_,Key.EntityKey{id,_}}:undo_stamped(~S,~P,handle,stamp,payload,Col.lifecycle(~S,~P,column,id))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/column.bend&name=Column
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/column.bend&name=lifecycle
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/entity_key.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/lifecycle.bend&name=Stamp
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_component.bend&name=Record
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_component.bend&name=undo_stamped
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Handle