Code.from_http: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/code.bend as Code
Lines 138-142 of bendonnect-rpc@0.1.0.0/src/code.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&start_line=138&end_line=142

import Base

# The code a client infers from a non-200 status with no Connect error body.
def from_http(+status: U32) -> Code:
  from_http.go([Row{400, Internal{}}, Row{401, Unauthenticated{}}, Row{403, PermissionDenied{}},
    Row{404, Unimplemented{}}, Row{429, Unavailable{}}, Row{502, Unavailable{}},
    Row{503, Unavailable{}}, Row{504, Unavailable{}}], status)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=Code
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=Row
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=from_http.go