Idris2Doc : HTTP.Request

HTTP.Request

(source)
Definitions
record Request : Type
  A request sent from the client listing the SCGI headers provided by
  the proxy server, the total content size, and an IO action for
  streaming the content.

  Totality: total
  Visibility: public export
  Constructor: 
RQ : Method -> Headers -> URI -> ByteString -> Request

  Projections:
  
.content : Request -> ByteString
  Content
  
.headers : Request -> Headers
  The SCGI headers as sent by the proxy server
  
.method : Request -> Method
  The HTTP method used for the request
  
.uri : Request -> URI
  URI of the request
.method : Request -> Method
  The HTTP method used for the request

  Totality: total
  Visibility: public export
method : Request -> Method
  The HTTP method used for the request

  Totality: total
  Visibility: public export
.headers : Request -> Headers
  The SCGI headers as sent by the proxy server

  Totality: total
  Visibility: public export
headers : Request -> Headers
  The SCGI headers as sent by the proxy server

  Totality: total
  Visibility: public export
.uri : Request -> URI
  URI of the request

  Totality: total
  Visibility: public export
uri : Request -> URI
  URI of the request

  Totality: total
  Visibility: public export
.content : Request -> ByteString
  Content

  Totality: total
  Visibility: public export
content : Request -> ByteString
  Content

  Totality: total
  Visibility: public export
requestMethod : MErr f => Has RequestErr es => ByteString -> f es Method
  Totality: total
  Visibility: export
requestURI : MErr f => Has RequestErr es => ByteString -> f es URI
  Totality: total
  Visibility: export