def digits

ezmcp@0.1.0.0 · src/rpc.bend:59

import Base

59# whether a text is one or more ASCII digits
60def digits(text: String) -> Bool:
61  match text:
62    case SNil{}:
63      False{}
64    case SCon{head, tail}:
65      digits.and(Char.is_digit(head), _u => digits.go(tail))