1. Added a trait for Signal setter, automatically compatible with both T: Eq and T: !Eq cases.

2. Introduces a prelude module to simplify imports for common types.

Author: fxdmhtt

cache/src/effect.rs

@@ -21,7 +21,7 @@ use crate::effect_stack::{effect_peak, effect_pop, effect_push};
 /// ## Basic usage
 /// ```
 /// use std::{cell::Cell, rc::Rc};
-/// use reactive_cache::Effect;
+/// use reactive_cache::prelude::*;
 ///
 /// let counter = Rc::new(Cell::new(0));
 /// let c_clone = counter.clone();
@@ -37,7 +37,7 @@ use crate::effect_stack::{effect_peak, effect_pop, effect_push};
 /// ## Using inside a struct
 /// ```
 /// use std::{rc::Rc, cell::Cell};
-/// use reactive_cache::{Signal, Memo, Effect};
+/// use reactive_cache::prelude::*;
 ///
 /// struct ViewModel {
 ///     counter: Rc<Signal<i32>>,
@@ -90,7 +90,7 @@ impl Effect {
     /// ## Basic usage
     /// ```
     /// use std::{cell::Cell, rc::Rc};
-    /// use reactive_cache::Effect;
+    /// use reactive_cache::prelude::*;
     ///
     /// let counter = Rc::new(Cell::new(0));
     /// let c_clone = counter.clone();
@@ -106,7 +106,7 @@ impl Effect {
     /// ## Using inside a struct
     /// ```
     /// use std::rc::Rc;
-    /// use reactive_cache::{Signal, Memo, Effect};
+    /// use reactive_cache::prelude::*;
     ///
     /// struct ViewModel {
     ///     counter: Rc<Signal<i32>>,
@@ -165,7 +165,7 @@ impl Effect {
     ///
     /// ```
     /// use std::{cell::Cell, rc::Rc};
-    /// use reactive_cache::Effect;
+    /// use reactive_cache::prelude::*;
     /// use reactive_macros::signal;
     ///
     /// signal!(static mut FLAG: bool = true;);

cache/src/lib.rs

@@ -1,3 +1,6 @@
+#![allow(incomplete_features)]
+#![feature(specialization)]
+
 pub(crate) mod cache;
 pub(crate) mod effect_stack;
 pub(crate) mod memo_stack;
@@ -13,10 +16,17 @@ pub use effect::Effect;
 pub(crate) use memo::IMemo;
 pub use memo::Memo;
 pub(crate) use observable::IObservable;
-pub use signal::Signal;
+pub use signal::{Signal, SignalSetter};
 
 pub use once_cell::unsync::Lazy;
 
+pub mod prelude {
+    pub use crate::Effect;
+    pub use crate::Memo;
+    pub use crate::Signal;
+    pub use crate::SignalSetter as _;
+}
+
 #[cfg(feature = "macros")]
 #[cfg_attr(docsrs, doc(cfg(feature = "macros")))]
 pub use reactive_macros::*;

cache/src/macros.rs

@@ -27,6 +27,7 @@
 /// ```rust
 /// use std::{cell::Cell, rc::Rc};
 /// use reactive_cache::effect;
+/// use reactive_cache::prelude::*;
 /// use reactive_macros::signal;
 ///
 /// signal!(static mut A: i32 = 1;);
@@ -83,9 +84,9 @@
 #[macro_export]
 macro_rules! effect {
     ($f:expr) => {
-        reactive_cache::Effect::new($f)
+        $crate::Effect::new($f)
     };
     ($f:expr, $f2:expr) => {
-        reactive_cache::Effect::new_with_deps($f, $f2)
+        $crate::Effect::new_with_deps($f, $f2)
     };
 }

cache/src/memo.rs

@@ -32,7 +32,7 @@ use crate::{IObservable, memo_stack, store_in_cache, touch};
 /// ## Basic usage
 /// ```
 /// use std::rc::Rc;
-/// use reactive_cache::{Signal, Memo};
+/// use reactive_cache::prelude::*;
 ///
 /// let counter = Signal::new(1);
 /// let double = {
@@ -51,7 +51,7 @@ use crate::{IObservable, memo_stack, store_in_cache, touch};
 /// ## Using inside a struct
 /// ```
 /// use std::rc::Rc;
-/// use reactive_cache::{Signal, Memo};
+/// use reactive_cache::prelude::*;
 ///
 /// struct ViewModel {
 ///     counter: Rc<Signal<i32>>,
@@ -98,7 +98,7 @@ impl<T> Memo<T> {
     /// ```
     /// use std::rc::Rc;
     ///
-    /// use reactive_cache::{Signal, Memo};
+    /// use reactive_cache::prelude::*;
     ///
     /// struct ViewModel {
     ///     a: Rc<Signal<i32>>,

cache/src/signal.rs

@@ -34,7 +34,7 @@ use crate::{Effect, IMemo, IObservable, effect_stack::EffectStackEntry};
 /// ## Basic usage
 /// ```
 /// use std::rc::Rc;
-/// use reactive_cache::Signal;
+/// use reactive_cache::prelude::*;
 ///
 /// let signal = Signal::new(10);
 /// assert_eq!(*signal.get(), 10);
@@ -46,7 +46,7 @@ use crate::{Effect, IMemo, IObservable, effect_stack::EffectStackEntry};
 /// ## Using inside a struct
 /// ```
 /// use std::rc::Rc;
-/// use reactive_cache::Signal;
+/// use reactive_cache::prelude::*;
 ///
 /// struct ViewModel {
 ///     counter: Rc<Signal<i32>>,
@@ -128,7 +128,7 @@ impl<T> Signal<T> {
     /// Basic usage:
     /// ```
     /// use std::rc::Rc;
-    /// use reactive_cache::Signal;
+    /// use reactive_cache::prelude::*;
     ///
     /// let signal = Signal::new(10);
     /// assert_eq!(*signal.get(), 10);
@@ -137,7 +137,7 @@ impl<T> Signal<T> {
     /// Using inside a struct:
     /// ```
     /// use std::rc::Rc;
-    /// use reactive_cache::Signal;
+    /// use reactive_cache::prelude::*;
     ///
     /// struct ViewModel {
     ///     counter: Rc<Signal<i32>>,
@@ -174,7 +174,7 @@ impl<T> Signal<T> {
     /// # Examples
     ///
     /// ```
-    /// use reactive_cache::Signal;
+    /// use reactive_cache::prelude::*;
     ///
     /// let signal = Signal::new(42);
     /// assert_eq!(*signal.get(), 42);
@@ -195,7 +195,46 @@ impl<T> Signal<T> {
 
         self.value.borrow()
     }
+}
+
+pub trait SignalSetter<T> {
+    fn set(&self, value: T) -> bool;
+}
+
+impl<T> SignalSetter<T> for Signal<T> {
+    /// Sets the value of the signal.
+    ///
+    /// For generic types `T` that do not support comparison, they are treated as
+    /// always changing, so the value is always set and `true` is always returned.
+    /// All dependent memos are invalidated and dependent effects were triggered.
+    ///
+    /// # Examples
+    ///
+    /// ```
+    /// use reactive_cache::prelude::*;
+    ///
+    /// #[derive(Debug)]
+    /// struct Num(i32);
+    ///
+    /// let signal = Signal::new(Num(5));
+    /// assert_eq!(signal.set(Num(10)), true);
+    /// assert_eq!(signal.get().0, 10);
+    ///
+    /// // Setting to the same value always return true and trigger all effects.
+    /// assert_eq!(signal.set(Num(10)), true);
+    /// ```
+    default fn set(&self, value: T) -> bool {
+        self.OnPropertyChanging();
+
+        *self.value.borrow_mut() = value;
+
+        self.OnPropertyChanged();
+
+        true
+    }
+}
 
+impl<T: Eq> SignalSetter<T> for Signal<T> {
     /// Sets the value of the signal.
     ///
     /// Returns `true` if the value changed, all dependent memos are
@@ -204,7 +243,7 @@ impl<T> Signal<T> {
     /// # Examples
     ///
     /// ```
-    /// use reactive_cache::Signal;
+    /// use reactive_cache::prelude::*;
     ///
     /// let signal = Signal::new(5);
     /// assert_eq!(signal.set(10), true);
@@ -213,10 +252,7 @@ impl<T> Signal<T> {
     /// // Setting to the same value returns false
     /// assert_eq!(signal.set(10), false);
     /// ```
-    pub fn set(&self, value: T) -> bool
-    where
-        T: Eq,
-    {
+    fn set(&self, value: T) -> bool {
         if *self.value.borrow() == value {
             return false;
         }

macros/src/lib.rs

@@ -16,6 +16,7 @@ use syn::{Ident, ItemFn, ItemStatic, ReturnType, parse_macro_input};
 /// # Examples
 ///
 /// ```rust
+/// use reactive_cache::prelude::*;
 /// use reactive_macros::signal;
 ///
 /// signal!(static mut A: i32 = 10;);
@@ -90,6 +91,7 @@ pub fn signal(input: TokenStream) -> TokenStream {
 /// # Examples
 ///
 /// ```rust
+/// use reactive_cache::prelude::*;
 /// use reactive_macros::memo;
 ///
 /// #[memo]
@@ -180,6 +182,7 @@ pub fn memo(_attr: TokenStream, item: TokenStream) -> TokenStream {
 /// # Examples
 ///
 /// ```rust
+/// use reactive_cache::prelude::*;
 /// use reactive_macros::evaluate;
 ///
 /// fn print(msg: String) {

macros/tests/dep.rs

@@ -2,6 +2,7 @@
 
 use std::cell::Cell;
 
+use reactive_cache::prelude::*;
 use reactive_macros::{memo, signal};
 
 thread_local! {

macros/tests/effect.rs

@@ -3,6 +3,7 @@
 use std::{cell::Cell, rc::Rc};
 
 use reactive_cache::effect;
+use reactive_cache::prelude::*;
 use reactive_macros::{memo, signal};
 
 static mut SOURCE_A_CALLED: i32 = 0;

macros/tests/integration.rs

@@ -3,7 +3,7 @@ use std::{
     rc::{Rc, Weak},
 };
 
-use reactive_cache::{Effect, Memo, Signal};
+use reactive_cache::prelude::*;
 use reactive_macros::{memo, signal};
 
 // ----------------------