cgp-tests 0.5.0-beta3

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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115

use core::marker::PhantomData;

use cgp::prelude::*;

pub struct UseDelegate2<Components>(pub PhantomData<Components>);

#[cgp_type {
    provider: FooTypeProviderAt,
    derive_delegate: [
        UseDelegate<I>,
        UseDelegate2<(I, J)>,
    ],
}]
pub trait HasFooTypeAt<I, J> {
    type Foo;
}

#[cgp_getter {
    provider: FooGetterAt,
    derive_delegate: [
        UseDelegate<I>,
        UseDelegate2<(I, J)>,
    ],
}]
pub trait HasFooAt<I, J>: HasFooTypeAt<I, J> {
    fn foo_at(&self, _tag: PhantomData<(I, J)>) -> &Self::Foo;
}

#[test]
pub fn test_derive_delegate() {
    #[cgp_context]
    #[derive(HasField)]
    pub struct MyContext {
        pub foo: u64,
        pub bar: String,
    }

    delegate_components! {
        MyContextComponents {
            FooTypeProviderAtComponent: UseDelegate<
                new FooTypes {
                    Index<1>: UseType<u64>,
                    Index<0>: UseType<String>,
                }
            >,
            FooGetterAtComponent: UseDelegate<
                new FooGetters {
                    Index<1>: UseField<Symbol!("foo")>,
                    Index<0>: UseField<Symbol!("bar")>,
                }
            >
        }
    }

    check_components! {
        CanUseMyContext for MyContext {
            FooGetterAtComponent: [
                (Index<1>, Index<0>),
                (Index<0>, Index<1>),
            ]
        }
    }

    let context = MyContext {
        foo: 42,
        bar: "Bar".into(),
    };

    assert_eq!(context.foo_at(PhantomData::<(Index<1>, Index<0>)>), &42);
    assert_eq!(context.foo_at(PhantomData::<(Index<0>, Index<1>)>), "Bar");
}

#[test]
pub fn test_derive_delegate2() {
    #[cgp_context]
    #[derive(HasField)]
    pub struct MyContext {
        pub foo: u64,
        pub bar: String,
    }

    delegate_components! {
        MyContextComponents {
            FooTypeProviderAtComponent: UseDelegate2<
                new FooTypes {
                    (Index<1>, Index<0>): UseType<u64>,
                    (Index<0>, Index<1>): UseType<String>,
                }
            >,
            FooGetterAtComponent: UseDelegate2<
                new FooGetters {
                    (Index<1>, Index<0>): UseField<Symbol!("foo")>,
                    (Index<0>, Index<1>): UseField<Symbol!("bar")>,
                }
            >
        }
    }

    check_components! {
        CanUseMyContext for MyContext {
            FooGetterAtComponent: [
                (Index<1>, Index<0>),
                (Index<0>, Index<1>),
            ]
        }
    }

    let context = MyContext {
        foo: 42,
        bar: "Bar".into(),
    };

    assert_eq!(context.foo_at(PhantomData::<(Index<1>, Index<0>)>), &42);
    assert_eq!(context.foo_at(PhantomData::<(Index<0>, Index<1>)>), "Bar");
}