def name.ok

bend-toon-codec@0.1.0.0 · src/hdr.bend:32

import Base
import bend-toon-codec@0.1.0.0/src/prim.bend as P

32def name.ok(+bare: Bool, +bad_delim: Bool, +tok: String) -> Result<&2, &2, String, String>:
33  match bare bad_delim:
34    case True{} True{}:
35      Fail{"header delimiter mismatch"}
36    case True{} False{}:
37      Done{tok}
38    case False{} _:
39      mark.name(P.key(tok))