def status_text
bendonnect-rpc@0.1.0.0 · src/error.bend:323
import bendonnect-rpc@0.1.0.0/src/error.bend as Error
import Base
323def status_text(+s: U32) -> String:
324 Bool.pick(String, U32.is_eq(s, 400), "Bad Request",
325 Bool.pick(String, U32.is_eq(s, 401), "Unauthorized",
326 Bool.pick(String, U32.is_eq(s, 403), "Forbidden",
327 Bool.pick(String, U32.is_eq(s, 404), "Not Found",
328 Bool.pick(String, U32.is_eq(s, 429), "Too Many Requests",
329 Bool.pick(String, U32.is_eq(s, 500), "Internal Server Error",
330 Bool.pick(String, U32.is_eq(s, 502), "Bad Gateway",
331 Bool.pick(String, U32.is_eq(s, 503), "Service Unavailable",
332 Bool.pick(String, U32.is_eq(s, 504), "Gateway Timeout",
333 String.append("HTTP ", U32.show(s)))))))))))