def digits_only

near-v-framework@0.4.0.0 · domain/architecture/system/release/ops.bend:4

import Base

4# ---- the hub's rules: a name is 12 to 64 characters of a-z, 0-9 and -; a version is four numbers ----
5def digits_only(cs: List<&2, Char>) -> Bool:
6  match cs:
7    case []:
8      True{}
9    case c <> rest:
10      Char.is_digit(c) && digits_only(rest)