def to_http

bendonnect-rpc@0.1.0.0 · src/code.bend:59

import Base

59# The HTTP status a unary error response carries.
60def to_http(c: Code) -> U32:
61  match c:
62    case Canceled{}:
63      499
64    case Unknown{}:
65      500
66    case InvalidArgument{}:
67      400
68    case DeadlineExceeded{}:
69      504
70    case NotFound{}:
71      404
72    case AlreadyExists{}:
73      409
74    case PermissionDenied{}:
75      403
76    case ResourceExhausted{}:
77      429
78    case FailedPrecondition{}:
79      400
80    case Aborted{}:
81      409
82    case OutOfRange{}:
83      400
84    case Unimplemented{}:
85      501
86    case Internal{}:
87      500
88    case Unavailable{}:
89      503
90    case DataLoss{}:
91      500
92    case Unauthenticated{}:
93      401