def int.text

ezmcp@0.1.0.0 · src/rpc.bend:76

import Base

76# whether a number's text is an integer: an optional minus, then digits
77def int.text(text: String) -> Bool:
78  match text:
79    case SNil{}:
80      False{}
81    case SCon{+head, tail}:
82      int.text.of(head, tail, Char.is_eq(head, '-'))