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

#![allow(dead_code)]

use cgp::prelude::*;

pub fn test_basic_delegate_and_check_components() {
    #[cgp_type]
    pub trait HasNameType {
        type Name;
    }

    #[cgp_getter]
    pub trait HasName: HasNameType {
        fn name(&self) -> &Self::Name;
    }

    #[cgp_context]
    #[derive(HasField)]
    pub struct MyContext {
        pub name: String,
    }

    delegate_and_check_components! {
        CanUseMyContext for MyContext;
        MyContextComponents {
            NameTypeProviderComponent: UseType<String>,
            NameGetterComponent: UseField<Symbol!("name")>,
        }
    }
}

pub fn test_generic_delegate_and_check_components() {
    #[cgp_type]
    pub trait HasNameType {
        type Name;
    }

    #[cgp_getter]
    pub trait HasName: HasNameType {
        fn name(&self) -> &Self::Name;
    }

    #[cgp_context(MyContextComponents<T>)]
    #[derive(HasField)]
    pub struct MyContext<T> {
        pub name: T,
    }

    delegate_and_check_components! {
        <T>
        CanUseMyContext for MyContext<T>;
        MyContextComponents<T> {
            NameTypeProviderComponent: UseType<T>,
            NameGetterComponent: UseField<Symbol!("name")>,
        }
    }
}