micro-web 0.3.0

the async micro web framework
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

use crate::handler::RequestHandler;
use crate::handler::handler_decorator::{HandlerDecorator, HandlerDecoratorComposer, IdentityHandlerDecorator};

pub trait HandlerDecoratorFactory: Sized {
    type Output<In>: HandlerDecorator<In> + 'static
    where
        In: RequestHandler;

    fn create_decorator<In>(&self) -> Self::Output<In>
    where
        In: RequestHandler;
}

pub trait HandlerDecoratorFactoryExt: HandlerDecoratorFactory {
    fn and_then<F: HandlerDecoratorFactory>(self, factory: F) -> HandlerDecoratorFactoryComposer<Self, F> {
        HandlerDecoratorFactoryComposer { factory_1: self, factory_2: factory }
    }

    #[allow(unused)]
    fn compose<F: HandlerDecoratorFactory>(self, factory: F) -> HandlerDecoratorFactoryComposer<F, Self> {
        HandlerDecoratorFactoryComposer { factory_1: factory, factory_2: self }
    }
}

impl<T: HandlerDecoratorFactory> HandlerDecoratorFactoryExt for T {}

#[derive(Debug, Default, Copy, Clone)]
pub struct IdentityHandlerDecoratorFactory;

impl HandlerDecoratorFactory for IdentityHandlerDecoratorFactory {
    type Output<In>
        = IdentityHandlerDecorator
    where
        In: RequestHandler;

    fn create_decorator<In>(&self) -> Self::Output<In>
    where
        In: RequestHandler,
    {
        IdentityHandlerDecorator
    }
}

#[derive(Debug)]
pub struct HandlerDecoratorFactoryComposer<F1, F2> {
    factory_1: F1,
    factory_2: F2,
}

impl<F1, F2> HandlerDecoratorFactory for HandlerDecoratorFactoryComposer<F1, F2>
where
    F1: HandlerDecoratorFactory,
    F2: HandlerDecoratorFactory,
{
    // F1::Output<In> means: first factory's output, which is the first Decorator
    // F2::Output<<F1::Output<In> as HandlerDecorator<In>>::Out> means:
    // 1.  `<F1::Output<In> as HandlerDecorator<In>` means: the first Decorator
    // 2.  `<F1::Output<In> as HandlerDecorator<In>>::Out` means: the first Decorator's result
    // 3.  `Output<<F1::Output<In> as HandlerDecorator<In>>::Out>` means: the second Decorator's param is the first Decorator's result
    type Output<In>
        = HandlerDecoratorComposer<F1::Output<In>, F2::Output<<F1::Output<In> as HandlerDecorator<In>>::Output>>
    where
        In: RequestHandler;

    fn create_decorator<In>(&self) -> Self::Output<In>
    where
        In: RequestHandler,
    {
        let decorator_1 = self.factory_1.create_decorator();
        let decorator_2 = self.factory_2.create_decorator();

        HandlerDecoratorComposer::new(decorator_1, decorator_2)
    }
}