def recovered_capture

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

import Base
import column.bend as Col

81def recovered_capture(~S:Data,~C:Type,+id:U32,column:Col.Column<S,C>) -> Capture<S,C>:
82  match column:
83    case Col.Column{values,stamps}: plain_sized(~S,~C,id,stamps,Array.size(Maybe<&1,C>,values))
84    case Col.Indexed{carrier}: indexed_plain_state(~S,~C,id,Col.indexed_unseal(~S,~C,carrier))
85    case other: Unavailable{other}