def name.char

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

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

339# a character a hub name holds after its first: a-z, 0-9 and -
340def name.char(+ch: Char) -> Bool:
341  Bool.or(Char.is_lower(ch), Bool.or(Char.is_digit(ch), Char.is_eq(ch, '-')))

Uses (6)

Used by (1)