def name.valid

bend-kit-router@0.2.0.0 · router.bend:60

import bend-kit-router@0.2.0.0/router.bend as Router
import Base
import bend-kit-router@0.2.0.0/target.bend as Target

60def name.valid(s: String) -> Bool:
61  match s:
62    case SNil{}:
63      False{}
64    case SCon{Chr{+c}, t}:
65      Bool.and(Bool.or(Target.alpha(c), U32.is_eq(c, 95)), name.tail(t))

Uses (8)

Used by (1)