def checked_range

bendvy-ecs-core@0.1.0.3 · execution_query_identity.bend:15

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W

15def checked_range(~S:Data,+handle:W.Handle<S>,+capacity:U32,+logical:U32,live:Bool,inRange:Bool) -> Offset<S>:
16  match live inRange:
17    case False{} _:MissingEntity{handle}
18    case True{} False{}:OutsideStorage{handle,capacity}
19    case True{} True{}:Physical{handle,U32.sub(logical,1)}