~/jendhub

def check.one

bolt@1.27.0.0 · src/rules/style/wrap.bend:935

import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/syntax/lex.bend as Lex
import bolt@1.27.0.0/src/syntax/outline.bend as Outline
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

935# a def header; anything else is not this rule's
936def check.one(
937  kk: Outline.ItemKind,
938  +line: U32,
939  +sig: String,
940  +path: String,
941  +more: List<&2, F.Finding>
942) -> List<&2, F.Finding>:
943  Lazy.stop(List<&2, F.Finding>, Bool.not(Outline.is_def(kk)), more,
944    _u => check.lexed(line, Lex.tokens(sig), path, more))

Uses (10)

Used by (1)