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

#[static_dispatch::setup]
trait ExplicitSelfBehavior {
    fn as_value(self: Self);
    fn as_ref(self: &Self);
    fn as_mut(self: &mut Self);
}

struct A;
impl ExplicitSelfBehavior for A {
    fn as_value(self) {}
    fn as_ref(&self) {}
    fn as_mut(&mut self) {}
}

struct B;
impl ExplicitSelfBehavior for B {
    fn as_value(self: Self) {}
    fn as_ref(self: &Self) {}
    fn as_mut(self: &mut Self) {}
}

#[static_dispatch::setup]
enum ImplicitSelf {
    A(A),
    B(B),
}

static_dispatch::implementation!(ExplicitSelfBehavior for ImplicitSelf);

#[test]
fn explicit_self() {
    let mut value = ImplicitSelf::A(A);
    value.as_mut();
    value.as_ref();
    value.as_value();
    value = ImplicitSelf::B(B);
    value.as_mut();
    value.as_ref();
    value.as_value();
}