~/jendhub

def unknown_of

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

import bendonnect-rpc@0.1.0.0/src/error.bend as Error
import Base
import bendonnect-rpc@0.1.0.0/src/code.bend as Code

138def unknown_of(m: Maybe<&2, Code.Code>) -> Code.Code:
139  match m:
140    case None{}:
141      Code.Unknown{}
142    case Some{c}:
143      c

Uses (2)

Used by (1)