def code_of.val

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

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
import bendonnect-rpc@0.1.0.0/src/code.bend as Code

148def code_of.val(v: Json.Val) -> Maybe<&2, Code.Code>:
149  match v:
150    case Json.Str{s}:
151      code_str(s)
152    case Json.Null{}:
153      None{}
154    case Json.Flag{on}:
155      None{}
156    case Json.Num{s}:
157      None{}
158    case Json.Arr{xs}:
159      None{}
160    case Json.Obj{kvs}:
161      None{}

Uses (4)

Used by (1)