def name.part

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

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

import Base

360# a hub name: a letter, then a-z, 0-9 and -, 1 to 64 characters in all, as
361# bend's NAMED rule reads it. Which names a Bender may take is the hub's.
362def name.part(+text: String) -> Bool:
363  +n = String.length(text)
364  Bool.and(Bool.and(Nat.is_ge(n, 1n), Nat.is_le(n, 64n)),
365    Bool.and(name.first(text), name.chars(text)))

Uses (8)

Used by (2)