def from_http.pick

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

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

335def from_http.pick(m: Maybe<&1, Error>, +status: U32) -> Error:
336  match m:
337    case Some{e}:
338      e
339    case None{}:
340      Error{Code.from_http(status), status_text(status), Nil{}}

Uses (6)

Used by (1)