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{}