~/jendhub

def check.wide

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

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/lazy/lazy.bend as Lazy

911# a one-line header past 120
912def check.wide(+line: U32, toks: List<&2, Lex.Tok>, +path: String, +more: List<&2, F.Finding>) -> List<&2, F.Finding>:
913  Lazy.stop(List<&2, F.Finding>, U32.is_gt(check.width(toks), 120),
914    F.Finding{path, line, 120, 0, "wrap",
915      "This def header is longer than 120 characters; wrap it with one parameter per line."} <> more, _u => more)

Uses (8)

Used by (1)