~/jendhub

def digits

bend-kit-webhooks@0.11.0.1 · webhooks.bend:64

import bend-kit-webhooks@0.11.0.1/webhooks.bend as Webhooks
import Base

64def digits(s: String) -> Bool:
65  match s:
66    case SNil{}:
67      True{}
68    case SCon{Chr{+c}, t}:
69      Bool.and(Bool.and(U32.is_le(48, c), U32.is_le(c, 57)), digits(t))

Uses (5)

Used by (1)