def val.done

bend-toon-codec@0.1.0.0 · src/entry.bend:18

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

18def val.done(+k: String, +r: Result<&2, &2, String, J.Json>) -> Result<&2, &2, String, Ent>:
19  match r:
20    case Done{v}:
21      Done{EVal{k, v}}
22    case Fail{e}:
23      Fail{e}