def opt.some

bendonnect-rpc@0.1.0.0 · src/pbjson.bend:598

import Base
import bend-kit-json@0.6.1.1/json.bend as Json

598def opt.some(~T: Data, ~read: Json.Val -> Result<&2, &1, String, T>, v: Json.Val) -> Result<&2, &1, String, Maybe<&2, T>>:
599  do Result<&2, &1, String, Maybe<&2, T>>:
600    x : T <- read(v)
601    return Some{x}