edyn 0.3.13

Near drop-in replacement for dynamic-dispatched method calls with up to 10x the speed
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

use edyn::edyn;

struct HasMany<T, Q>(T, Q);
struct HasSome<T>(T);
struct HasNothing;

#[edyn]
trait OptionMethods<T> {
    fn to_std(self) -> Option<T>;
    fn count(&self) -> u8;
}

impl<T, Q> OptionMethods<T> for HasMany<T, Q> {
    fn to_std(self) -> Option<T> {
        Some(self.0)
    }
    fn count(&self) -> u8 {
        2
    }
}

impl<T> OptionMethods<T> for HasSome<T> {
    fn to_std(self) -> Option<T> {
        Some(self.0)
    }
    fn count(&self) -> u8 {
        1
    }
}

impl<T> OptionMethods<T> for HasNothing {
    fn to_std(self) -> Option<T> {
        None
    }
    fn count(&self) -> u8 {
        0
    }
}

// This tests that the dispatch implementation has type annotations
// (i.e. `OptionMethods::<T>::count(inner)`), otherwise the compiler cannot infer the types.
// See issue #26
#[edyn(OptionMethods<T>)]
enum ManySomeOrNone<T, Q> {
    HasMany(HasMany<T, Q>),
    HasSome(HasSome<T>),
    HasNothing,
}

#[test]
fn test_works() {
    let has_many: ManySomeOrNone<&str, usize> = HasMany("abc", 19usize).into();
    assert_eq!(has_many.count(), 2);
    assert_eq!(has_many.to_std(), Some("abc"));

    let has_some: ManySomeOrNone<&str, usize> = HasSome("abc").into();
    assert_eq!(has_some.count(), 1);
    assert_eq!(has_some.to_std(), Some("abc"));

    let has_nothing: ManySomeOrNone<&str, usize> = HasNothing.into();
    assert_eq!(
        <ManySomeOrNone<&str, usize> as OptionMethods<&'static str>>::count(&has_nothing),
        0
    );
    assert_eq!(
        <ManySomeOrNone<&str, usize> as OptionMethods<&'static str>>::to_std(has_nothing),
        None
    );
}