def of_inner_result

bend-toon-codec@0.1.0.0 · main.bend:104

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

104def of_inner_result(r: Result<&2, &2, String, I.Json>) -> Result<&2, &2, String, Json>:
105  match r:
106    case Fail{e}:
107      Fail{e}
108    case Done{v}:
109      Done{of_inner(v)}