alux-http 0.3.0

Composable, interpreter-independent HTTP programs for meaning-first Rust design
Documentation 
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
38
39

/// Describes type-level accumulation of one more input in a declaration's product.
///
/// Each recorded input role extends the endpoint's extractor product and its handler argument
/// product in the same position, so declaration order is the application order.
///
/// A declaration reaching the widest product stated here can still state what it answers with,
/// because accumulation is what the output declarations are written over. One role beyond it
/// accumulates into a product nothing interprets, which is where a declaration stops.
pub trait WithAlg {
    /// The product formed by appending `Input` to this product.
    type With<Input>;
}

/// States the accumulation for one product width.
macro_rules! with_products {
    ($($input:ident),* $(,)?) => {
        impl<$($input),*> WithAlg for ($($input,)*) {
            type With<Input> = ($($input,)* Input,);
        }
    };
}

with_products!();
with_products!(A1);
with_products!(A1, A2);
with_products!(A1, A2, A3);
with_products!(A1, A2, A3, A4);
with_products!(A1, A2, A3, A4, A5);
with_products!(A1, A2, A3, A4, A5, A6);
with_products!(A1, A2, A3, A4, A5, A6, A7);
with_products!(A1, A2, A3, A4, A5, A6, A7, A8);
with_products!(A1, A2, A3, A4, A5, A6, A7, A8, A9);
with_products!(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10);
with_products!(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11);
with_products!(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12);
with_products!(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13);
with_products!(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14);
with_products!(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15);
with_products!(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16);