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
use crate::state_functions::{
get_state_with_topo_id, set_state_with_topo_id, update_state_with_topo_id, use_state,
};
use std::marker::PhantomData;
#[derive(Clone, Default)]
pub struct Mailbox<T> {
pub messages: Vec<(topo::Id, T)>,
}
impl<T> Mailbox<T> {
pub fn new() -> Mailbox<T> {
Mailbox { messages: vec![] }
}
}
#[derive(Clone)]
pub struct MailboxControl<T>
where
T: Clone + 'static,
{
pub id: topo::Id,
_phantom_data: PhantomData<T>,
}
impl<T> MailboxControl<T>
where
T: Clone + 'static,
{
pub fn new(id: topo::Id) -> MailboxControl<T> {
MailboxControl::<T> {
id,
_phantom_data: PhantomData,
}
}
pub fn send<M: Clone + 'static>(&self, other_id: topo::Id, message: M) {
update_state_with_topo_id::<Mailbox<M>, _>(other_id, |mb| {
mb.messages.push((topo::Id::current(), message))
});
}
pub fn pop(&self) -> Option<(topo::Id, T)> {
if let Some(mut mailbox) = get_state_with_topo_id::<Mailbox<T>>(self.id) {
if let Some(msg) = mailbox.messages.pop() {
set_state_with_topo_id(mailbox, self.id);
Some(msg)
} else {
None
}
} else {
None
}
}
}
pub fn use_mailbox<T: Clone>() -> (Mailbox<T>, MailboxControl<T>) {
let (mailbox, _mailbox_access) = use_state(Mailbox::<T>::new);
let ctrl = MailboxControl::new(topo::Id::current());
(mailbox, ctrl)
}