def update

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

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

import Base

126def update(positions: List<&2,Position>,+id: U32,+cursor: Nat,+dispose: Bool) -> List<&2,Position>:
127  match positions:
128    case []: []
129    case Position{+actual,+old,+registered} <> rest: update_checked(U32.is_eq(actual,id),dispose,actual,old,registered,update(rest,id,cursor,dispose),cursor)

Uses (7)

Used by (14)