feat: frender-fn-traits and frender-to-element

Author: EqualMa

Cargo.lock

@@ -0,0 +1,6 @@
+[package]
+name = "frender-fn-traits"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]

packages/frender-fn-traits/Cargo.toml

@@ -23,6 +23,5 @@ impl<F: ?Sized + FnOnce(Arg0, Arg1) -> Out, Arg0, Arg1, Out> FnOnce2<Arg0, Arg1>
 pub trait FnMut2<Arg0, Arg1>: FnOnce2<Arg0, Arg1> + FnMut(Arg0, Arg1) -> Self::Output_ {}
 impl<F: ?Sized + FnMut(Arg0, Arg1) -> Out, Arg0, Arg1, Out> FnMut2<Arg0, Arg1> for F {}
 
-#[allow(dead_code)]
 pub trait Fn2<Arg0, Arg1>: FnMut2<Arg0, Arg1> + Fn(Arg0, Arg1) -> Self::Output_ {}
 impl<F: ?Sized + Fn(Arg0, Arg1) -> Out, Arg0, Arg1, Out> Fn2<Arg0, Arg1> for F {}

packages/frender/src/fn_traits.rs packages/frender-fn-traits/src/lib.rspackages/frender/src/fn_traits.rs renamed to packages/frender-fn-traits/src/lib.rs

@@ -0,0 +1,12 @@
+[package]
+name = "frender-to-element"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]
+frender-fn-traits = { version = "0.1.0", path = "../frender-fn-traits" }
+frender-macro-rules = { version = "0.1.0", path = "../frender-macro-rules" }
+frender-reactive-value = { version = "0.1.0", path = "../frender-reactive-value" }
+
+[dev-dependencies]
+frender-element = { path = "../frender-element" }

packages/frender-to-element/Cargo.toml

@@ -0,0 +1,60 @@
+use frender_macro_rules::impl_many;
+use frender_reactive_value::{non_reactive::Uncached, temp_into_static::TempIntoStatic};
+
+use super::ToElement;
+
+// scalar
+impl_many!(
+    impl<__> ToElement
+        for each_of![
+            i8, u8, i16, u16, i32, u32, i64, u64, i128, u128, isize, usize, f32, f64, //
+            char,
+        ]
+    {
+        type ToElement<'a>
+            = Self
+        where
+            Self: 'a;
+        fn to_element(&self) -> Self {
+            *self
+        }
+    }
+);
+
+// acts like `Uncached<TempIntoStatic<&'a str>>`
+impl_many!(
+    impl<__> ToElement
+        for each_of![
+            //
+            str,
+            String,
+            std::borrow::Cow<'_, str>,
+        ]
+    {
+        type ToElement<'a>
+            = Uncached<TempIntoStatic<&'a str>>
+        where
+            Self: 'a;
+        fn to_element(&self) -> Self::ToElement<'_> {
+            Uncached(TempIntoStatic(self))
+        }
+    }
+);
+
+// CheapClone
+impl_many!(
+    impl<__> ToElement
+        for each_of![
+            std::rc::Rc<str>, //
+            std::sync::Arc<str>,
+        ]
+    {
+        type ToElement<'a>
+            = Uncached<TempIntoStatic<&'a Self>>
+        where
+            Self: 'a;
+        fn to_element(&self) -> Self::ToElement<'_> {
+            Uncached(TempIntoStatic(self))
+        }
+    }
+);

packages/frender-to-element/src/imps.rs

@@ -0,0 +1,37 @@
+pub use self::with::{RefToElementWithFn, ToElementWithFn};
+
+mod with;
+
+pub trait ToElement {
+    type ToElement<'a>
+    where
+        Self: 'a;
+    fn to_element(&self) -> Self::ToElement<'_>;
+}
+
+impl<E: ?Sized + ToElement> ToElement for &E {
+    type ToElement<'a>
+        = E::ToElement<'a>
+    where
+        Self: 'a;
+
+    fn to_element(&self) -> Self::ToElement<'_> {
+        E::to_element(self)
+    }
+}
+
+/* TODO: export ToCsrElement and ToSsrElement?
+use frender_html::csr::CsrElement;
+use frender_ssr::SsrElement;
+
+pub trait ToCsrElement: for<'a> ToElement<ToElement<'a>: CsrElement> {}
+impl<E: ?Sized + for<'a> ToElement<ToElement<'a>: CsrElement>> ToCsrElement for E {}
+
+pub trait ToSsrElement: for<'a> ToElement<ToElement<'a>: SsrElement> {}
+impl<E: ?Sized + for<'a> ToElement<ToElement<'a>: SsrElement>> ToSsrElement for E {}
+*/
+
+mod imps;
+
+#[cfg(test)]
+mod tests;

packages/frender-to-element/src/lib.rs

