def digits

cswap-bend-cli@0.1.0.0 · daemon/config.bend:30

import cswap-bend-cli@0.1.0.0/daemon/config.bend as Config

import Base

30def digits(+s: String) -> Bool:
31  match s:
32    case SNil{}:
33      True{}
34    case SCon{c, t}:
35      Char.is_digit(c) && digits(t)

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/daemon/config:read_u32