def hex.all

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

import Base

82# whether every char of a ref is one. Base's `List.all` applies an erased
83# function parameter, which falls outside the termination check; this walk is
84# structural.
85def hex.all(cs: List<&2, Char>) -> Bool:
86  match cs:
87    case []:
88      True{}
89    case +h <> t:
90      hex.all.step(hex.at(h), _u => hex.all(t))