@@ -0,0 +1,68 @@
+use std::{borrow::Cow, rc::Rc, sync::Arc};
+
+use super::ToElement;
+use frender_element::{CsrElement, Element, SsrElement};
+use frender_reactive_value::{non_reactive::Uncached, temp_into_static::TempIntoStatic};
+
+trait ToElementLikeUncachedTempIntoStatic<V: ?Sized + 'static>:
+    for<'a> ToElement<
+    ToElement<'a>: Element<
+        HtmlChildren = <Uncached<TempIntoStatic<&'static V>> as SsrElement>::HtmlChildren,
+        RenderStateKind = <Uncached<TempIntoStatic<&'static V>> as CsrElement>::RenderStateKind,
+    >,
+>
+where
+    TempIntoStatic<&'static V>: SsrElement,
+    Uncached<TempIntoStatic<&'static V>>: CsrElement,
+{
+}
+
+impl<T: ?Sized, V: ?Sized + 'static> ToElementLikeUncachedTempIntoStatic<V> for T
+where
+    T: for<'a> ToElement<
+        ToElement<'a>: Element<
+            HtmlChildren = <Uncached<TempIntoStatic<&'static V>> as SsrElement>::HtmlChildren,
+            RenderStateKind = <Uncached<TempIntoStatic<&'static V>> as CsrElement>::RenderStateKind,
+        >,
+    >,
+    TempIntoStatic<&'static V>: SsrElement,
+    Uncached<TempIntoStatic<&'static V>>: CsrElement,
+{
+}
+
+const fn type_assert()
+where
+    str: ToElementLikeUncachedTempIntoStatic<str>,
+    String: ToElementLikeUncachedTempIntoStatic<str>,
+    Cow<'static, str>: ToElementLikeUncachedTempIntoStatic<str>,
+    (): TypeAssertCowStr,
+    Rc<str>: ToElementLikeUncachedTempIntoStatic<Rc<str>>,
+    Arc<str>: ToElementLikeUncachedTempIntoStatic<Arc<str>>,
+{
+}
+
+const _: () = type_assert();
+
+trait TypeAssertCowStr {
+    type Assert<'a>: ToElement<
+        ToElement<'a>: Element<
+            HtmlChildren = <Uncached<TempIntoStatic<&'static str>> as SsrElement>::HtmlChildren,
+            RenderStateKind = <Uncached<TempIntoStatic<&'static str>> as CsrElement>::RenderStateKind,
+        >,
+    >
+    where
+        Self: 'a;
+}
+
+impl TypeAssertCowStr for () {
+    type Assert<'a>
+        = Cow<'a, str>
+    where
+        Self: 'a;
+}
+
+// use the above code
+#[test]
+const fn compile_only() {
+    type_assert()
+}

packages/frender-to-element/src/tests.rs

@@ -0,0 +1,39 @@
+use frender_fn_traits::{Fn1, FnOnce1};
+
+use super::ToElement;
+
+#[derive(Debug, Clone, Copy)]
+pub struct ToElementWithFn<E, F: for<'e> Fn1<&'e E>>(pub E, pub F);
+
+impl<E, F: for<'e> Fn1<&'e E>> ToElement for ToElementWithFn<E, F> {
+    type ToElement<'a>
+        = <F as FnOnce1<&'a E>>::Output_
+    where
+        Self: 'a;
+
+    fn to_element(&self) -> Self::ToElement<'_> {
+        (self.1)(&self.0)
+    }
+}
+
+#[derive(Debug)]
+pub struct RefToElementWithFn<'e, E: ?Sized, F: ?Sized + Fn1<&'e E>>(pub &'e E, pub F);
+
+impl<'e, E, F: Copy + Fn1<&'e E>> Copy for RefToElementWithFn<'e, E, F> {}
+
+impl<'e, E, F: Clone + Fn1<&'e E>> Clone for RefToElementWithFn<'e, E, F> {
+    fn clone(&self) -> Self {
+        Self(self.0, self.1.clone())
+    }
+}
+
+impl<'e, E: ?Sized, F: ?Sized + Fn1<&'e E>> ToElement for RefToElementWithFn<'e, E, F> {
+    type ToElement<'a>
+        = <F as FnOnce1<&'e E>>::Output_
+    where
+        Self: 'a;
+
+    fn to_element(&self) -> Self::ToElement<'_> {
+        (self.1)(self.0)
+    }
+}

packages/frender-to-element/src/with.rs

@@ -33,6 +33,8 @@ frender-reactive-value = { version = "0.1.0", path = "../frender-reactive-value"
 frender-ui-handles = { version = "0.1.0", path = "../frender-ui-handles", features = [
     "CursorPlaceholdersSurrounded",
 ], optional = true }
+frender-fn-traits = { version = "0.1.0", path = "../frender-fn-traits" }
+frender-to-element = { version = "0.1.0", path = "../frender-to-element", optional = true }
 
 [dependencies.frender-hook-element]
 path = "../frender-hook-element"
@@ -98,7 +100,7 @@ csr = [
 ]
 RenderWith = ["dep:frender-render-with"]
 KeyedElements = ["dep:frender-keyed-elements"]
-ToElement = []
+ToElement = ["dep:frender-to-element"]
 context = ["dep:frender-context"]
 hooks = ["dep:hooks", "frender-context?/hooks"]
 SyncedCollection = []

packages/frender/Cargo.toml

@@ -5,12 +5,10 @@ pub mod hooks_ext;
 
 pub mod elements;
 
-mod fn_traits;
+use frender_fn_traits as fn_traits; // TODO: refactor
 
 #[cfg(feature = "ToElement")]
-mod to_element;
-#[cfg(feature = "ToElement")]
-pub use to_element::{RefToElementWithFn, ToElement, ToElementWithFn};
+pub use frender_to_element::{RefToElementWithFn, ToElement, ToElementWithFn};
 
 #[cfg(feature = "SyncedCollection")]
 pub use elements::synced_collection::{SyncedCollection, SyncedVec};