def indexed_plain_checked
bendvy-ecs-core@0.1.0.4 · captured_column.bend:31
import bendvy-ecs-core@0.1.0.4/captured_column.bend as CapturedColumn
import Base
import column.bend as Col
import indexed_lifecycle.bend as M
31def indexed_plain_checked(~S:Data,~C:Type,+id:U32,metadata:M.Metadata,values:Array<Maybe<&1,C>>,valid:Bool) -> Capture<S,C>:
32 match valid:
33 case False{}: Unavailable{Col.indexed_wrap(~S,~C,values,metadata)}
34 case True{}: indexed_plain_taken(~S,~C,id,metadata,Array.swap(Maybe<&1,C>,values,U32.sub(id,1),None{}))