def err_of

bendonnect-rpc@0.1.0.0 · src/error.bend:456

import bendonnect-rpc@0.1.0.0/src/error.bend as Error
import Base
import bend-kit-json@0.6.1.1/json.bend as Json

456def err_of(m: Maybe<&1, Json.Val>) -> Maybe<&1, Maybe<&1, Error>>:
457  match m:
458    case None{}:
459      Some{None{}}
460    case Some{v}:
461      err_val(from_json(v))

Uses (5)

Used by (1)