
  0 | module Network.HTTP.Error
  1 | 
  2 | import Derive.Prelude
  3 | 
  4 | %language ElabReflection
  5 | 
  6 | public export
  7 | data HttpError e
  8 |   = UnknownHost
  9 |   | UnknownProtocol String
 10 |   | ConnectionClosed
 11 |   | SocketError String
 12 |   | ContentLengthMismatch Integer
 13 |   | MissingHeader String
 14 |   | UnknownTransferEncoding String
 15 |   | DecompressionError String
 16 |   | OtherReason e
 17 | 
 18 | %runElab derive "HttpError" [Eq, Show]
 19 |