~/jendhub

def check.first

bolt@1.27.0.0 · src/rules/laws/law.bend:158

import bolt@1.27.0.0/src/rules/laws/law.bend as Law
import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/rules/digest.bend as Digest

158# a project states no laws: nothing of it is under law, and the graph is
159# never built (a project with no LAWS.bend pays nothing)
160def check.first(+ds: List<&2, Digest.Digest>, dirs: List<&2, String>) -> List<&2, F.Finding>:
161  match dirs:
162    case Nil{}:
163      Nil{}
164    case Con{d, rest}:
165      check.go(ds, reached(graph(ds)))

Uses (7)

Used by (1)