def of

bolt@1.27.0.0 · src/rules/digest.bend:324

import Base
import bolt@1.27.0.0/src/src.bend as Src
import bolt@1.27.0.0/src/rules/imports.bend as Imports
import bolt@1.27.0.0/src/paths.bend as Paths
import bolt@1.27.0.0/src/rules/calls.bend as Calls

324# one parsed file read down to its digest
325def of(s2: Src.Src) -> Digest:
326  Src.Src{+path, text, toks, +tree, +bound, +items} = s2
327  +p = Imports.norm(path)
328  +as = aliases(items, p)
329  Digest{path, p, Imports.dir_of(path), Paths.is_laws(path), Paths.is_law_file(path), is_exempt(p),
330    ranged(items, uses.of(bound), as, p, proofs(Calls.defs(tree))), stated(Paths.is_laws(path), tree, bound, as, p),
331    Imports.targets(items, p),
332    laws.in(Paths.is_laws(path), tree, items)}