~/jendhub

def clear

ezx@1.11.0.0 · src/ledger/render.bend:147

import ezx@1.11.0.0/src/ledger/render.bend as Render
import Base

147# whether a text holds no copy of a char
148def clear(text: String, +ch: Char) -> Bool:
149  match text:
150    case SNil{}:
151      True{}
152    case SCon{h, t}:
153      rest = clear(t, ch)
154      Bool.and(Bool.not(Char.is_eq(h, ch)), rest)

Uses (6)

Used by (1)