static-dispatch 0.3.0

Implement a trait for an enum, where all variants implement the trait
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

#[static_dispatch::setup]
trait SomethingBehavior<A, B: Copy>
where
    A: Copy,
{
    fn something(&self, _a: A, _b: B);
    fn another<C, D: Copy>(&self, _a: A, _b: B, _c: C, _d: D)
    where
        C: Copy;
}

struct StructA;
impl<A, B: Copy> SomethingBehavior<A, B> for StructA
where
    A: Copy,
{
    fn something(&self, _a: A, _b: B) {}
    fn another<C, D: Copy>(&self, _a: A, _b: B, _c: C, _d: D)
    where
        C: Copy,
    {
    }
}

struct StructB;
impl<A, B: Copy> SomethingBehavior<A, B> for StructB
where
    A: Copy,
{
    fn something(&self, _a: A, _b: B) {}
    fn another<C, D: Copy>(&self, _a: A, _b: B, _c: C, _d: D)
    where
        C: Copy,
    {
    }
}

#[static_dispatch::setup]
enum Something {
    A(StructA),
    B(StructB),
}

static_dispatch::implementation!(SomethingBehavior for Something);

#[test]
fn generics() {
    let mut something = Something::A(StructA);
    something.something((), ());
    something.another((), (), (), ());
    something = Something::B(StructB);
    something.something((), ());
    something.another((), (), (), ());
}

// todo: impl for SomethingBehavior<(), i32> ...