def number.exponent

gralha-text-scan@0.1.0.1 · scan.bend:127

import Base

127def number.exponent(+s: String) -> Bool:
128  match s:
129    case SNil{}: False{}
130    case SCon{Chr{c}, t}:
131      match t:
132        case SNil{}: digit(c)
133        case SCon{Chr{d}, rest}: digit(c) || ((U32.is_eq(c, 43) || U32.is_eq(c, 45)) && digit(d))