~/jendhub

def Parse.ascii_digit.s

bend-scanner@0.1.0.0 · parse.bend:100

import bend-scanner@0.1.0.0/parse.bend as Parse
import Base

100def Parse.ascii_digit.s(
101  s: String, off: Nat
102) -> Result<&2, &2, Parse.Error, Parse.Dec>:
103  match s:
104    case SNil{}:
105      Fail{Eof{off}}
106    case SCon{+h, t}:
107      Parse.ascii_digit.val(h, t, off, Char.is_digit(h))

Uses (7)

Used by (1)