~/jendhub

def has_tab

bolt@1.27.0.0 · src/rules/style/space.bend:16

import bolt@1.27.0.0/src/rules/style/space.bend as Space
import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

16# is there a tab among the chars?
17def has_tab(cs: List<&2, Char>) -> Bool:
18  match cs:
19    case Nil{}:
20      False{}
21    case Con{c, t}:
22      Lazy.or_else(Char.is_eq(c, '\t'), _u => has_tab(t))

Uses (5)

Used by (1)