def ensure_checked

bendvy-ecs-core@0.1.0.3 · column.bend:270

import Base

270def ensure_checked(~S: Data, ~C: Type, column: Column<S,C>, +target: U32, valid: Bool) -> Column<S,C>:
271  match column valid:
272    case _ False{}:
273      column
274    case Column{values,stamps} True{}:
275      ensure_sized(~S, ~C, target, stamps, Array.size(Maybe<&1,C>, values))
276    case Prepared{carrier} True{}: ensure_state(~S,~C,target,unseal(~S,~C,carrier))
277    case Indexed{carrier} True{}: indexed_ensure_state(~S,~C,target,indexed_unseal(~S,~C,carrier))
278    case PreparedIndexed{carrier} True{}: indexed_prepared_ensure_state(~S,~C,target,indexed_prepared_unseal(~S,~C,carrier))