def keys

bolt@1.27.0.0 · src/lsp/checker/names.bend:46

import bolt@1.27.0.0/src/lsp/checker/names.bend as Names
import Base
import bolt@1.27.0.0/src/syntax/outline.bend as Outline
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

46# the keys of the items, imports aside, onto acc (in no particular order)
47def keys(its: List<&2, Outline.Item>, +items: List<&2, Outline.Item>, +acc: List<&2, String>) -> List<&2, String>:
48  match its:
49    case Nil{}:
50      acc
51    case Con{Outline.Item{+kk, +nn, _line, _sig, _doc, _path}, rest}:
52      keys(rest, items, Lazy.stop(List<&2, String>, Outline.is_import(kk), acc, _u => key(items, nn) <> acc))

Uses (6)

Used by (1)