reactive-signals 0.1.0-alpha.4

reactive-signals is a dx-first scope-based fine-grained reactive system.
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112

use crate::CellType;

use super::ArrVec;

#[derive(Debug)]
pub(crate) struct SignalSet<const N: usize, T: Ord + Eq + Copy>(CellType<ArrVec<N, T>>);

impl<const N: usize, T: Ord + Eq + Copy> SignalSet<N, T> {
    pub(crate) fn insert(&self, elem: T) {
        self.vec_mut().insert(elem);
    }

    pub(crate) fn clear(&self) {
        self.vec_mut().clear()
    }

    pub(crate) fn retain<F: FnMut(&T) -> bool>(&self, f: F) {
        self.vec_mut().retain(f);
    }

    pub(crate) fn len(&self) -> usize {
        self.vec_ref().len()
    }

    pub(crate) fn is_empty(&self) -> bool {
        self.vec_ref().is_empty()
    }

    pub(crate) fn get(&self, index: usize) -> T {
        self.vec_ref().get(index)
    }
}

#[cfg(not(feature = "unsafe-cell"))]
impl<const N: usize, T: Ord + Eq + Copy> SignalSet<N, T> {
    #[inline]
    fn vec_mut(&self) -> std::cell::RefMut<ArrVec<N, T>> {
        self.0.borrow_mut()
    }

    #[inline]
    fn vec_ref(&self) -> std::cell::Ref<ArrVec<N, T>> {
        self.0.borrow()
    }
}

#[cfg(feature = "unsafe-cell")]
impl<const N: usize, T: Ord + Eq + Copy> SignalSet<N, T> {
    #[inline]
    fn vec_mut(&self) -> &mut ArrVec<N, T> {
        unsafe { &mut *self.0.get() }
    }

    #[inline]
    fn vec_ref(&self) -> &ArrVec<N, T> {
        unsafe { &*self.0.get() }
    }
}

impl<const N: usize, T: Ord + Eq + Copy> Default for SignalSet<N, T> {
    fn default() -> Self {
        Self(CellType::new(Default::default()))
    }
}

#[test]
fn test_retain() {
    use crate::arena_tree::NodeId;
    use crate::primitives::u15Bool;
    use crate::runtimes::ServerRuntime;
    use crate::signals::SignalId;

    let sig1_scope1 = SignalId {
        id: u15Bool::new(1, false),
        sx: NodeId::from(1),
        rt: ServerRuntime::from(4),
    };

    let sig2_scope1 = SignalId {
        id: u15Bool::new(2, false),
        sx: NodeId::from(1),
        rt: ServerRuntime::from(4),
    };

    let sig1_scope2 = SignalId {
        id: u15Bool::new(1, false),
        sx: NodeId::from(2),
        rt: ServerRuntime::from(4),
    };

    let sig2_scope2 = SignalId {
        id: u15Bool::new(2, false),
        sx: NodeId::from(2),
        rt: ServerRuntime::from(4),
    };

    let vec = SignalSet::<3, SignalId<ServerRuntime>>::default();
    vec.insert(sig2_scope1);
    vec.insert(sig1_scope2);
    vec.insert(sig1_scope1);
    vec.insert(sig2_scope2);

    assert_eq!(vec.get(0), sig1_scope1);
    assert_eq!(vec.get(1), sig2_scope1);
    assert_eq!(vec.get(2), sig1_scope2);
    assert_eq!(vec.get(3), sig2_scope2);

    vec.retain(|id| id.sx != NodeId::from(1));

    assert_eq!(vec.get(0), sig1_scope2);
    assert_eq!(vec.get(1), sig2_scope2);
}