~/jendhub

def hex.step

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

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

78# one step of the hex read
79def hex.step(done: Bool, acc: Nat, rest: Unit -> Nat) -> Nat:
80  match done:
81    case True{}:
82      acc
83    case False{}:
84      rest(Unit{})

Uses (3)

Used by (1)