def quoted.end

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

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

17# The closing quote must end the token.
18def quoted.end(+r: Result<&2, &2, String, T.Cut>) -> Result<&2, &2, String, J.Json>:
19  match r:
20    case Fail{e}:
21      Fail{e}
22    case Done{T.Cut{v, rest}}:
23      quoted.rest(String.is_empty(rest), v)