~/jendhub

def check.gt_chars

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

import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

161# every char a `>`
162def check.gt_chars(cs: List<&2, Char>) -> Bool:
163  match cs:
164    case Nil{}:
165      True{}
166    case Con{+c, t}:
167      Lazy.and_then(Char.is_eq(c, '>'), _u => check.gt_chars(t))

Uses (5)

Used by (1)