def column_returned

bendvy-ecs-core@0.1.0.4 · recoverable_component_family.bend:21

import Base
import bendvy-ecs-core@0.1.0.4/column.bend as Col
import bendvy-ecs-core@0.1.0.4/recoverable_component.bend as RC

21def column_returned(~S:Data,~Store:Type,~R:Type,~E:Data,~Rest:Type,~P:Type,~V:Data,~Token:Data,~take:Store -> Rest & Col.Column<S,P>,~put:Rest -> Col.Column<S,P> -> Store,~view:P -> P & V,rest:Rest,result:Col.Column<S,P> & RC.Record<S,P>) -> Store & RC.Record<S,P>:
22  match result:
23    case (column,released):(put(rest,column),released)