~/jendhub

def digits.step

emerging-ezhttp@0.21.0.0 · src/http.bend:200

import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import Base

200# accept one digit and keep reading, or stop when it is not a digit
201def digits.step(ok: Bool, next: Unit -> Maybe<&2, Nat>) -> Maybe<&2, Nat>:
202  match ok:
203    case False{}:
204      None{}
205    case True{}:
206      next(Unit{})

Uses (4)

Used by (1)