Code.to_http: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/code.bend as Code
Lines 59-93 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=59&end_line=93

import Base

# The HTTP status a unary error response carries.
def to_http(c: Code) -> U32:
  match c:
    case Canceled{}:
      499
    case Unknown{}:
      500
    case InvalidArgument{}:
      400
    case DeadlineExceeded{}:
      504
    case NotFound{}:
      404
    case AlreadyExists{}:
      409
    case PermissionDenied{}:
      403
    case ResourceExhausted{}:
      429
    case FailedPrecondition{}:
      400
    case Aborted{}:
      409
    case OutOfRange{}:
      400
    case Unimplemented{}:
      501
    case Internal{}:
      500
    case Unavailable{}:
      503
    case DataLoss{}:
      500
    case Unauthenticated{}:
      401

Uses (2):
  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