Network.HTTP.Status

(source)

Definitions

record StatusCodeNumber : Nat -> Type

Totality: total
Visibility: public export
Constructor:

Abv100Und600 : LTE n 599 -> GTE n 100 -> StatusCodeNumber n

Projections:

.gte100 : StatusCodeNumber n -> GTE n 100
.lte599 : StatusCodeNumber n -> LTE n 599

.lte599 : StatusCodeNumber n -> LTE n 599

Visibility: public export

lte599 : StatusCodeNumber n -> LTE n 599

Visibility: public export

.gte100 : StatusCodeNumber n -> GTE n 100

Visibility: public export

gte100 : StatusCodeNumber n -> GTE n 100

Visibility: public export

is_status_code_number : (n : Nat) -> Dec (StatusCodeNumber n)

Visibility: export

data StatusCodeClass : Type

Totality: total
Visibility: public export
Constructors:

Information : StatusCodeClass
Successful : StatusCodeClass
Redirection : StatusCodeClass
ClientError : StatusCodeClass
ServerError : StatusCodeClass

Hints:

Eq StatusCodeClass
Show StatusCodeClass

data StatusCode : Nat -> Type

Totality: total
Visibility: public export
Constructors:

Continue : StatusCode 100
SwitchingProtocols : StatusCode 101
Processing : StatusCode 102
EarlyHints : StatusCode 103
OK : StatusCode 200
Created : StatusCode 201
Accepted : StatusCode 202
NonAuthoritativeInformation : StatusCode 203
NoContent : StatusCode 204
ResetContent : StatusCode 205
PartialContent : StatusCode 206
MultiStatus : StatusCode 207
AlreadyReported : StatusCode 208
IMUsed : StatusCode 226
MultipleChoices : StatusCode 300
MovedPermanently : StatusCode 301
Found : StatusCode 302
SeeOther : StatusCode 303
NotModified : StatusCode 304
UseProxy : StatusCode 305
TemporaryRedirect : StatusCode 307
PermanentRedirect : StatusCode 308
Unauthorized : StatusCode 401
PaymentRequired : StatusCode 402
Forbidden : StatusCode 403
NotFound : StatusCode 404
MethodNotAllowed : StatusCode 405
NotAcceptable : StatusCode 406
ProxyAuthenticationRequired : StatusCode 407
RequestTimeout : StatusCode 408
Conflict : StatusCode 409
Gone : StatusCode 410
LengthRequired : StatusCode 411
PreconditionFailed : StatusCode 412
ContentTooLarge : StatusCode 413
URITooLong : StatusCode 414
UnsupportedMediaType : StatusCode 415
RangeNotSatisfiable : StatusCode 416
ExpectationFailed : StatusCode 417
MisdirectedRequest : StatusCode 421
UnprocessableContent : StatusCode 422
Locked : StatusCode 423
FailedDependency : StatusCode 424
TooEarly : StatusCode 425
UpgradeRequired : StatusCode 426
PreconditionRequired : StatusCode 428
TooManyRequests : StatusCode 429
RequestHeaderFieldsTooLarge : StatusCode 431
UnavailableForLegalReasons : StatusCode 451
InternalServerError : StatusCode 500
NotImplemented : StatusCode 501
BadGateway : StatusCode 502
ServiceUnavailable : StatusCode 503
GatewayTimeout : StatusCode 504
HTTPVersionNotSupported : StatusCode 505
VariantAlsoNegotiates : StatusCode 506
InsufficientStorage : StatusCode 507
LoopDetected : StatusCode 508
NetworkAuthenticationRequired : StatusCode 511
UnknownStatusCode : (n : Nat) -> StatusCodeNumber n -> StatusCode n

Hint:

Show (StatusCode n)

status_code_to_nat : StatusCode n -> Nat

Visibility: export

nat_to_status_code : (n : Nat) -> StatusCodeNumber n -> StatusCode n

Visibility: export

status_code_class : StatusCode n -> StatusCodeClass

Visibility: export