cgp-tests 0.5.0

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

use core::marker::PhantomData;

use cgp::prelude::*;

#[cgp_type]
pub trait HasFooType {
    type Foo;
}

#[cgp_type]
pub trait HasBarType {
    type Bar;
}

#[cgp_getter {
    name: FooGetterComponent<I>,
    provider: FooGetter,
}]
pub trait HasFooAt<I>: HasFooType {
    fn foo(&self, _tag: PhantomData<I>) -> &Self::Foo;
}

#[cgp_getter {
    provider: BarGetter,
}]
pub trait HasBar: HasBarType {
    fn bar(&self) -> &Self::Bar;
}