def named.go

bolt@1.27.0.0 · src/lsp/semantic.bend:238

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy
import bolt@1.27.0.0/src/syntax/bind.bend as Bind

238# the first entry of a name, as Bind.kind_of_item finds it
239def named.go(es: List<&2, Entry>, +name: String) -> Maybe<&2, Bind.BindKind>:
240  match es:
241    case Nil{}:
242      None{}
243    case Con{Entry{n, _l, _c, k}, rest}:
244      Lazy.stop(Maybe<&2, Bind.BindKind>, Bind.same(n, name), Some{k}, _u => named.go(rest, name))