jacket
Search the docs
/
API
Tools
Playground
0.31.0
Http module
← Http
Types
Span
Ext_State
Parser_State
Parser
Response_Options
Date_Cache
Url
Url_Problem
Request
Handler
Next
Middleware
Response
Http_Error_Kind
Http_Error
Body
Stream_Producer
Stream
Path
Params
Rest
Query
Json
Form
Header
Header_Optional
State
Server_Config
Error_Handler
App
Group
Link
Serve_Error_Kind
Serve_Error
Server
Client_Request
Client_Response
Client_Error_Kind
Client_Error
Transport
On this page
Fields
See also
std
/
Extensions
/
Http
/
Rest
Rest
struct
Source
The
{name...}
tail of the route as one string (the rest of the path, percent-decoded).
Fields
value
:
string
See also
Path
Params
Query
Json