~/jendhub

def strip0

cswap-bend-cli@0.1.0.0 · usage/text.bend:70

import cswap-bend-cli@0.1.0.0/usage/text.bend as Text
import Base

70# Leading zeros dropped, keeping at least one digit.
71def strip0(s: String) -> String:
72  match s:
73    case SNil{}:
74      "0"
75    case SCon{+c, +t}:
76      strip0.pick(Char.is_eq(c, '0'), Bool.not(String.is_empty(t)), c, t, strip0(t))

Uses (6)

Used by (1)