object-rainbow 0.0.0-a.66

distributed object model
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93

use crate::map_extra::{SmExtra, StaticMap};

pub struct StaticToTuple0;

impl<T> StaticMap<T> for StaticToTuple0 {
    type Mapped = ();

    fn static_map(_: T) -> Self::Mapped {}
}

pub type ToTuple0 = SmExtra<StaticToTuple0>;

pub struct StaticToTuple2;

impl<T: Clone> StaticMap<T> for StaticToTuple2 {
    type Mapped = (T, T);

    fn static_map(x: T) -> Self::Mapped {
        (x.clone(), x)
    }
}

pub type ToTuple2 = SmExtra<StaticToTuple2>;

pub struct StaticExtra0;

impl<A, B> StaticMap<(A, B)> for StaticExtra0 {
    type Mapped = A;

    fn static_map((a, _): (A, B)) -> Self::Mapped {
        a
    }
}

pub type Extra0 = SmExtra<StaticExtra0>;

pub struct StaticExtra1;

impl<A, B> StaticMap<(A, B)> for StaticExtra1 {
    type Mapped = B;

    fn static_map((_, b): (A, B)) -> Self::Mapped {
        b
    }
}

pub type Extra1 = SmExtra<StaticExtra1>;

pub struct StaticSwap;

impl<A, B> StaticMap<(A, B)> for StaticSwap {
    type Mapped = (B, A);

    fn static_map((a, b): (A, B)) -> Self::Mapped {
        (b, a)
    }
}

pub type Swap = SmExtra<StaticSwap>;

pub struct StaticOneCrossN;

impl<A: Clone, B, T: IntoIterator<Item = B>> StaticMap<(A, T)> for StaticOneCrossN {
    type Mapped = Vec<(A, B)>;

    fn static_map((a, b): (A, T)) -> Self::Mapped {
        b.into_iter().map(|b| (a.clone(), b)).collect()
    }
}

pub type OneCrossN = SmExtra<StaticOneCrossN>;

#[allow(clippy::repr_packed_without_abi)]
mod private {
    use ghost::phantom;

    #[phantom]
    pub struct StaticMap1<M>;
}
#[doc(hidden)]
pub use self::private::*;

pub type StaticMap1<M> = private::StaticMap1<M>;

impl<A, B, M: StaticMap<B>> StaticMap<(A, B)> for StaticMap1<M> {
    type Mapped = (A, M::Mapped);

    fn static_map((a, b): (A, B)) -> Self::Mapped {
        (a, M::static_map(b))
    }
}

pub type Map1<M> = SmExtra<StaticMap1<M>>;