~/jendhub

def lookup_checked

bendvy-ecs-core@0.1.0.4 · event_runtime.bend:137

import bendvy-ecs-core@0.1.0.4/event_runtime.bend as EventRuntime
import Base

137def lookup_checked(position: Position,+id: U32,fallback: Maybe<Position>) -> Maybe<Position>:
138  match position:
139    case Position{+actual,+cursor,+registered}: choose_position(U32.is_eq(actual,id),Position{actual,cursor,registered},fallback)

Uses (5)

Used by (1)