~/jendhub

def err_val

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

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

448# absent error is fine (Some None); present-but-invalid error is None.
449def err_val(m: Maybe<&1, Error>) -> Maybe<&1, Maybe<&1, Error>>:
450  match m:
451    case None{}:
452      None{}
453    case Some{e}:
454      Some{Some{e}}

Uses (2)

Used by (1)