def take_leaf_done

bendvy-ecs-core@0.1.0.3 · chunk_column.bend:220

import Base
import bendvy-ecs-core@0.1.0.3/lifecycle.bend as L

220# Unlike the template-specialized write operations, this removal accepts an
221# ordinary irrelevant payload Type so a canonical heterogeneous schema fold can
222# return every actual owner. It never grows storage and clears the same stamps
223# as swap_at(..., None, ...), including an already absent in-range component.
224def take_leaf_done(-S:Data,-C:Type,stamps:Array<L.Stamp>,index:U32,result:Array<Maybe<&1,C>> & Maybe<&1,C>) -> Column<S,C> & Maybe<&1,C>:
225  match result:
226    case (values,previous):(Leaf{values,Array.set(L.Stamp,stamps,index,L.Stamp{None{},None{}})},previous)