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
use crate::binary::cancel::cancel;
use crate::binary::send::send;
use crate::binary::struct_trait::{end::End, send::Send, session::Session};
use either::Either;
pub type Choose<S1, S2> = Send<Either<<S1 as Session>::Dual, <S2 as Session>::Dual>, End>;
pub fn choose_left<'a, S1, S2>(s: Choose<S1, S2>) -> S1
where
S1: Session + 'a,
S2: Session + 'a,
{
let (here, there) = S1::new();
let s = send(Either::Left(there), s);
cancel(s);
here
}
pub fn choose_right<'a, S1, S2>(s: Choose<S1, S2>) -> S2
where
S1: Session + 'a,
S2: Session + 'a,
{
let (here, there) = S2::new();
let s = send(Either::Right(there), s);
cancel(s);
here
}
#[macro_export]
macro_rules! choose {
($label:path, $session:expr) => {{
let (here, there) = <_ as mpstthree::binary::struct_trait::session::Session>::new();
let s = mpstthree::binary::send::send($label(there), $session);
mpstthree::binary::cancel::cancel(s);
here
}};
}