def mark.name

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

import Base
import bend-toon-codec@0.1.0.0/src/head.bend as Hd

22# A field name: quoted names are unescaped; a bare name that holds another
23# delimiter than the active one is a delimiter mismatch.
24# A quoted field name keeps its marker (see head.bend).
25def mark.name(+r: Result<&2, &2, String, String>) -> Result<&2, &2, String, String>:
26  match r:
27    case Done{k}:
28      Done{Hd.mark() ++ k}
29    case Fail{e}:
30      Fail{e}