
  0 | module Node.HTTP.IncomingMessage
  1 | 
  2 | import public Data.Buffer
  3 | import public Node.Error
  4 | import Node.HTTP.Headers
  5 | import public Node.Stream
  6 | 
  7 | export
  8 | data IncomingMessage : Type where [external]
  9 | 
 10 | public export
 11 | implementation ReadableClass Buffer Error IncomingMessage where
 12 | 
 13 | export
 14 | %foreign "node:lambda: req => req.headers"
 15 | (.headers) : IncomingMessage -> Headers
 16 | 
 17 | export
 18 | %foreign "node:lambda: req => req.httpVersion"
 19 | (.httpVersion) : IncomingMessage -> String
 20 | 
 21 | export
 22 | %foreign "node:lambda: req => req.method"
 23 | (.method) : IncomingMessage -> String
 24 | 
 25 | export
 26 | %foreign "node:lambda: req => req.url"
 27 | (.url) : IncomingMessage -> String
 28 | 
 29 | export
 30 | %foreign "node:lambda: res => res.statusCode"
 31 | (.statusCode) : IncomingMessage -> Int
 32 | 
 33 |