def has_digit

yaml-for-bend@0.1.1.0 · yaml11.bend:102

import yaml-for-bend@0.1.1.0/yaml11.bend as Yaml11

import Base

102def has_digit(s: String) -> Bool:
103  match s:
104    case SNil{}:
105      False{}
106    case SCon{+c, t}:
107      Bool.or(Char.is_digit(c), has_digit(t))

Uses (4)

Used by (1)

yaml-for-bend@0.1.1.0/yaml11:float.of