Network.HTTP.Error

Definitions

data HttpError : Type -> Type

Totality: total
Visibility: public export
Constructors:

UnknownHost : HttpError e

UnknownProtocol : String -> HttpError e

ConnectionClosed : HttpError e

SocketError : String -> HttpError e

ContentLengthMismatch : Integer -> HttpError e

MissingHeader : String -> HttpError e

UnknownTransferEncoding : String -> HttpError e

DecompressionError : String -> HttpError e

OtherReason : e -> HttpError e

Hints:

Eq {arg:12276} => Eq (HttpError {arg:12276})

Show {arg:12276} => Show (HttpError {arg:12276})