def bare.all

ezx@1.11.0.0 · src/toml/toml.bend:145

import ezx@1.11.0.0/src/toml/toml.bend as Toml

import Base

145# whether every char of a key is one a bare key may hold. Base's `List.all`
146# applies an erased function parameter and so falls outside the termination
147# check; this walk is structural.
148def bare.all(cs: List<&2, Char>) -> Bool:
149  match cs:
150    case []:
151      True{}
152    case +hd <> tl:
153      bare.all.step(bare.at(hd), _u => bare.all(tl))

Uses (5)

Used by (1)

ezx@1.11.0.0/src/toml/toml:bare