~/jendhub

def code_of

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

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

163# A present string code (unrecognized names become Unknown); anything else is None.
164def code_of(m: Maybe<&1, Json.Val>) -> Maybe<&2, Code.Code>:
165  match m:
166    case None{}:
167      None{}
168    case Some{v}:
169      code_of.val(v)

Uses (4)

Used by (1)