~/jendhub

def digits

ezmcp@0.1.0.0 · src/openapi.bend:1301

import ezmcp@0.1.0.0/src/openapi.bend as Openapi
import Base

1301# whether every character is a digit
1302def digits(text: String) -> Bool:
1303  match text:
1304    case SNil{}:
1305      True{}
1306    case SCon{ch, rest}:
1307      and.then(Char.is_digit(ch), _u => digits(rest))

Uses (4)

Used by (1)