def Ty.opt.go

bend-kube-runtime@0.2.0.0 · src/typed.bend:100

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J

100def Ty.opt.go(~A: Data, ~dec: J.Json -> String -> Result<&2, &2, String, A>, +j: J.Json,
101  +path: String, missing: Bool) -> Result<&2, &2, String, Maybe<&2, A>>:
102  match missing:
103    case True{}:
104      Done{None{}}
105    case False{}:
106      Result.map(&2, &2, String, A, Maybe<&2, A>, x => Some{x}, dec(j, path))