Pact.WAI.StatusCode

HTTP status codes

Definitions

record StatusCode : Type

  A HTTP status code.
  
  The status code is a 3-digit number, the first digit of which
  indicates the class of status code.
  

Totality: total
Visibility: public export
Constructor: 

MkStatusCode : (code : Nat) -> {auto 0 _ : 100 <= code = True} -> {auto 0 _ : code <= 599 = True} -> StatusCode

Projections:

.code : StatusCode -> Nat

0 .gte100 : ({rec:0} : StatusCode) -> 100 <= code {rec:0} = True

0 .lte599 : ({rec:0} : StatusCode) -> code {rec:0} <= 599 = True

Hints:

Eq StatusCode

Interpolation StatusCode

Ord StatusCode

Show StatusCode

.code : StatusCode -> Nat

Totality: total
Visibility: public export

code : StatusCode -> Nat

Totality: total
Visibility: public export

0 .gte100 : ({rec:0} : StatusCode) -> 100 <= code {rec:0} = True

Totality: total
Visibility: public export

0 gte100 : ({rec:0} : StatusCode) -> 100 <= code {rec:0} = True

Totality: total
Visibility: public export

0 .lte599 : ({rec:0} : StatusCode) -> code {rec:0} <= 599 = True

Totality: total
Visibility: public export

0 lte599 : ({rec:0} : StatusCode) -> code {rec:0} <= 599 = True

Totality: total
Visibility: public export

ok : StatusCode

Totality: total
Visibility: public export

badRequest : StatusCode

Totality: total
Visibility: public export

unauthorized : StatusCode

Totality: total
Visibility: public export

forbidden : StatusCode

Totality: total
Visibility: public export

notFound : StatusCode

Totality: total
Visibility: public export

internalServerError : StatusCode

Totality: total
Visibility: public export

code_100 : StatusCode

  100 - Continue

Totality: total
Visibility: public export

code_101 : StatusCode

  101 - Switching Protocols

Totality: total
Visibility: public export

code_102 : StatusCode

  102 - Processing

Totality: total
Visibility: public export

code_103 : StatusCode

  103 - Early Hints

Totality: total
Visibility: public export

code_200 : StatusCode

  200 - OK

Totality: total
Visibility: public export

code_201 : StatusCode

  201 - Created

Totality: total
Visibility: public export

code_202 : StatusCode

  202 - Accepted

Totality: total
Visibility: public export

code_203 : StatusCode

  203 - Non-Authoritative Information 

Totality: total
Visibility: public export

code_204 : StatusCode

  204 - No Content

Totality: total
Visibility: public export

code_205 : StatusCode

  205 - Reset Content

Totality: total
Visibility: public export

code_206 : StatusCode

  206 - Partial Content

Totality: total
Visibility: public export

code_207 : StatusCode

  207 - Multi-Status

Totality: total
Visibility: public export

code_208 : StatusCode

  208 - Already Reported

Totality: total
Visibility: public export

code_226 : StatusCode

  226 - IM Used

Totality: total
Visibility: public export

code_300 : StatusCode

  300 - Multiple Choices

Totality: total
Visibility: public export

code_301 : StatusCode

  301 - Moved Permanently

Totality: total
Visibility: public export

code_302 : StatusCode

  302 - Found

Totality: total
Visibility: public export

code_303 : StatusCode

  303 - See Other

Totality: total
Visibility: public export

code_304 : StatusCode

  304 - Not Modified

Totality: total
Visibility: public export

code_305 : StatusCode

  305 - Use Proxy

Totality: total
Visibility: public export

code_307 : StatusCode

  307 - Temporary Redirect

Totality: total
Visibility: public export

code_308 : StatusCode

  308 - Permanent Redirect

Totality: total
Visibility: public export

code_400 : StatusCode

  400 - Bad Request

Totality: total
Visibility: public export

code_401 : StatusCode

  401 - Unauthorized

Totality: total
Visibility: public export

code_403 : StatusCode

  403 - Forbidden

Totality: total
Visibility: public export

code_404 : StatusCode

  404 - Not Found

Totality: total
Visibility: public export

code_405 : StatusCode

  405 - Method Not Allowed

Totality: total
Visibility: public export

code_406 : StatusCode

  406 - Not Acceptable

Totality: total
Visibility: public export

code_407 : StatusCode

  407 - Proxy Authentication Required

Totality: total
Visibility: public export

code_408 : StatusCode

  408 - Request Timeout

Totality: total
Visibility: public export

code_409 : StatusCode

  409 - Conflict

Totality: total
Visibility: public export

code_410 : StatusCode

  410 - Gone

Totality: total
Visibility: public export

code_412 : StatusCode

  412 - Precondition Failed

Totality: total
Visibility: public export

code_413 : StatusCode

  413 - Payload Too Large

Totality: total
Visibility: public export

code_414 : StatusCode

  414 - URI Too Long

Totality: total
Visibility: public export

code_415 : StatusCode

  415 - Unsupported Media Type

Totality: total
Visibility: public export

code_416 : StatusCode

  416 - Range Not Satisfiable

Totality: total
Visibility: public export

code_417 : StatusCode

  417 - Expectation Failed

Totality: total
Visibility: public export

code_418 : StatusCode

  418 - I'm a teapot

Totality: total
Visibility: public export

code_421 : StatusCode

  421 - Misdirected Request

Totality: total
Visibility: public export

code_422 : StatusCode

  422 - Unprocessable Entity

Totality: total
Visibility: public export

code_423 : StatusCode

  423 - Locked

Totality: total
Visibility: public export

code_424 : StatusCode

  424 - Failed Dependency

Totality: total
Visibility: public export

code_425 : StatusCode

  425 - Too Early

Totality: total
Visibility: public export

code_426 : StatusCode

  426 - Upgrade Required

Totality: total
Visibility: public export

code_428 : StatusCode

  428 - Precondition Required

Totality: total
Visibility: public export

code_429 : StatusCode

  429 - Too Many Requests

Totality: total
Visibility: public export

code_431 : StatusCode

  431 - Request Header Fields Too Large

Totality: total
Visibility: public export

code_451 : StatusCode

  451 - Unavailable For Legal Reasons

Totality: total
Visibility: public export

code_500 : StatusCode

  500 - Internal Server Error

Totality: total
Visibility: public export

code_501 : StatusCode

  501 - Not Implemented

Totality: total
Visibility: public export

code_502 : StatusCode

  502 - Bad Gateway

Totality: total
Visibility: public export

code_503 : StatusCode

  503 - Service Unavailable

Totality: total
Visibility: public export

code_504 : StatusCode

  504 - Gateway Timeout

Totality: total
Visibility: public export

code_505 : StatusCode

  505 - HTTP Version Not Supported

Totality: total
Visibility: public export

code_506 : StatusCode

  506 - Variant Also Negotiates

Totality: total
Visibility: public export

code_507 : StatusCode

  507 - Insufficient Storage

Totality: total
Visibility: public export

code_508 : StatusCode

  508 - Loop Detected

Totality: total
Visibility: public export

code_510 : StatusCode

  510 - Not Extended

Totality: total
Visibility: public export

code_511 : StatusCode

  511 - Network Authentication Required

Totality: total
Visibility: public export

statusMessage : StatusCode -> String

  Get the status message for a status code
  @ code The status code
  
  Returns the status message for the status code

Totality: total
Visibility: export