def post

bend-toon-codec@0.1.0.0 · src/decode.bend:162

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

162# Quoted-key markers come off; with path expansion the dotted keys unfold.
163def post(+expand: Bool, +strict: Bool, +r: Result<&2, &2, String, J.Json>) -> Result<&2, &2, String, J.Json>:
164  match r:
165    case Fail{e}:
166      Fail{e}
167    case Done{v}:
168      post.pick(expand, strict, v)

Uses (5)

Used by (1)