~/jendhub

def all_numbers

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

import near-v-framework@0.4.0.0/domain/architecture/system/release/ops.bend as Ops
import Base

12def all_numbers(xs: List<&2, String>) -> Bool:
13  match xs:
14    case []:
15      True{}
16    case +x <> rest:
17      Bool.not(String.is_empty(x)) && digits_only(String.to_list(x)) && all_numbers(rest)

Uses (8)

Used by (1)