def same.pick

bend-toon-codec@0.1.0.0 · src/expand.bend:80

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

80# An existing object met by the end of a path: only an empty object leaf agrees.
81def same.pick(+ok: Bool, +strict: Bool, +e: J.Json, +leaf: J.Json) -> Result<&2, &2, String, J.Json>:
82  match ok:
83    case True{}:
84      Done{e}
85    case False{}:
86      conflict(strict, Nil{}, leaf)