def lookup

bendvy-ecs-core@0.1.0.4 · ordinary_condition_declaration.bend:91

import Base

91# Detached name lookup by Nat position, returning None outside the list.
92# Names are descriptive; finding one supplies no execution authority.
93def lookup(names:List<&2,String>,index:Nat) -> Maybe<&2,String>:
94  match names index:
95    case [] _:None{}
96    case first <> _ 0n:Some{first}
97    case _ <> rest 1n+prior:lookup(rest,prior)