def at.go

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

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

229# the first entry at a position, as Bind.kind_at finds it
230def at.go(es: List<&2, Entry>, +line: U32, +col: U32) -> Maybe<&2, Bind.BindKind>:
231  match es:
232    case Nil{}:
233      None{}
234    case Con{Entry{_n, l, c, k}, rest}:
235      Lazy.stop(Maybe<&2, Bind.BindKind>, Bool.and(U32.is_eq(l, line), U32.is_eq(c, col)), Some{k},
236        _u => at.go(rest, line, col))