~/jendhub

def all_gt

bolt@1.27.0.0 · src/syntax/tree.bend:143

import bolt@1.27.0.0/src/syntax/tree.bend as Tree
import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

143# is every char a `>`?
144def all_gt(cs: List<&2, Char>) -> Bool:
145  match cs:
146    case Nil{}:
147      True{}
148    case Con{+c, t}:
149      Lazy.and_then(Char.is_eq(c, '>'), _u => all_gt(t))

Uses (5)

Used by (1)