def post.pick

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

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

155def post.pick(+expand: Bool, +strict: Bool, +v: J.Json) -> Result<&2, &2, String, J.Json>:
156  match expand:
157    case True{}:
158      X.expand(v, strict)
159    case False{}:
160      Done{X.strip(v)}