~/jendhub

def check.header

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

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

917# a broken header is judged by its shape; a one-line header by its width
918def check.header(
919  multi: Bool,
920  +line: U32,
921  toks: List<&2, Lex.Tok>,
922  +path: String,
923  +more: List<&2, F.Finding>
924) -> List<&2, F.Finding>:
925  match multi:
926    case True{}:
927      check.jam(line, toks, path, more)
928    case False{}:
929      check.wide(line, toks, path, more)

Uses (8)

Used by (1)