def swap_checked

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

import Base
import lifecycle.bend as L

287def swap_checked(~S: Data, ~C: Type, values: Array<Maybe<&1,C>>,stamps: List<&2,L.Entry>, id: U32, incoming: Maybe<&1,C>, valid: Bool) -> SwapOutcome<S,C>:
288  match valid:
289    case False{}:
290      Rejected{Column{values,stamps}, incoming}
291    case True{}:
292      swapped(~S, ~C, Array.swap(Maybe<&1,C>, values, U32.sub(id, 1), incoming),stamps)