Idris2Doc : Network.HTTP.Error

Network.HTTP.Error

(source)

Definitions

dataHttpError : Type->Type
Totality: total
Visibility: public export
Constructors:
UnknownHost : HttpErrore
UnknownProtocol : String->HttpErrore
ConnectionClosed : HttpErrore
SocketError : String->HttpErrore
ContentLengthMismatch : Integer->HttpErrore
MissingHeader : String->HttpErrore
UnknownTransferEncoding : String->HttpErrore
DecompressionError : String->HttpErrore
OtherReason : e->HttpErrore

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