Pact.WAI.HTTPErr

HTTP error types

Definitions

data HTTPErr : Type

  HTTP error type
  Represents possible errors during HTTP processing

Totality: total
Visibility: public export
Constructors:

HeaderSizeExceeded : HTTPErr

  Header size exceeded

ContentSizeExceeded : HTTPErr

  Content size exceeded

InvalidRequest : HTTPErr

  Invalid HTTP request format

Hints:

Eq HTTPErr

Interpolation HTTPErr

Ord HTTPErr

Show HTTPErr