def capture

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

import Base
import column.bend as Col

104def capture(~S:Data,~C:Type,column:Col.Column<S,C>,+id:U32) -> Capture<S,C>:
105  match column:
106    case Col.Column{values,stamps}: plain_sized(~S,~C,id,stamps,Array.size(Maybe<&1,C>,values))
107    case Col.Prepared{carrier}: prepared_state(~S,~C,id,Col.unseal(~S,~C,carrier))
108    case Col.Indexed{carrier}: indexed_plain_state(~S,~C,id,Col.indexed_unseal(~S,~C,carrier))
109    case Col.PreparedIndexed{carrier}: indexed_prepared_state(~S,~C,id,Col.indexed_prepared_unseal(~S,~C,carrier))