def lift

cswap-bend-cli@0.1.0.0 · fmt/toon.bend:56

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

56def lift(r: Result<&2, &2, String, Toon.Json>) -> Result<&2, &2, String, Json.Json>:
57  match r:
58    case Done{v}:
59      Done{of_toon(v)}
60    case Fail{e}:
61      Fail{e}