def hex.all.step

ezx@1.11.0.0 · src/git/git.bend:72

import Base

72# one step of the walk, and `among.step` turned around: `Bool.and` reduces
73# both of its sides too, so the first char that is not hex still cost a walk
74# of the rest of the ref
75def hex.all.step(here: Bool, rest: Unit -> Bool) -> Bool:
76  match here:
77    case True{}:
78      rest(Unit{})
79    case False{}:
80      False{}