def column_returned

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

import Base
import bendvy-ecs-core@0.1.0.3/chunk_column.bend as Column
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_layout_access.bend as Access

36def column_returned(~S:Data,~C:Type,~layout:Layout.Layout,~route:Layout.Route,~same:{C == Layout.columns(~S,layout) : Type},rest:Layout.column_rest(~S,layout,route),result:Column.Column<S,Layout.stored(layout,route)> & Exchange<Layout.payload(layout,route)>) -> C & Exchange<Layout.payload(layout,route)>:
37  match result:
38    case (column,result):(Access.column_put(~S,~C,~layout,~route,~same,rest,column),result)