def plain_checked

bendvy-ecs-core@0.1.0.4 · captured_column.bend:74

import Base
import column.bend as Col
import lifecycle.bend as L

74def plain_checked(~S:Data,~C:Type,+id:U32,stamps:List<&2,L.Entry>,values:Array<Maybe<&1,C>>,valid:Bool) -> Capture<S,C>:
75  match valid:
76    case False{}: Unavailable{Col.Column{values,stamps}}
77    case True{}: plain_taken(~S,~C,id,stamps,Array.swap(Maybe<&1,C>,values,U32.sub(id,1),None{}))