~/jendhub

def name.chars

ezx@1.11.0.0 · src/pkg/pkg.bend:343

import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg
import Base

343# whether every character is one a hub name holds
344def name.chars(text: String) -> Bool:
345  match text:
346    case SNil{}:
347      True{}
348    case SCon{+h, t}:
349      +rest = name.chars(t)
350      Bool.and(name.char(h), rest)

Uses (4)

Used by (1)