def quoted.rest

bend-toon-codec@0.1.0.0 · src/prim.bend:10

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J

10def quoted.rest(+ok: Bool, +v: String) -> Result<&2, &2, String, J.Json>:
11  match ok:
12    case True{}:
13      Done{J.JStr{v}}
14    case False{}:
15      Fail{"unexpected characters after the closing quote"}