1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
//! What a warp filter gathered, before the roles read it.
//!
//! warp matches a request by composing filters, so what reaches an endpoint is what those filters
//! extracted rather than a request object. This carries exactly that.
use HeaderMap;
/// What one matched request states, as warp's filters gathered it.