~/jendhub

def get_selected

bendvy-ecs-core@0.1.0.3 · lifecycle.bend:16

import bendvy-ecs-core@0.1.0.3/lifecycle.bend as Lifecycle
import Base

16def get_selected(entries: List<&2,Entry>,+id: U32,found: Bool,stamp: Stamp) -> Stamp:
17  match entries found:
18    case _ True{}: stamp
19    case Nil{} False{}: Stamp{None{},None{}}
20    case Con{Entry{key,current},rest} False{}: get_selected(rest,id,U32.is_eq(key,id),current)

Uses (7)

Used by (1)