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

use crate::{with_runtime, AnyComputation};
use std::{any::Any, cell::RefCell, rc::Rc};

slotmap::new_key_type! {
    /// Unique ID assigned to a signal.
    pub struct NodeId;
}

/// Handle to dispose of a reactive node.
#[derive(Debug, PartialEq, Eq)]
pub struct Disposer(pub(crate) NodeId);

impl Drop for Disposer {
    fn drop(&mut self) {
        let id = self.0;
        _ = with_runtime(|runtime| {
            runtime.cleanup_node(id);
            runtime.dispose_node(id);
        });
    }
}

#[derive(Clone)]
pub(crate) struct ReactiveNode {
    pub value: Option<Rc<RefCell<dyn Any>>>,
    pub state: ReactiveNodeState,
    pub node_type: ReactiveNodeType,
}

impl ReactiveNode {
    pub fn value(&self) -> Rc<RefCell<dyn Any>> {
        self.value
            .clone()
            .expect("ReactiveNode.value to have a value")
    }
}

#[derive(Clone)]
pub(crate) enum ReactiveNodeType {
    Trigger,
    Signal,
    Memo { f: Rc<dyn AnyComputation> },
    Effect { f: Rc<dyn AnyComputation> },
}

#[derive(Copy, Clone, Debug, PartialEq, Eq, Hash, PartialOrd, Ord)]
pub(crate) enum ReactiveNodeState {
    Clean,
    Check,
    Dirty,

    /// Dirty and Marked as visited
    DirtyMarked,
}