0 RequestBody : Type RequestBody is the type of request body
It is a stream of bytes
Visibility: public exportrecord Request : Type HTTP request record type
Contains all relevant information for an HTTP request
Totality: total
Visibility: public export
Constructor: MkRequest : Method -> String -> QueryParams -> Version -> Headers -> Nat -> Maybe String -> RequestBody -> Request
Projections:
.body : Request -> RequestBody Request body byte stream
HTTP header fields map
.length : Request -> Nat Request body length
.method : Request -> Method HTTP request method (GET, POST, etc.)
.queryParams : Request -> QueryParams Query parameter map
.type : Request -> Maybe String Request body content type
.uri : Request -> String Request URI path
.version : Request -> Version HTTP version
.method : Request -> Method HTTP request method (GET, POST, etc.)
Visibility: public exportmethod : Request -> Method HTTP request method (GET, POST, etc.)
Visibility: public export.uri : Request -> String Request URI path
Visibility: public exporturi : Request -> String Request URI path
Visibility: public export.queryParams : Request -> QueryParams Query parameter map
Visibility: public exportqueryParams : Request -> QueryParams Query parameter map
Visibility: public export.version : Request -> Version HTTP version
Visibility: public exportversion : Request -> Version HTTP version
Visibility: public export HTTP header fields map
Visibility: public export HTTP header fields map
Visibility: public export.length : Request -> Nat Request body length
Visibility: public exportlength : Request -> Nat Request body length
Visibility: public export.type : Request -> Maybe String Request body content type
Visibility: public exporttype : Request -> Maybe String Request body content type
Visibility: public export.body : Request -> RequestBody Request body byte stream
Visibility: public exportbody : Request -> RequestBody Request body byte stream
Visibility: public export