reactive_stores 0.5.0-beta2

Stores for holding deeply-nested reactive state while maintaining fine-grained reactive tracking.
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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129

use crate::{
    ArcField, ArcStore, AtIndex, AtKeyed, DerefedField, Field, KeyedIterable,
    KeyedSubfield, Store, StoreField, Subfield,
};
use reactive_graph::{
    owner::Storage,
    traits::{Get, SignalOrFn},
};
use std::{
    fmt::Debug,
    ops::{Deref, DerefMut, Index},
};

impl<Inner, Prev, V> SignalOrFn for Subfield<Inner, Prev, V>
where
    Subfield<Inner, Prev, V>: Get<Value = V>,
    Prev: Send + Sync + 'static,
    Inner: Send + Sync + Clone + 'static,
{
    type Output = V;

    fn run(&self) -> V {
        Get::get(self)
    }
}

impl<Inner, Prev, K, V> SignalOrFn for AtKeyed<Inner, Prev, K, V>
where
    AtKeyed<Inner, Prev, K, V>: Get<Value = V>,
    Prev: Send + Sync + 'static,
    Inner: Send + Sync + Clone + 'static,
    K: Send + Sync + Debug + Clone + 'static,
    V: KeyedIterable,
{
    type Output = V;

    fn run(&self) -> V {
        Get::get(self)
    }
}

impl<Inner, Prev, K, V> SignalOrFn for KeyedSubfield<Inner, Prev, K, V>
where
    KeyedSubfield<Inner, Prev, K, V>: Get<Value = V>,
    Prev: Send + Sync + 'static,
    Inner: Send + Sync + Clone + 'static,
    K: Send + Sync + Debug + Clone + 'static,
    V: KeyedIterable,
{
    type Output = V;

    fn run(&self) -> V {
        Get::get(self)
    }
}

impl<S> SignalOrFn for DerefedField<S>
where
    S: Clone + StoreField + Send + Sync + 'static,
    <S as StoreField>::Value: Deref + DerefMut,
    <<S as StoreField>::Value as Deref>::Target: Sized,
    DerefedField<S>: Get<Value = <<S as StoreField>::Value as Deref>::Target>,
{
    type Output = <<S as StoreField>::Value as Deref>::Target;

    fn run(&self) -> Self::Output {
        Get::get(self)
    }
}

impl<Inner, Prev> SignalOrFn for AtIndex<Inner, Prev>
where
    AtIndex<Inner, Prev>: Get<Value = <Prev as Index<usize>>::Output>,
    Prev: Send + Sync + Index<usize> + 'static,
    <Prev as Index<usize>>::Output: Sized,
    Inner: Send + Sync + Clone + 'static,
{
    type Output = <Prev as Index<usize>>::Output;

    fn run(&self) -> Self::Output {
        Get::get(self)
    }
}

impl<V, S> SignalOrFn for Store<V, S>
where
    Store<V, S>: Get<Value = V>,
    S: Storage<V> + Storage<Option<V>> + Send + Sync + 'static,
{
    type Output = V;

    fn run(&self) -> V {
        Get::get(self)
    }
}

impl<V, S> SignalOrFn for Field<V, S>
where
    Field<V, S>: Get<Value = V>,
    S: Storage<V> + Storage<Option<V>> + Send + Sync + 'static,
{
    type Output = V;

    fn run(&self) -> V {
        Get::get(self)
    }
}

impl<V> SignalOrFn for ArcStore<V>
where
    ArcStore<V>: Get<Value = V>,
{
    type Output = V;

    fn run(&self) -> V {
        Get::get(self)
    }
}

impl<V> SignalOrFn for ArcField<V>
where
    ArcField<V>: Get<Value = V>,
{
    type Output = V;

    fn run(&self) -> V {
        Get::get(self)
    }
}