Toon.lift: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/fmt/toon.bend as Toon Lines 56-61 of cswap-bend-cli@0.1.0.0/fmt/toon.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/fmt/toon.bend&start_line=56&end_line=61 import Base import cswap-bend-cli@0.1.0.0/json.bend as Json import bend-toon-codec@0.1.0.0/main.bend as Toon def lift(r: Result<&2, &2, String, Toon.Json>) -> Result<&2, &2, String, Json.Json>: match r: case Done{v}: Done{of_toon(v)} case Fail{e}: Fail{e} Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/main.bend&name=Json https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/toon.bend&name=of_toon https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json