2021-02-03 07:26:04 +00:00
|
|
|
//! Virtual Node Support
|
|
|
|
//!
|
2021-09-01 04:57:04 +00:00
|
|
|
//! VNodes represent lazily-constructed VDom trees that support diffing and event handlers. These VNodes should be *very*
|
|
|
|
//! cheap and *very* fast to construct - building a full tree should be quick.
|
|
|
|
|
|
|
|
use crate::innerlude::{
|
|
|
|
empty_cell, Context, DomTree, ElementId, Properties, Scope, ScopeId, SuspendedContext,
|
|
|
|
SyntheticEvent, FC,
|
2021-03-11 00:42:10 +00:00
|
|
|
};
|
2021-07-29 22:04:09 +00:00
|
|
|
use bumpalo::{boxed::Box as BumpBox, Bump};
|
2021-06-03 14:42:28 +00:00
|
|
|
use std::{
|
2021-07-24 04:29:23 +00:00
|
|
|
cell::{Cell, RefCell},
|
2021-06-23 05:44:48 +00:00
|
|
|
fmt::{Arguments, Debug, Formatter},
|
2021-07-12 22:19:27 +00:00
|
|
|
marker::PhantomData,
|
2021-06-03 14:42:28 +00:00
|
|
|
rc::Rc,
|
|
|
|
};
|
2021-02-21 02:59:16 +00:00
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// A composable "VirtualNode" to declare a User Interface in the Dioxus VirtualDOM.
|
2021-02-03 07:26:04 +00:00
|
|
|
///
|
2021-09-01 04:57:04 +00:00
|
|
|
/// VNodes are designed to be lightweight and used with with a bump alloactor. To create a VNode, you can use either of:
|
|
|
|
/// - the [`rsx`] macro
|
|
|
|
/// - the [`html`] macro
|
|
|
|
/// - the [`NodeFactory`] API
|
2021-08-20 14:34:41 +00:00
|
|
|
pub enum VNode<'src> {
|
2021-09-01 04:57:04 +00:00
|
|
|
/// Text VNodes simply bump-allocated (or static) string slices
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
2021-09-10 00:58:48 +00:00
|
|
|
/// ```
|
2021-09-01 04:57:04 +00:00
|
|
|
/// let node = cx.render(rsx!{ "hello" }).unwrap();
|
|
|
|
///
|
|
|
|
/// if let VNode::Text(vtext) = node {
|
|
|
|
/// assert_eq!(vtext.text, "hello");
|
|
|
|
/// assert_eq!(vtext.dom_id.get(), None);
|
|
|
|
/// assert_eq!(vtext.is_static, true);
|
|
|
|
/// }
|
|
|
|
/// ```
|
2021-06-20 05:52:32 +00:00
|
|
|
Text(VText<'src>),
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// Element VNodes are VNodes that may contain attributes, listeners, a key, a tag, and children.
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```rust
|
|
|
|
/// let node = cx.render(rsx!{
|
|
|
|
/// div {
|
|
|
|
/// key: "a",
|
|
|
|
/// onclick: |e| log::info!("clicked"),
|
|
|
|
/// hidden: "true",
|
|
|
|
/// style: { background_color: "red" }
|
|
|
|
/// "hello"
|
|
|
|
/// }
|
|
|
|
/// }).unwrap();
|
|
|
|
/// if let VNode::Element(velement) = node {
|
|
|
|
/// assert_eq!(velement.tag_name, "div");
|
|
|
|
/// assert_eq!(velement.namespace, None);
|
|
|
|
/// assert_eq!(velement.key, Some("a));
|
|
|
|
/// }
|
|
|
|
/// ```
|
2021-07-12 22:19:27 +00:00
|
|
|
Element(&'src VElement<'src>),
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// Fragment nodes may contain many VNodes without a single root.
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```rust
|
|
|
|
/// rsx!{
|
|
|
|
/// a {}
|
|
|
|
/// link {}
|
|
|
|
/// style {}
|
|
|
|
/// "asd"
|
|
|
|
/// Example {}
|
|
|
|
/// }
|
|
|
|
/// ```
|
2021-07-12 22:19:27 +00:00
|
|
|
Fragment(VFragment<'src>),
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// Component nodes represent a mounted component with props, children, and a key.
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```rust
|
|
|
|
/// fn Example(cx: Context<()>) -> DomTree {
|
|
|
|
/// todo!()
|
|
|
|
/// }
|
|
|
|
///
|
|
|
|
/// let node = cx.render(rsx!{
|
|
|
|
/// Example {}
|
|
|
|
/// }).unwrap();
|
|
|
|
///
|
|
|
|
/// if let VNode::Component(vcomp) = node {
|
|
|
|
/// assert_eq!(vcomp.user_fc, Example as *const ());
|
|
|
|
/// }
|
|
|
|
/// ```
|
2021-06-01 22:33:15 +00:00
|
|
|
Component(&'src VComponent<'src>),
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// Suspended VNodes represent chunks of the UI tree that are not yet ready to be displayed.
|
|
|
|
///
|
|
|
|
/// These nodes currently can only be constructed via the [`use_suspense`] hook.
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```rust
|
|
|
|
/// rsx!{
|
|
|
|
/// }
|
|
|
|
/// ```
|
2021-08-25 20:40:18 +00:00
|
|
|
Suspended(&'src VSuspended<'src>),
|
2021-07-29 22:04:09 +00:00
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// Anchors are a type of placeholder VNode used when fragments don't contain any children.
|
|
|
|
///
|
|
|
|
/// Anchors cannot be directly constructed via public APIs.
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```rust
|
|
|
|
/// let node = cx.render(rsx! ( Fragment {} )).unwrap();
|
|
|
|
/// if let VNode::Fragment(frag) = node {
|
|
|
|
/// let root = &frag.children[0];
|
|
|
|
/// assert_eq!(root, VNode::Anchor);
|
|
|
|
/// }
|
|
|
|
/// ```
|
2021-07-29 22:04:09 +00:00
|
|
|
Anchor(VAnchor),
|
|
|
|
}
|
|
|
|
|
2021-08-20 14:34:41 +00:00
|
|
|
impl<'src> VNode<'src> {
|
2021-09-01 04:57:04 +00:00
|
|
|
/// Get the VNode's "key" used in the keyed diffing algorithm.
|
2021-08-20 14:34:41 +00:00
|
|
|
pub fn key(&self) -> Option<&'src str> {
|
|
|
|
match &self {
|
2021-08-21 17:24:47 +00:00
|
|
|
VNode::Element(el) => el.key,
|
|
|
|
VNode::Component(c) => c.key,
|
|
|
|
VNode::Fragment(f) => f.key,
|
|
|
|
VNode::Text(_t) => None,
|
2021-08-27 13:53:26 +00:00
|
|
|
VNode::Suspended(_s) => None,
|
|
|
|
VNode::Anchor(_f) => None,
|
2021-08-20 14:34:41 +00:00
|
|
|
}
|
|
|
|
}
|
2021-09-01 04:57:04 +00:00
|
|
|
|
|
|
|
/// Get the ElementID of the mounted VNode.
|
|
|
|
///
|
|
|
|
/// Panics if the mounted ID is None or if the VNode is not represented by a single Element.
|
|
|
|
pub fn mounted_id(&self) -> ElementId {
|
|
|
|
self.try_mounted_id().unwrap()
|
2021-08-20 14:34:41 +00:00
|
|
|
}
|
2021-09-01 04:57:04 +00:00
|
|
|
|
|
|
|
/// Try to get the ElementID of the mounted VNode.
|
|
|
|
///
|
|
|
|
/// Returns None if the VNode is not mounted, or if the VNode cannot be presented by a mounted ID (Fragment/Component)
|
|
|
|
pub fn try_mounted_id(&self) -> Option<ElementId> {
|
2021-08-20 14:34:41 +00:00
|
|
|
match &self {
|
|
|
|
VNode::Text(el) => el.dom_id.get(),
|
|
|
|
VNode::Element(el) => el.dom_id.get(),
|
|
|
|
VNode::Anchor(el) => el.dom_id.get(),
|
2021-09-01 04:57:04 +00:00
|
|
|
VNode::Suspended(el) => el.dom_id.get(),
|
2021-08-20 14:34:41 +00:00
|
|
|
VNode::Fragment(_) => None,
|
|
|
|
VNode::Component(_) => None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// A placeholder node only generated when Fragments don't have any children.
|
2021-07-29 22:04:09 +00:00
|
|
|
pub struct VAnchor {
|
|
|
|
pub dom_id: Cell<Option<ElementId>>,
|
2021-06-01 22:33:15 +00:00
|
|
|
}
|
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// A bump-alloacted string slice and metadata.
|
2021-06-20 05:52:32 +00:00
|
|
|
pub struct VText<'src> {
|
|
|
|
pub text: &'src str,
|
2021-08-27 13:53:26 +00:00
|
|
|
|
2021-07-29 22:04:09 +00:00
|
|
|
pub dom_id: Cell<Option<ElementId>>,
|
2021-08-27 13:53:26 +00:00
|
|
|
|
2021-07-11 18:49:52 +00:00
|
|
|
pub is_static: bool,
|
2021-06-20 05:52:32 +00:00
|
|
|
}
|
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// A list of VNodes with no single root.
|
2021-07-12 22:19:27 +00:00
|
|
|
pub struct VFragment<'src> {
|
2021-08-20 14:34:41 +00:00
|
|
|
pub key: Option<&'src str>,
|
2021-08-27 13:53:26 +00:00
|
|
|
|
|
|
|
pub children: &'src [VNode<'src>],
|
|
|
|
|
2021-07-13 03:44:20 +00:00
|
|
|
pub is_static: bool,
|
2021-07-12 22:19:27 +00:00
|
|
|
}
|
2021-06-26 01:15:33 +00:00
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// An element like a "div" with children, listeners, and attributes.
|
2021-08-27 13:53:26 +00:00
|
|
|
pub struct VElement<'a> {
|
|
|
|
pub tag_name: &'static str,
|
|
|
|
|
|
|
|
pub namespace: Option<&'static str>,
|
|
|
|
|
|
|
|
pub key: Option<&'a str>,
|
|
|
|
|
|
|
|
pub dom_id: Cell<Option<ElementId>>,
|
|
|
|
|
|
|
|
pub listeners: &'a [Listener<'a>],
|
|
|
|
|
|
|
|
pub attributes: &'a [Attribute<'a>],
|
|
|
|
|
|
|
|
pub children: &'a [VNode<'a>],
|
|
|
|
}
|
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// A trait for any generic Dioxus Element.
|
|
|
|
///
|
|
|
|
/// This trait provides the ability to use custom elements in the `rsx!` macro.
|
|
|
|
///
|
|
|
|
/// ```rust
|
|
|
|
/// struct my_element;
|
|
|
|
///
|
|
|
|
/// impl DioxusElement for my_element {
|
|
|
|
/// const TAG_NAME: "my_element";
|
|
|
|
/// const NAME_SPACE: None;
|
|
|
|
/// }
|
|
|
|
///
|
|
|
|
/// let _ = rsx!{
|
|
|
|
/// my_element {}
|
|
|
|
/// };
|
|
|
|
/// ```
|
2021-07-12 22:19:27 +00:00
|
|
|
pub trait DioxusElement {
|
|
|
|
const TAG_NAME: &'static str;
|
|
|
|
const NAME_SPACE: Option<&'static str>;
|
2021-07-13 04:56:39 +00:00
|
|
|
#[inline]
|
2021-07-12 22:19:27 +00:00
|
|
|
fn tag_name(&self) -> &'static str {
|
|
|
|
Self::TAG_NAME
|
|
|
|
}
|
2021-07-13 04:56:39 +00:00
|
|
|
#[inline]
|
|
|
|
fn namespace(&self) -> Option<&'static str> {
|
|
|
|
Self::NAME_SPACE
|
|
|
|
}
|
2021-07-12 22:19:27 +00:00
|
|
|
}
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-03-11 00:42:10 +00:00
|
|
|
/// An attribute on a DOM node, such as `id="my-thing"` or
|
|
|
|
/// `href="https://example.com"`.
|
2021-03-12 21:58:30 +00:00
|
|
|
#[derive(Clone, Debug)]
|
2021-03-11 00:42:10 +00:00
|
|
|
pub struct Attribute<'a> {
|
|
|
|
pub name: &'static str,
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-03-11 00:42:10 +00:00
|
|
|
pub value: &'a str,
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-07-11 18:49:52 +00:00
|
|
|
pub is_static: bool,
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-07-12 22:19:27 +00:00
|
|
|
pub is_volatile: bool,
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
// Doesn't exist in the html spec.
|
|
|
|
// Used in Dioxus to denote "style" tags.
|
2021-07-07 03:04:33 +00:00
|
|
|
pub namespace: Option<&'static str>,
|
2021-03-11 00:42:10 +00:00
|
|
|
}
|
2021-02-03 07:26:04 +00:00
|
|
|
|
2021-03-11 00:42:10 +00:00
|
|
|
/// An event listener.
|
2021-07-12 22:19:27 +00:00
|
|
|
/// IE onclick, onkeydown, etc
|
2021-03-11 00:42:10 +00:00
|
|
|
pub struct Listener<'bump> {
|
2021-07-23 14:27:43 +00:00
|
|
|
pub mounted_node: Cell<Option<ElementId>>,
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// The type of event to listen for.
|
|
|
|
///
|
2021-09-10 00:58:48 +00:00
|
|
|
/// IE "click" - whatever the renderer needs to attach the listener by name.
|
2021-09-01 04:57:04 +00:00
|
|
|
pub event: &'static str,
|
|
|
|
|
2021-08-25 20:40:18 +00:00
|
|
|
pub(crate) callback: RefCell<Option<BumpBox<'bump, dyn FnMut(SyntheticEvent) + 'bump>>>,
|
2021-03-11 00:42:10 +00:00
|
|
|
}
|
2021-02-03 07:26:04 +00:00
|
|
|
|
2021-07-12 22:19:27 +00:00
|
|
|
/// Virtual Components for custom user-defined components
|
|
|
|
/// Only supports the functional syntax
|
|
|
|
pub struct VComponent<'src> {
|
2021-08-20 14:34:41 +00:00
|
|
|
pub key: Option<&'src str>,
|
|
|
|
|
2021-08-27 13:53:26 +00:00
|
|
|
pub associated_scope: Cell<Option<ScopeId>>,
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
pub is_static: bool,
|
|
|
|
|
|
|
|
// Function pointer to the FC that was used to generate this component
|
|
|
|
pub user_fc: *const (),
|
|
|
|
|
2021-09-13 04:59:08 +00:00
|
|
|
pub(crate) caller: &'src dyn for<'b> Fn(&'b Scope) -> DomTree<'b>,
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-07-13 03:44:20 +00:00
|
|
|
pub(crate) children: &'src [VNode<'src>],
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-07-13 03:44:20 +00:00
|
|
|
pub(crate) comparator: Option<&'src dyn Fn(&VComponent) -> bool>,
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-08-08 19:15:16 +00:00
|
|
|
pub(crate) drop_props: RefCell<Option<BumpBox<'src, dyn FnMut()>>>,
|
2021-07-27 15:28:05 +00:00
|
|
|
|
2021-08-27 13:53:26 +00:00
|
|
|
pub(crate) can_memoize: bool,
|
2021-08-08 19:15:16 +00:00
|
|
|
|
2021-08-27 13:53:26 +00:00
|
|
|
// Raw pointer into the bump arena for the props of the component
|
2021-07-13 03:44:20 +00:00
|
|
|
pub(crate) raw_props: *const (),
|
2021-07-12 22:19:27 +00:00
|
|
|
}
|
2021-02-03 07:26:04 +00:00
|
|
|
|
2021-08-25 20:40:18 +00:00
|
|
|
pub struct VSuspended<'a> {
|
|
|
|
pub task_id: u64,
|
2021-08-27 13:53:26 +00:00
|
|
|
pub dom_id: Cell<Option<ElementId>>,
|
2021-09-10 00:58:48 +00:00
|
|
|
pub callback: RefCell<Option<BumpBox<'a, dyn FnMut(SuspendedContext<'a>) -> DomTree<'a>>>>,
|
2021-07-29 22:04:09 +00:00
|
|
|
}
|
|
|
|
|
2021-07-12 22:19:27 +00:00
|
|
|
/// This struct provides an ergonomic API to quickly build VNodes.
|
|
|
|
///
|
|
|
|
/// NodeFactory is used to build VNodes in the component's memory space.
|
|
|
|
/// This struct adds metadata to the final VNode about listeners, attributes, and children
|
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
pub struct NodeFactory<'a> {
|
2021-07-29 22:04:09 +00:00
|
|
|
pub(crate) bump: &'a Bump,
|
2021-03-11 00:42:10 +00:00
|
|
|
}
|
|
|
|
|
2021-07-12 22:19:27 +00:00
|
|
|
impl<'a> NodeFactory<'a> {
|
2021-07-29 22:04:09 +00:00
|
|
|
pub fn new(bump: &'a Bump) -> NodeFactory<'a> {
|
|
|
|
NodeFactory { bump }
|
|
|
|
}
|
|
|
|
|
2021-03-11 00:42:10 +00:00
|
|
|
#[inline]
|
2021-07-12 22:19:27 +00:00
|
|
|
pub fn bump(&self) -> &'a bumpalo::Bump {
|
2021-07-29 22:04:09 +00:00
|
|
|
&self.bump
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn render_directly<F>(&self, lazy_nodes: LazyNodes<'a, F>) -> DomTree<'a>
|
|
|
|
where
|
|
|
|
F: FnOnce(NodeFactory<'a>) -> VNode<'a>,
|
|
|
|
{
|
|
|
|
Some(lazy_nodes.into_vnode(NodeFactory { bump: self.bump }))
|
2021-07-23 14:27:43 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn unstable_place_holder() -> VNode<'static> {
|
2021-08-20 14:34:41 +00:00
|
|
|
VNode::Text(VText {
|
|
|
|
text: "",
|
|
|
|
dom_id: empty_cell(),
|
|
|
|
is_static: true,
|
|
|
|
})
|
2021-02-03 07:26:04 +00:00
|
|
|
}
|
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// Directly pass in text blocks without the need to use the format_args macro.
|
2021-07-23 14:27:43 +00:00
|
|
|
pub fn static_text(&self, text: &'static str) -> VNode<'a> {
|
2021-08-20 14:34:41 +00:00
|
|
|
VNode::Text(VText {
|
|
|
|
dom_id: empty_cell(),
|
|
|
|
text,
|
|
|
|
is_static: true,
|
|
|
|
})
|
2021-02-03 07:26:04 +00:00
|
|
|
}
|
|
|
|
|
2021-07-15 08:09:28 +00:00
|
|
|
/// Parses a lazy text Arguments and returns a string and a flag indicating if the text is 'static
|
|
|
|
///
|
|
|
|
/// Text that's static may be pointer compared, making it cheaper to diff
|
2021-07-12 22:19:27 +00:00
|
|
|
pub fn raw_text(&self, args: Arguments) -> (&'a str, bool) {
|
|
|
|
match args.as_str() {
|
|
|
|
Some(static_str) => (static_str, true),
|
|
|
|
None => {
|
|
|
|
use bumpalo::core_alloc::fmt::Write;
|
2021-09-01 04:57:04 +00:00
|
|
|
let mut str_buf = bumpalo::collections::String::new_in(self.bump());
|
|
|
|
str_buf.write_fmt(args).unwrap();
|
|
|
|
(str_buf.into_bump_str(), false)
|
2021-07-12 22:19:27 +00:00
|
|
|
}
|
|
|
|
}
|
2021-03-11 00:42:10 +00:00
|
|
|
}
|
2021-07-02 05:30:52 +00:00
|
|
|
|
2021-07-12 22:19:27 +00:00
|
|
|
/// Create some text that's allocated along with the other vnodes
|
2021-07-15 08:09:28 +00:00
|
|
|
///
|
2021-07-12 22:19:27 +00:00
|
|
|
pub fn text(&self, args: Arguments) -> VNode<'a> {
|
|
|
|
let (text, is_static) = self.raw_text(args);
|
2021-08-20 14:34:41 +00:00
|
|
|
|
|
|
|
VNode::Text(VText {
|
|
|
|
text,
|
|
|
|
is_static,
|
|
|
|
dom_id: empty_cell(),
|
|
|
|
})
|
2021-07-02 05:30:52 +00:00
|
|
|
}
|
2021-03-11 00:42:10 +00:00
|
|
|
|
2021-07-24 04:29:23 +00:00
|
|
|
pub fn element<L, A, V>(
|
2021-07-12 22:19:27 +00:00
|
|
|
&self,
|
2021-07-15 08:09:28 +00:00
|
|
|
el: impl DioxusElement,
|
2021-07-24 04:29:23 +00:00
|
|
|
listeners: L,
|
|
|
|
attributes: A,
|
|
|
|
children: V,
|
2021-07-30 14:35:47 +00:00
|
|
|
key: Option<Arguments>,
|
2021-07-24 04:29:23 +00:00
|
|
|
) -> VNode<'a>
|
|
|
|
where
|
|
|
|
L: 'a + AsRef<[Listener<'a>]>,
|
|
|
|
A: 'a + AsRef<[Attribute<'a>]>,
|
|
|
|
V: 'a + AsRef<[VNode<'a>]>,
|
|
|
|
{
|
2021-07-15 08:09:28 +00:00
|
|
|
self.raw_element(
|
|
|
|
el.tag_name(),
|
|
|
|
el.namespace(),
|
|
|
|
listeners,
|
|
|
|
attributes,
|
|
|
|
children,
|
|
|
|
key,
|
|
|
|
)
|
2021-07-12 22:19:27 +00:00
|
|
|
}
|
2021-06-06 03:47:54 +00:00
|
|
|
|
2021-07-24 04:29:23 +00:00
|
|
|
pub fn raw_element<L, A, V>(
|
2021-07-13 04:56:39 +00:00
|
|
|
&self,
|
2021-09-01 04:57:04 +00:00
|
|
|
tag_name: &'static str,
|
2021-07-15 08:09:28 +00:00
|
|
|
namespace: Option<&'static str>,
|
2021-07-24 04:29:23 +00:00
|
|
|
listeners: L,
|
|
|
|
attributes: A,
|
|
|
|
children: V,
|
2021-07-30 14:35:47 +00:00
|
|
|
key: Option<Arguments>,
|
2021-07-24 04:29:23 +00:00
|
|
|
) -> VNode<'a>
|
|
|
|
where
|
|
|
|
L: 'a + AsRef<[Listener<'a>]>,
|
|
|
|
A: 'a + AsRef<[Attribute<'a>]>,
|
|
|
|
V: 'a + AsRef<[VNode<'a>]>,
|
|
|
|
{
|
|
|
|
let listeners: &'a L = self.bump().alloc(listeners);
|
|
|
|
let listeners = listeners.as_ref();
|
|
|
|
|
|
|
|
let attributes: &'a A = self.bump().alloc(attributes);
|
|
|
|
let attributes = attributes.as_ref();
|
|
|
|
|
|
|
|
let children: &'a V = self.bump().alloc(children);
|
|
|
|
let children = children.as_ref();
|
|
|
|
|
2021-07-30 14:35:47 +00:00
|
|
|
let key = key.map(|f| self.raw_text(f).0);
|
|
|
|
|
2021-08-20 14:34:41 +00:00
|
|
|
VNode::Element(self.bump().alloc(VElement {
|
2021-09-01 04:57:04 +00:00
|
|
|
tag_name,
|
2021-07-13 04:56:39 +00:00
|
|
|
key,
|
2021-08-20 14:34:41 +00:00
|
|
|
namespace,
|
|
|
|
listeners,
|
|
|
|
attributes,
|
|
|
|
children,
|
|
|
|
dom_id: empty_cell(),
|
|
|
|
}))
|
2021-07-13 04:56:39 +00:00
|
|
|
}
|
2021-07-11 18:49:52 +00:00
|
|
|
|
2021-07-12 22:19:27 +00:00
|
|
|
pub fn attr(
|
|
|
|
&self,
|
|
|
|
name: &'static str,
|
|
|
|
val: Arguments,
|
|
|
|
namespace: Option<&'static str>,
|
|
|
|
is_volatile: bool,
|
|
|
|
) -> Attribute<'a> {
|
|
|
|
let (value, is_static) = self.raw_text(val);
|
|
|
|
Attribute {
|
|
|
|
name,
|
|
|
|
value,
|
|
|
|
is_static,
|
|
|
|
namespace,
|
|
|
|
is_volatile,
|
|
|
|
}
|
|
|
|
}
|
2021-02-12 05:29:46 +00:00
|
|
|
|
2021-07-30 14:35:47 +00:00
|
|
|
pub fn component<P, V>(
|
2021-07-12 22:19:27 +00:00
|
|
|
&self,
|
2021-06-02 15:07:30 +00:00
|
|
|
component: FC<P>,
|
|
|
|
props: P,
|
2021-07-30 14:35:47 +00:00
|
|
|
key: Option<Arguments>,
|
|
|
|
children: V,
|
2021-07-12 22:19:27 +00:00
|
|
|
) -> VNode<'a>
|
|
|
|
where
|
|
|
|
P: Properties + 'a,
|
2021-07-30 14:35:47 +00:00
|
|
|
V: 'a + AsRef<[VNode<'a>]>,
|
2021-07-12 22:19:27 +00:00
|
|
|
{
|
2021-08-08 19:15:16 +00:00
|
|
|
let bump = self.bump();
|
|
|
|
let children: &'a V = bump.alloc(children);
|
2021-07-30 14:35:47 +00:00
|
|
|
let children = children.as_ref();
|
2021-08-08 19:15:16 +00:00
|
|
|
let props = bump.alloc(props);
|
2021-07-27 15:28:05 +00:00
|
|
|
let raw_props = props as *mut P as *mut ();
|
2021-07-12 22:19:27 +00:00
|
|
|
let user_fc = component as *const ();
|
|
|
|
|
2021-08-08 19:15:16 +00:00
|
|
|
let comparator: Option<&dyn Fn(&VComponent) -> bool> = Some(bump.alloc_with(|| {
|
2021-06-30 02:44:21 +00:00
|
|
|
move |other: &VComponent| {
|
2021-06-22 21:20:54 +00:00
|
|
|
if user_fc == other.user_fc {
|
2021-07-27 15:28:05 +00:00
|
|
|
// Safety
|
|
|
|
// - We guarantee that FC<P> is the same by function pointer
|
|
|
|
// - Because FC<P> is the same, then P must be the same (even with generics)
|
|
|
|
// - Non-static P are autoderived to memoize as false
|
|
|
|
// - This comparator is only called on a corresponding set of bumpframes
|
|
|
|
let props_memoized = unsafe {
|
|
|
|
let real_other: &P = &*(other.raw_props as *const _ as *const P);
|
|
|
|
props.memoize(&real_other)
|
|
|
|
};
|
2021-07-27 04:27:07 +00:00
|
|
|
|
|
|
|
// It's only okay to memoize if there are no children and the props can be memoized
|
|
|
|
// Implementing memoize is unsafe and done automatically with the props trait
|
2021-06-22 21:20:54 +00:00
|
|
|
match (props_memoized, children.len() == 0) {
|
|
|
|
(true, true) => true,
|
|
|
|
_ => false,
|
2021-06-06 03:47:54 +00:00
|
|
|
}
|
2021-06-22 21:20:54 +00:00
|
|
|
} else {
|
|
|
|
false
|
|
|
|
}
|
2021-06-30 02:44:21 +00:00
|
|
|
}
|
|
|
|
}));
|
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
let drop_props = {
|
|
|
|
// create a closure to drop the props
|
|
|
|
let mut has_dropped = false;
|
2021-08-08 19:15:16 +00:00
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
let drop_props: &mut dyn FnMut() = bump.alloc_with(|| {
|
|
|
|
move || unsafe {
|
|
|
|
if !has_dropped {
|
|
|
|
let real_other = raw_props as *mut _ as *mut P;
|
|
|
|
let b = BumpBox::from_raw(real_other);
|
|
|
|
std::mem::drop(b);
|
|
|
|
|
|
|
|
has_dropped = true;
|
2021-09-13 05:14:09 +00:00
|
|
|
} else {
|
|
|
|
panic!("Drop props called twice - this is an internal failure of Dioxus");
|
2021-09-01 04:57:04 +00:00
|
|
|
}
|
2021-08-08 19:15:16 +00:00
|
|
|
}
|
2021-09-01 04:57:04 +00:00
|
|
|
});
|
|
|
|
|
|
|
|
let drop_props = unsafe { BumpBox::from_raw(drop_props) };
|
|
|
|
|
|
|
|
RefCell::new(Some(drop_props))
|
|
|
|
};
|
2021-07-27 15:28:05 +00:00
|
|
|
|
2021-07-15 08:09:28 +00:00
|
|
|
let is_static = children.len() == 0 && P::IS_STATIC && key.is_none();
|
|
|
|
|
2021-07-30 14:35:47 +00:00
|
|
|
let key = key.map(|f| self.raw_text(f).0);
|
|
|
|
|
2021-09-13 04:59:08 +00:00
|
|
|
let caller: &'a mut dyn for<'b> Fn(&'b Scope) -> DomTree<'b> =
|
|
|
|
bump.alloc(move |scope: &Scope| -> DomTree {
|
|
|
|
let props: &'_ P = unsafe { &*(raw_props as *const P) };
|
|
|
|
let res = component(Context { props, scope });
|
|
|
|
unsafe { std::mem::transmute(res) }
|
|
|
|
});
|
2021-09-01 04:57:04 +00:00
|
|
|
|
|
|
|
let can_memoize = children.len() == 0 && P::IS_STATIC;
|
|
|
|
|
2021-09-13 04:59:08 +00:00
|
|
|
VNode::Component(bump.alloc(VComponent {
|
2021-08-20 14:34:41 +00:00
|
|
|
user_fc,
|
|
|
|
comparator,
|
|
|
|
raw_props,
|
|
|
|
children,
|
2021-09-01 04:57:04 +00:00
|
|
|
caller,
|
2021-08-20 14:34:41 +00:00
|
|
|
is_static,
|
2021-07-12 22:19:27 +00:00
|
|
|
key,
|
2021-09-01 04:57:04 +00:00
|
|
|
can_memoize,
|
|
|
|
drop_props,
|
|
|
|
associated_scope: Cell::new(None),
|
2021-08-20 14:34:41 +00:00
|
|
|
}))
|
2021-07-12 22:19:27 +00:00
|
|
|
}
|
2021-06-01 22:33:15 +00:00
|
|
|
|
2021-07-27 04:27:07 +00:00
|
|
|
pub fn fragment_from_iter(self, node_iter: impl IntoVNodeList<'a>) -> VNode<'a> {
|
2021-07-26 16:14:48 +00:00
|
|
|
let children = node_iter.into_vnode_list(self);
|
2021-07-15 08:09:28 +00:00
|
|
|
|
2021-08-22 21:08:25 +00:00
|
|
|
// TODO
|
|
|
|
// We need a dedicated path in the rsx! macro that will trigger the "you need keys" warning
|
|
|
|
//
|
|
|
|
// if cfg!(debug_assertions) {
|
|
|
|
// if children.len() > 1 {
|
|
|
|
// if children.last().unwrap().key().is_none() {
|
|
|
|
// log::error!(
|
|
|
|
// r#"
|
|
|
|
// Warning: Each child in an array or iterator should have a unique "key" prop.
|
|
|
|
// Not providing a key will lead to poor performance with lists.
|
|
|
|
// See docs.rs/dioxus for more information.
|
|
|
|
// ---
|
|
|
|
// To help you identify where this error is coming from, we've generated a backtrace.
|
|
|
|
// "#,
|
|
|
|
// );
|
|
|
|
// }
|
|
|
|
// }
|
|
|
|
// }
|
|
|
|
|
2021-08-20 14:34:41 +00:00
|
|
|
VNode::Fragment(VFragment {
|
|
|
|
children,
|
2021-07-12 22:19:27 +00:00
|
|
|
key: None,
|
2021-08-20 14:34:41 +00:00
|
|
|
is_static: false,
|
|
|
|
})
|
2021-02-03 07:26:04 +00:00
|
|
|
}
|
|
|
|
}
|
2021-06-03 14:42:28 +00:00
|
|
|
|
2021-07-15 07:38:09 +00:00
|
|
|
/// Trait implementations for use in the rsx! and html! macros.
|
|
|
|
///
|
|
|
|
/// ## Details
|
|
|
|
///
|
|
|
|
/// This section provides convenience methods and trait implementations for converting common structs into a format accepted
|
|
|
|
/// by the macros.
|
|
|
|
///
|
|
|
|
/// All dynamic content in the macros must flow in through `fragment_from_iter`. Everything else must be statically layed out.
|
|
|
|
/// We pipe basically everything through `fragment_from_iter`, so we expect a very specific type:
|
|
|
|
/// ```
|
|
|
|
/// impl IntoIterator<Item = impl IntoVNode<'a>>
|
|
|
|
/// ```
|
|
|
|
///
|
|
|
|
/// As such, all node creation must go through the factory, which is only availble in the component context.
|
|
|
|
/// These strict requirements make it possible to manage lifetimes and state.
|
|
|
|
pub trait IntoVNode<'a> {
|
|
|
|
fn into_vnode(self, cx: NodeFactory<'a>) -> VNode<'a>;
|
|
|
|
}
|
|
|
|
|
2021-07-26 16:14:48 +00:00
|
|
|
pub trait IntoVNodeList<'a> {
|
|
|
|
fn into_vnode_list(self, cx: NodeFactory<'a>) -> &'a [VNode<'a>];
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a, T, V> IntoVNodeList<'a> for T
|
|
|
|
where
|
|
|
|
T: IntoIterator<Item = V>,
|
|
|
|
V: IntoVNode<'a>,
|
|
|
|
{
|
|
|
|
fn into_vnode_list(self, cx: NodeFactory<'a>) -> &'a [VNode<'a>] {
|
|
|
|
let mut nodes = bumpalo::collections::Vec::new_in(cx.bump());
|
|
|
|
|
|
|
|
for node in self.into_iter() {
|
|
|
|
nodes.push(node.into_vnode(cx));
|
|
|
|
}
|
|
|
|
|
2021-07-29 22:04:09 +00:00
|
|
|
if nodes.len() == 0 {
|
2021-08-20 14:34:41 +00:00
|
|
|
nodes.push(VNode::Anchor(VAnchor {
|
|
|
|
dom_id: empty_cell(),
|
|
|
|
}));
|
2021-07-29 22:04:09 +00:00
|
|
|
}
|
|
|
|
|
2021-07-26 16:14:48 +00:00
|
|
|
nodes.into_bump_slice()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-09-01 04:57:04 +00:00
|
|
|
/// Child nodes of the parent component.
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```rust
|
|
|
|
/// let children = cx.children();
|
|
|
|
/// let first_node = &children[0];
|
|
|
|
/// rsx!{
|
|
|
|
/// h1 { {first_node} }
|
|
|
|
/// p { {&children[1..]} }
|
|
|
|
/// }
|
|
|
|
/// ```
|
|
|
|
///
|
2021-07-26 16:14:48 +00:00
|
|
|
pub struct ScopeChildren<'a>(pub &'a [VNode<'a>]);
|
2021-09-01 04:57:04 +00:00
|
|
|
|
2021-07-26 16:14:48 +00:00
|
|
|
impl Copy for ScopeChildren<'_> {}
|
2021-09-01 04:57:04 +00:00
|
|
|
|
2021-07-26 16:14:48 +00:00
|
|
|
impl<'a> Clone for ScopeChildren<'a> {
|
|
|
|
fn clone(&self) -> Self {
|
|
|
|
ScopeChildren(self.0)
|
|
|
|
}
|
|
|
|
}
|
2021-09-01 04:57:04 +00:00
|
|
|
|
2021-07-26 16:14:48 +00:00
|
|
|
impl ScopeChildren<'_> {
|
2021-09-01 04:57:04 +00:00
|
|
|
// dangerous method - used to fix the associated lifetime
|
|
|
|
pub(crate) unsafe fn extend_lifetime(self) -> ScopeChildren<'static> {
|
2021-07-26 16:14:48 +00:00
|
|
|
std::mem::transmute(self)
|
|
|
|
}
|
2021-09-01 04:57:04 +00:00
|
|
|
|
|
|
|
// dangerous method - used to fix the associated lifetime
|
|
|
|
pub(crate) unsafe fn shorten_lifetime<'a>(self) -> ScopeChildren<'a> {
|
2021-07-26 16:14:48 +00:00
|
|
|
std::mem::transmute(self)
|
|
|
|
}
|
|
|
|
}
|
2021-09-01 04:57:04 +00:00
|
|
|
|
2021-07-26 16:14:48 +00:00
|
|
|
impl<'a> IntoVNodeList<'a> for ScopeChildren<'a> {
|
|
|
|
fn into_vnode_list(self, _: NodeFactory<'a>) -> &'a [VNode<'a>] {
|
|
|
|
self.0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-07-15 07:38:09 +00:00
|
|
|
// For the case where a rendered VNode is passed into the rsx! macro through curly braces
|
2021-07-12 22:19:27 +00:00
|
|
|
impl<'a> IntoIterator for VNode<'a> {
|
|
|
|
type Item = VNode<'a>;
|
|
|
|
type IntoIter = std::iter::Once<Self::Item>;
|
|
|
|
fn into_iter(self) -> Self::IntoIter {
|
|
|
|
std::iter::once(self)
|
|
|
|
}
|
|
|
|
}
|
2021-07-15 07:38:09 +00:00
|
|
|
|
|
|
|
// For the case where a rendered VNode is passed into the rsx! macro through curly braces
|
2021-07-12 22:19:27 +00:00
|
|
|
impl<'a> IntoVNode<'a> for VNode<'a> {
|
|
|
|
fn into_vnode(self, _: NodeFactory<'a>) -> VNode<'a> {
|
|
|
|
self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-07-15 07:38:09 +00:00
|
|
|
/// A concrete type provider for closures that build VNode structures.
|
|
|
|
///
|
|
|
|
/// This struct wraps lazy structs that build VNode trees Normally, we cannot perform a blanket implementation over
|
|
|
|
/// closures, but if we wrap the closure in a concrete type, we can maintain separate implementations of IntoVNode.
|
|
|
|
///
|
|
|
|
///
|
|
|
|
/// ```rust
|
|
|
|
/// LazyNodes::new(|f| f.element("div", [], [], [] None))
|
|
|
|
/// ```
|
2021-07-12 22:19:27 +00:00
|
|
|
pub struct LazyNodes<'a, G>
|
|
|
|
where
|
|
|
|
G: FnOnce(NodeFactory<'a>) -> VNode<'a>,
|
|
|
|
{
|
|
|
|
inner: G,
|
|
|
|
_p: PhantomData<&'a ()>,
|
|
|
|
}
|
2021-07-09 16:47:41 +00:00
|
|
|
|
2021-07-12 22:19:27 +00:00
|
|
|
impl<'a, G> LazyNodes<'a, G>
|
|
|
|
where
|
|
|
|
G: FnOnce(NodeFactory<'a>) -> VNode<'a>,
|
|
|
|
{
|
|
|
|
pub fn new(f: G) -> Self {
|
|
|
|
Self {
|
|
|
|
inner: f,
|
|
|
|
_p: PhantomData {},
|
2021-07-11 18:49:52 +00:00
|
|
|
}
|
2021-07-12 22:19:27 +00:00
|
|
|
}
|
|
|
|
}
|
2021-07-09 16:47:41 +00:00
|
|
|
|
2021-07-15 07:38:09 +00:00
|
|
|
// Our blanket impl
|
2021-07-12 22:19:27 +00:00
|
|
|
impl<'a, G> IntoVNode<'a> for LazyNodes<'a, G>
|
|
|
|
where
|
|
|
|
G: FnOnce(NodeFactory<'a>) -> VNode<'a>,
|
|
|
|
{
|
|
|
|
fn into_vnode(self, cx: NodeFactory<'a>) -> VNode<'a> {
|
|
|
|
(self.inner)(cx)
|
|
|
|
}
|
|
|
|
}
|
2021-07-11 18:49:52 +00:00
|
|
|
|
2021-07-15 07:38:09 +00:00
|
|
|
// Our blanket impl
|
2021-07-12 22:19:27 +00:00
|
|
|
impl<'a, G> IntoIterator for LazyNodes<'a, G>
|
|
|
|
where
|
|
|
|
G: FnOnce(NodeFactory<'a>) -> VNode<'a>,
|
|
|
|
{
|
|
|
|
type Item = Self;
|
|
|
|
type IntoIter = std::iter::Once<Self::Item>;
|
|
|
|
fn into_iter(self) -> Self::IntoIter {
|
|
|
|
std::iter::once(self)
|
|
|
|
}
|
2021-06-07 18:14:49 +00:00
|
|
|
}
|
|
|
|
|
2021-07-15 07:38:09 +00:00
|
|
|
// Conveniently, we also support "null" (nothing) passed in
|
2021-07-12 22:19:27 +00:00
|
|
|
impl IntoVNode<'_> for () {
|
|
|
|
fn into_vnode<'a>(self, cx: NodeFactory<'a>) -> VNode<'a> {
|
|
|
|
cx.fragment_from_iter(None as Option<VNode>)
|
|
|
|
}
|
2021-06-03 14:42:28 +00:00
|
|
|
}
|
2021-06-08 18:00:29 +00:00
|
|
|
|
2021-07-15 07:38:09 +00:00
|
|
|
// Conveniently, we also support "None"
|
2021-07-12 22:19:27 +00:00
|
|
|
impl IntoVNode<'_> for Option<()> {
|
|
|
|
fn into_vnode<'a>(self, cx: NodeFactory<'a>) -> VNode<'a> {
|
|
|
|
cx.fragment_from_iter(None as Option<VNode>)
|
|
|
|
}
|
|
|
|
}
|
2021-09-01 04:57:04 +00:00
|
|
|
|
2021-07-20 23:03:49 +00:00
|
|
|
impl<'a> IntoVNode<'a> for Option<VNode<'a>> {
|
|
|
|
fn into_vnode(self, cx: NodeFactory<'a>) -> VNode<'a> {
|
|
|
|
match self {
|
|
|
|
Some(n) => n,
|
|
|
|
None => cx.fragment_from_iter(None as Option<VNode>),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2021-07-12 22:19:27 +00:00
|
|
|
|
2021-07-21 21:05:48 +00:00
|
|
|
impl IntoVNode<'_> for &'static str {
|
|
|
|
fn into_vnode<'a>(self, cx: NodeFactory<'a>) -> VNode<'a> {
|
2021-07-23 14:27:43 +00:00
|
|
|
cx.static_text(self)
|
2021-07-21 21:05:48 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
impl IntoVNode<'_> for Arguments<'_> {
|
|
|
|
fn into_vnode<'a>(self, cx: NodeFactory<'a>) -> VNode<'a> {
|
|
|
|
cx.text(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-07-12 22:19:27 +00:00
|
|
|
impl Debug for NodeFactory<'_> {
|
|
|
|
fn fmt(&self, _: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Debug for VNode<'_> {
|
|
|
|
fn fmt(&self, s: &mut Formatter<'_>) -> std::result::Result<(), std::fmt::Error> {
|
2021-08-20 14:34:41 +00:00
|
|
|
match &self {
|
2021-08-24 14:01:01 +00:00
|
|
|
VNode::Element(el) => {
|
|
|
|
//
|
|
|
|
s.debug_struct("VElement")
|
|
|
|
.field("name", &el.tag_name)
|
|
|
|
.field("key", &el.key)
|
|
|
|
.finish()
|
|
|
|
}
|
2021-08-20 14:34:41 +00:00
|
|
|
VNode::Text(t) => write!(s, "VText {{ text: {} }}", t.text),
|
2021-09-01 04:57:04 +00:00
|
|
|
VNode::Anchor(_) => write!(s, "VAnchor"),
|
2021-08-20 14:34:41 +00:00
|
|
|
|
2021-08-22 21:08:25 +00:00
|
|
|
VNode::Fragment(frag) => write!(s, "VFragment {{ children: {:?} }}", frag.children),
|
|
|
|
VNode::Suspended { .. } => write!(s, "VSuspended"),
|
|
|
|
VNode::Component(comp) => write!(
|
|
|
|
s,
|
|
|
|
"VComponent {{ fc: {:?}, children: {:?} }}",
|
2021-08-27 13:53:26 +00:00
|
|
|
comp.user_fc, comp.children
|
2021-08-22 21:08:25 +00:00
|
|
|
),
|
2021-07-12 06:23:46 +00:00
|
|
|
}
|
2021-06-08 18:00:29 +00:00
|
|
|
}
|
|
|
|
}
|