cgp-dispatch 0.4.2-alpha

Generalized handler interfaces for functional programming
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

use cgp_core::prelude::*;

use crate::ExtractFieldAndHandle;

pub trait ToInputFieldHandlersRef<'a, Provider> {
    type Handlers;
}

impl<'a, Input, Provider, Handlers> ToInputFieldHandlersRef<'a, Provider> for Input
where
    Input: 'a + HasFieldsRef,
    Input::FieldsRef<'a>: ToFieldHandlers<Provider, Handlers = Handlers>,
{
    type Handlers = Handlers;
}

pub trait ToInputFieldHandlers<Provider> {
    type Handlers;
}

impl<Input, Fields, Provider> ToInputFieldHandlers<Provider> for Input
where
    Input: HasFields<Fields = Fields>,
    Fields: ToFieldHandlers<Provider>,
{
    type Handlers = Fields::Handlers;
}

pub trait ToFieldHandlers<Provider> {
    type Handlers;
}

impl<Tag, Value, RestFields, Provider> ToFieldHandlers<Provider>
    for Either<Field<Tag, Value>, RestFields>
where
    RestFields: ToFieldHandlers<Provider>,
{
    type Handlers = Cons<ExtractFieldAndHandle<Tag, Provider>, RestFields::Handlers>;
}

impl<Provider> ToFieldHandlers<Provider> for Void {
    type Handlers = Nil;
}