def set_checked

bendvy-ecs-core@0.1.0.3 · indexed_lifecycle.bend:38

import Base
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick
import lifecycle.bend as L

38def set_checked(+id:U32,+stamp:L.Stamp,added:Array<Maybe<&2,Tick.Tick>>,changed:Array<Maybe<&2,Tick.Tick>>,+capacity:U32,depth:Nat,exceptional:List<&2,L.Entry>,isnormal:Bool) -> Metadata:
39  match isnormal:
40    case False{}: Metadata{added,changed,capacity,depth,L.set(exceptional,id,stamp)}
41    case True{}: write_grow(17n,id,stamp,added,changed,capacity,depth,exceptional,U32.is_le(id,capacity))