def lift_json

cswap-bend-cli@0.1.0.0 · cfgio.bend:164

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act

164def lift_json(r: Result<&2, &2, String, Json.Json>) -> Act.of(Json.Json):
165  match r:
166    case Done{j}:
167      Act.pure(Json.Json, j)
168    case Fail{m}:
169      Act.fail(Json.Json, 1, m)