Outline.classify.white: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/syntax/outline.bend as Outline Lines 74-86 of bolt@1.27.0.0/src/syntax/outline.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&start_line=74&end_line=86 import Base # whitespace after a leading space-class char. `space` says `h` is whitespace; # `acc` is the whitespace before `h`, reversed; `indent` when that line opened # with a space def classify.white(tt: String, space: Bool, hh: Char, indent: Bool, acc: List<&2, Char>) -> Cls: match tt space: case SNil{} True{}: LBlank{} case SNil{} False{}: classify.white.hit(indent, acc, hh, SNil{}) case SCon{+h2, r} True{}: classify.white(r, Char.is_space(h2), h2, indent, hh <> acc) case SCon{h2, r} False{}: classify.white.hit(indent, acc, hh, SCon{h2, r}) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_space https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=Cls https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=classify.white.hit