RelationFailureRuntime.reserve_reader_checked: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/relation_failure_runtime.bend as RelationFailureRuntime
Lines 47-52 of bendvy-ecs-core@0.1.0.4/relation_failure_runtime.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/relation_failure_runtime.bend&start_line=47&end_line=52

import Base

# Shared by standalone readers and composed parameters; no system registration.
def reserve_reader_checked(~S:Data,~C:Type,~R:Type,~E:Data,available:Bool,runtime:Runtime<S,C,R,E>) -> Runtime<S,C,R,E> & Maybe<&2,U32>:
  match available runtime:
    case False{} runtime:(runtime,None{})
    case True{} Runtime{world,domains,positions,tick,frameStart,boundary,capacity,+nextReader}:
      (Runtime{world,domains,positions,tick,frameStart,boundary,capacity,(nextReader+1 : U32)},Some{nextReader})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_failure_runtime.bend&name=Runtime