cgp-tests 0.5.0-beta

Context-generic programming meta crate
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

#![allow(unused)]

use core::marker::PhantomData;

use cgp::prelude::*;

#[test]
fn test_basic_delegate_components() {
    pub struct FooKey;
    pub struct FooValue;
    pub struct BarKey;
    pub struct BarValue;
    pub struct BazKey;

    pub struct Components;

    delegate_components! {
        Components {
            FooKey: FooValue,
            [
                BarKey,
                BazKey,
            ]:
                BarValue,
        }
    }

    pub trait CheckDelegates:
        DelegateComponent<FooKey, Delegate = FooValue>
        + DelegateComponent<BarKey, Delegate = BarValue>
        + DelegateComponent<BazKey, Delegate = BarValue>
    {
    }

    impl CheckDelegates for Components {}
}

#[test]
fn test_generic_delegate_components() {
    pub struct FooKey<T>(pub PhantomData<T>);
    pub struct FooValue;
    pub struct BarKey<'a, T>(pub PhantomData<(&'a (), T)>);
    pub struct BarValue<T>(pub PhantomData<T>);
    pub struct BazKey<T1, T2>(pub PhantomData<(T1, T2)>);

    pub struct Components;

    delegate_components! {
        <'a, T1: Clone>
        Components {
            FooKey<T1>: FooValue,
            [
                BarKey<'a, T1>,
                <T2> BazKey<T1, T2>,
            ]:
                BarValue<T1>,
        }
    }

    pub trait CheckDelegates<'a, T1, T2>:
        DelegateComponent<FooKey<T1>, Delegate = FooValue>
        + DelegateComponent<BarKey<'a, T1>, Delegate = BarValue<T1>>
        + DelegateComponent<BazKey<T1, T2>, Delegate = BarValue<T1>>
    {
    }

    impl<T1, T2> CheckDelegates<'_, T1, T2> for Components where T1: Clone {}
}