2022-12-03 00:24:49 +00:00
use crate ::{
any_props ::AnyProps , arena ::ElementId , Element , Event , LazyNodes , ScopeId , ScopeState ,
} ;
2022-11-29 21:31:04 +00:00
use bumpalo ::boxed ::Box as BumpBox ;
2022-12-03 00:24:49 +00:00
use bumpalo ::Bump ;
2022-11-03 00:29:18 +00:00
use std ::{
2022-11-04 00:34:42 +00:00
any ::{ Any , TypeId } ,
2023-01-03 03:26:12 +00:00
cell ::{ self , Cell , RefCell , UnsafeCell } ,
2023-01-02 20:40:25 +00:00
fmt ::{ Arguments , Debug } ,
2022-12-03 00:24:49 +00:00
future ::Future ,
2022-11-03 00:29:18 +00:00
} ;
2022-10-28 04:58:47 +00:00
pub type TemplateId = & 'static str ;
2022-12-03 00:24:49 +00:00
/// The actual state of the component's most recent computation
///
/// Because Dioxus accepts components in the form of `async fn(Scope) -> Result<VNode>`, we need to support both
/// sync and async versions.
///
/// Dioxus will do its best to immediately resolve any async components into a regular Element, but as an implementor
/// you might need to handle the case where there's no node immediately ready.
pub enum RenderReturn < ' a > {
/// A currently-available element
2022-12-20 19:13:06 +00:00
Ready ( VNode < ' a > ) ,
/// The component aborted rendering early. It might've thrown an error.
///
/// In its place we've produced a placeholder to locate its spot in the dom when
/// it recovers.
Aborted ( VPlaceholder ) ,
2022-12-03 00:24:49 +00:00
/// An ongoing future that will resolve to a [`Element`]
2022-12-25 06:43:22 +00:00
Pending ( BumpBox < ' a , dyn Future < Output = Element < ' a > > + ' a > ) ,
2022-12-03 00:24:49 +00:00
}
2022-12-20 19:13:06 +00:00
impl < ' a > Default for RenderReturn < ' a > {
fn default ( ) -> Self {
RenderReturn ::Aborted ( VPlaceholder ::default ( ) )
}
2022-12-03 00:24:49 +00:00
}
2022-10-28 04:58:47 +00:00
/// A reference to a template along with any context needed to hydrate it
2022-11-20 01:07:29 +00:00
///
/// The dynamic parts of the template are stored separately from the static parts. This allows faster diffing by skipping
/// static parts of the template.
2022-11-23 05:32:26 +00:00
#[ derive(Debug, Clone) ]
2022-11-02 01:42:29 +00:00
pub struct VNode < ' a > {
2022-11-20 01:07:29 +00:00
/// The key given to the root of this template.
///
/// In fragments, this is the key of the first child. In other cases, it is the key of the root.
2022-11-03 08:24:20 +00:00
pub key : Option < & ' a str > ,
2022-11-20 01:07:29 +00:00
/// When rendered, this template will be linked to its parent manually
2022-11-18 04:00:39 +00:00
pub parent : Option < ElementId > ,
2022-11-02 01:42:29 +00:00
2022-11-20 01:07:29 +00:00
/// The static nodes and static descriptor of the template
2022-12-20 01:28:44 +00:00
pub template : Cell < Template < 'static > > ,
2022-10-28 04:58:47 +00:00
2022-11-20 01:07:29 +00:00
/// The IDs for the roots of this template - to be used when moving the template around and removing it from
/// the actual Dom
2022-12-21 18:50:48 +00:00
pub root_ids : BoxedCellSlice ,
2022-10-28 04:58:47 +00:00
2022-11-20 01:07:29 +00:00
/// The dynamic parts of the template
2022-11-03 00:29:18 +00:00
pub dynamic_nodes : & ' a [ DynamicNode < ' a > ] ,
2022-10-28 04:58:47 +00:00
2022-11-20 01:07:29 +00:00
/// The dynamic parts of the template
2022-11-03 00:29:18 +00:00
pub dynamic_attrs : & ' a [ Attribute < ' a > ] ,
2022-10-28 04:58:47 +00:00
}
2022-12-21 18:50:48 +00:00
// Saftey: There is no way to get references to the internal data of this struct so no refrences will be invalidated by mutating the data with a immutable reference (The same principle behind Cell)
#[ derive(Debug, Default) ]
pub struct BoxedCellSlice ( UnsafeCell < Option < Box < [ ElementId ] > > > ) ;
impl Clone for BoxedCellSlice {
fn clone ( & self ) -> Self {
Self ( UnsafeCell ::new ( unsafe { ( * self . 0. get ( ) ) . clone ( ) } ) )
}
}
impl BoxedCellSlice {
pub fn last ( & self ) -> Option < ElementId > {
unsafe {
( * self . 0. get ( ) )
. as_ref ( )
. and_then ( | inner | inner . as_ref ( ) . last ( ) . copied ( ) )
}
}
pub fn get ( & self , idx : usize ) -> Option < ElementId > {
unsafe {
( * self . 0. get ( ) )
. as_ref ( )
. and_then ( | inner | inner . as_ref ( ) . get ( idx ) . copied ( ) )
}
}
pub unsafe fn get_unchecked ( & self , idx : usize ) -> Option < ElementId > {
( * self . 0. get ( ) )
. as_ref ( )
. and_then ( | inner | inner . as_ref ( ) . get ( idx ) . copied ( ) )
}
pub fn set ( & self , idx : usize , new : ElementId ) {
unsafe {
if let Some ( inner ) = & mut * self . 0. get ( ) {
inner [ idx ] = new ;
}
}
}
pub fn intialize ( & self , contents : Box < [ ElementId ] > ) {
unsafe {
* self . 0. get ( ) = Some ( contents ) ;
}
}
pub fn transfer ( & self , other : & Self ) {
2022-12-23 00:19:55 +00:00
unsafe {
* self . 0. get ( ) = ( * other . 0. get ( ) ) . clone ( ) ;
}
}
pub fn take_from ( & self , other : & Self ) {
2022-12-21 18:50:48 +00:00
unsafe {
* self . 0. get ( ) = ( * other . 0. get ( ) ) . take ( ) ;
}
}
pub fn len ( & self ) -> usize {
unsafe {
( * self . 0. get ( ) )
. as_ref ( )
. map ( | inner | inner . len ( ) )
. unwrap_or ( 0 )
}
}
}
impl < ' a > IntoIterator for & ' a BoxedCellSlice {
type Item = ElementId ;
type IntoIter = BoxedCellSliceIter < ' a > ;
fn into_iter ( self ) -> Self ::IntoIter {
BoxedCellSliceIter {
index : 0 ,
borrow : self ,
}
}
}
pub struct BoxedCellSliceIter < ' a > {
index : usize ,
borrow : & ' a BoxedCellSlice ,
}
impl Iterator for BoxedCellSliceIter < '_ > {
type Item = ElementId ;
fn next ( & mut self ) -> Option < Self ::Item > {
let result = self . borrow . get ( self . index ) ;
if result . is_some ( ) {
self . index + = 1 ;
}
result
}
}
2022-11-06 22:28:41 +00:00
impl < ' a > VNode < ' a > {
2022-12-03 00:24:49 +00:00
/// Create a template with no nodes that will be skipped over during diffing
2022-11-23 05:32:26 +00:00
pub fn empty ( ) -> Element < ' a > {
2022-12-20 02:06:13 +00:00
Some ( VNode {
2022-11-23 05:32:26 +00:00
key : None ,
parent : None ,
2022-12-21 18:50:48 +00:00
root_ids : BoxedCellSlice ::default ( ) ,
2022-11-23 05:32:26 +00:00
dynamic_nodes : & [ ] ,
dynamic_attrs : & [ ] ,
2022-12-20 01:28:44 +00:00
template : Cell ::new ( Template {
2022-12-03 00:24:49 +00:00
name : " dioxus-empty " ,
2022-11-23 05:32:26 +00:00
roots : & [ ] ,
node_paths : & [ ] ,
attr_paths : & [ ] ,
2022-12-20 01:28:44 +00:00
} ) ,
2022-11-23 05:32:26 +00:00
} )
}
2022-11-25 07:12:29 +00:00
2022-12-03 00:24:49 +00:00
/// Load a dynamic root at the given index
///
/// Returns [`None`] if the root is actually a static node (Element/Text)
2022-11-25 07:12:29 +00:00
pub fn dynamic_root ( & self , idx : usize ) -> Option < & ' a DynamicNode < ' a > > {
2022-12-20 01:28:44 +00:00
match & self . template . get ( ) . roots [ idx ] {
2022-12-06 00:08:41 +00:00
TemplateNode ::Element { .. } | TemplateNode ::Text { text : _ } = > None ,
TemplateNode ::Dynamic { id } | TemplateNode ::DynamicText { id } = > {
2022-11-25 07:12:29 +00:00
Some ( & self . dynamic_nodes [ * id ] )
}
}
}
2022-12-05 21:03:52 +00:00
pub ( crate ) fn clear_listeners ( & self ) {
for attr in self . dynamic_attrs {
if let AttributeValue ::Listener ( l ) = & attr . value {
2023-01-02 20:40:25 +00:00
l . borrow_mut ( ) . take ( ) ;
2022-12-05 21:03:52 +00:00
}
}
}
2022-11-06 22:28:41 +00:00
}
2022-12-03 00:24:49 +00:00
/// A static layout of a UI tree that describes a set of dynamic and static nodes.
///
/// This is the core innovation in Dioxus. Most UIs are made of static nodes, yet participate in diffing like any
/// dynamic node. This struct can be created at compile time. It promises that its name is unique, allow Dioxus to use
/// its static description of the UI to skip immediately to the dynamic nodes during diffing.
///
/// For this to work properly, the [`Template::name`] *must* be unique across your entire project. This can be done via variety of
/// ways, with the suggested approach being the unique code location (file, line, col, etc).
2022-12-16 03:16:37 +00:00
#[ cfg_attr(feature = " serialize " , derive(serde::Serialize, serde::Deserialize)) ]
2022-12-03 00:24:49 +00:00
#[ derive(Debug, Clone, Copy, PartialEq, Hash, Eq, PartialOrd, Ord) ]
2022-11-02 08:00:37 +00:00
pub struct Template < ' a > {
2022-12-03 00:24:49 +00:00
/// The name of the template. This must be unique across your entire program for template diffing to work properly
///
/// If two templates have the same name, it's likely that Dioxus will panic when diffing.
2022-12-19 17:48:28 +00:00
#[ cfg_attr(
feature = " serialize " ,
serde ( deserialize_with = " deserialize_string_leaky " )
) ]
2022-12-03 00:24:49 +00:00
pub name : & ' a str ,
/// The list of template nodes that make up the template
///
/// Unlike react, calls to `rsx!` can have multiple roots. This list supports that paradigm.
2022-12-16 03:16:37 +00:00
#[ cfg_attr(feature = " serialize " , serde(deserialize_with = " deserialize_leaky " )) ]
2022-11-02 08:00:37 +00:00
pub roots : & ' a [ TemplateNode < ' a > ] ,
2022-12-03 00:24:49 +00:00
/// The paths of each node relative to the root of the template.
///
/// These will be one segment shorter than the path sent to the renderer since those paths are relative to the
/// topmost element, not the `roots` field.
2022-12-19 17:48:28 +00:00
#[ cfg_attr(
feature = " serialize " ,
serde ( deserialize_with = " deserialize_bytes_leaky " )
) ]
2022-11-03 08:24:20 +00:00
pub node_paths : & ' a [ & ' a [ u8 ] ] ,
2022-12-03 00:24:49 +00:00
/// The paths of each dynamic attribute relative to the root of the template
///
/// These will be one segment shorter than the path sent to the renderer since those paths are relative to the
/// topmost element, not the `roots` field.
2022-12-19 17:48:28 +00:00
#[ cfg_attr(
feature = " serialize " ,
serde ( deserialize_with = " deserialize_bytes_leaky " )
) ]
2022-11-03 08:24:20 +00:00
pub attr_paths : & ' a [ & ' a [ u8 ] ] ,
2022-11-02 08:00:37 +00:00
}
2022-12-19 17:48:28 +00:00
#[ cfg(feature = " serialize " ) ]
fn deserialize_string_leaky < ' a , ' de , D > ( deserializer : D ) -> Result < & ' a str , D ::Error >
where
D : serde ::Deserializer < ' de > ,
{
use serde ::Deserialize ;
let deserialized = String ::deserialize ( deserializer ) ? ;
Ok ( & * Box ::leak ( deserialized . into_boxed_str ( ) ) )
}
#[ cfg(feature = " serialize " ) ]
fn deserialize_bytes_leaky < ' a , ' de , D > ( deserializer : D ) -> Result < & ' a [ & ' a [ u8 ] ] , D ::Error >
where
D : serde ::Deserializer < ' de > ,
{
use serde ::Deserialize ;
let deserialized = Vec ::< Vec < u8 > > ::deserialize ( deserializer ) ? ;
let deserialized = deserialized
. into_iter ( )
. map ( | v | & * Box ::leak ( v . into_boxed_slice ( ) ) )
. collect ::< Vec < _ > > ( ) ;
Ok ( & * Box ::leak ( deserialized . into_boxed_slice ( ) ) )
}
2022-12-16 03:16:37 +00:00
#[ cfg(feature = " serialize " ) ]
fn deserialize_leaky < ' a , ' de , T : serde ::Deserialize < ' de > , D > (
deserializer : D ,
) -> Result < & ' a [ T ] , D ::Error >
where
T : serde ::Deserialize < ' de > ,
D : serde ::Deserializer < ' de > ,
{
use serde ::Deserialize ;
let deserialized = Box ::< [ T ] > ::deserialize ( deserializer ) ? ;
Ok ( & * Box ::leak ( deserialized ) )
}
2022-12-13 02:31:30 +00:00
impl < ' a > Template < ' a > {
/// Is this template worth caching at all, since it's completely runtime?
///
/// There's no point in saving templates that are completely dynamic, since they'll be recreated every time anyway.
pub fn is_completely_dynamic ( & self ) -> bool {
use TemplateNode ::* ;
self . roots
. iter ( )
. all ( | root | matches! ( root , Dynamic { .. } | DynamicText { .. } ) )
}
}
2022-12-03 00:24:49 +00:00
/// A statically known node in a layout.
///
/// This can be created at compile time, saving the VirtualDom time when diffing the tree
#[ derive(Debug, Clone, Copy, PartialEq, Hash, Eq, PartialOrd, Ord) ]
2022-12-16 03:16:37 +00:00
#[ cfg_attr(
feature = " serialize " ,
derive ( serde ::Serialize , serde ::Deserialize ) ,
serde ( tag = " type " )
) ]
2022-10-28 04:58:47 +00:00
pub enum TemplateNode < ' a > {
2022-12-03 00:24:49 +00:00
/// An statically known element in the dom.
///
/// In HTML this would be something like `<div id="123"> </div>`
2022-10-28 04:58:47 +00:00
Element {
2022-12-03 00:24:49 +00:00
/// The name of the element
///
/// IE for a div, it would be the string "div"
2022-10-28 04:58:47 +00:00
tag : & ' a str ,
2022-12-03 00:24:49 +00:00
/// The namespace of the element
///
/// In HTML, this would be a valid URI that defines a namespace for all elements below it
/// SVG is an example of this namespace
2022-10-28 04:58:47 +00:00
namespace : Option < & ' a str > ,
2022-12-03 00:24:49 +00:00
/// A list of possibly dynamic attribues for this element
///
/// An attribute on a DOM node, such as `id="my-thing"` or `href="https://example.com"`.
2022-12-16 03:16:37 +00:00
#[ cfg_attr(feature = " serialize " , serde(deserialize_with = " deserialize_leaky " )) ]
2022-10-28 04:58:47 +00:00
attrs : & ' a [ TemplateAttribute < ' a > ] ,
2022-12-03 00:24:49 +00:00
/// A list of template nodes that define another set of template nodes
2022-12-16 03:16:37 +00:00
#[ cfg_attr(feature = " serialize " , serde(deserialize_with = " deserialize_leaky " )) ]
2022-10-28 04:58:47 +00:00
children : & ' a [ TemplateNode < ' a > ] ,
} ,
2022-12-03 00:24:49 +00:00
/// This template node is just a piece of static text
2022-12-07 00:37:28 +00:00
Text {
/// The actual text
text : & ' a str ,
} ,
2022-12-03 00:24:49 +00:00
/// This template node is unknown, and needs to be created at runtime.
2022-12-07 00:37:28 +00:00
Dynamic {
/// The index of the dynamic node in the VNode's dynamic_nodes list
id : usize ,
} ,
2022-12-03 00:24:49 +00:00
/// This template node is known to be some text, but needs to be created at runtime
///
/// This is separate from the pure Dynamic variant for various optimizations
2022-12-07 00:37:28 +00:00
DynamicText {
/// The index of the dynamic node in the VNode's dynamic_nodes list
id : usize ,
} ,
2022-10-28 04:58:47 +00:00
}
2022-12-03 00:24:49 +00:00
/// A node created at runtime
///
/// This node's index in the DynamicNode list on VNode should match its repsective `Dynamic` index
2022-11-16 07:22:41 +00:00
#[ derive(Debug) ]
2022-11-03 08:24:20 +00:00
pub enum DynamicNode < ' a > {
2022-12-03 00:24:49 +00:00
/// A component node
///
/// Most of the time, Dioxus will actually know which component this is as compile time, but the props and
/// assigned scope are dynamic.
///
/// The actual VComponent can be dynamic between two VNodes, though, allowing implementations to swap
/// the render function at runtime
2022-11-20 01:07:29 +00:00
Component ( VComponent < ' a > ) ,
2022-12-03 00:24:49 +00:00
/// A text node
2022-11-20 01:07:29 +00:00
Text ( VText < ' a > ) ,
2022-12-03 00:24:49 +00:00
/// A placeholder
///
/// Used by suspense when a node isn't ready and by fragments that don't render anything
///
/// In code, this is just an ElementId whose initial value is set to 0 upon creation
2022-12-13 02:31:30 +00:00
Placeholder ( VPlaceholder ) ,
2022-12-03 00:24:49 +00:00
/// A list of VNodes.
///
/// Note that this is not a list of dynamic nodes. These must be VNodes and created through conditional rendering
/// or iterators.
2022-11-30 16:24:13 +00:00
Fragment ( & ' a [ VNode < ' a > ] ) ,
2022-10-28 04:58:47 +00:00
}
2022-12-03 00:24:49 +00:00
impl Default for DynamicNode < '_ > {
fn default ( ) -> Self {
2022-12-01 04:54:30 +00:00
Self ::Placeholder ( Default ::default ( ) )
2022-11-30 16:24:13 +00:00
}
2022-11-20 01:07:29 +00:00
}
2022-12-03 00:24:49 +00:00
/// An instance of a child component
2022-11-20 01:07:29 +00:00
pub struct VComponent < ' a > {
2022-12-03 00:24:49 +00:00
/// The name of this component
2022-11-20 01:07:29 +00:00
pub name : & 'static str ,
2022-12-03 00:24:49 +00:00
/// Are the props valid for the 'static lifetime?
///
/// Internally, this is used as a guarantee. Externally, this might be incorrect, so don't count on it.
///
/// This flag is assumed by the [`crate::Properties`] trait which is unsafe to implement
2022-11-20 01:07:29 +00:00
pub static_props : bool ,
2022-12-03 00:24:49 +00:00
/// The assigned Scope for this component
2022-11-20 01:07:29 +00:00
pub scope : Cell < Option < ScopeId > > ,
2022-12-03 00:24:49 +00:00
/// The function pointer of the component, known at compile time
///
/// It is possible that components get folded at comppile time, so these shouldn't be really used as a key
2022-11-20 23:58:05 +00:00
pub render_fn : * const ( ) ,
2022-12-03 00:24:49 +00:00
2022-12-13 02:31:30 +00:00
pub ( crate ) props : RefCell < Option < Box < dyn AnyProps < ' a > + ' a > > > ,
2022-11-20 23:58:05 +00:00
}
impl < ' a > std ::fmt ::Debug for VComponent < ' a > {
fn fmt ( & self , f : & mut std ::fmt ::Formatter < '_ > ) -> std ::fmt ::Result {
f . debug_struct ( " VComponent " )
. field ( " name " , & self . name )
. field ( " static_props " , & self . static_props )
. field ( " scope " , & self . scope )
. finish ( )
}
2022-11-20 01:07:29 +00:00
}
2022-12-03 00:24:49 +00:00
/// An instance of some text, mounted to the DOM
2022-11-20 01:07:29 +00:00
#[ derive(Debug) ]
pub struct VText < ' a > {
2022-12-03 00:24:49 +00:00
/// The actual text itself
2022-11-20 01:07:29 +00:00
pub value : & ' a str ,
2022-12-03 00:24:49 +00:00
/// The ID of this node in the real DOM
2022-12-13 02:31:30 +00:00
pub id : Cell < Option < ElementId > > ,
}
/// A placeholder node, used by suspense and fragments
#[ derive(Debug, Default) ]
pub struct VPlaceholder {
/// The ID of this node in the real DOM
pub id : Cell < Option < ElementId > > ,
2022-11-20 01:07:29 +00:00
}
2022-12-03 00:24:49 +00:00
/// An attribute of the TemplateNode, created at compile time
#[ derive(Debug, PartialEq, Hash, Eq, PartialOrd, Ord) ]
2022-12-06 00:08:41 +00:00
#[ cfg_attr(
feature = " serialize " ,
derive ( serde ::Serialize , serde ::Deserialize ) ,
serde ( tag = " type " )
) ]
2022-11-02 08:00:37 +00:00
pub enum TemplateAttribute < ' a > {
2022-12-03 00:24:49 +00:00
/// This attribute is entirely known at compile time, enabling
2022-11-02 08:00:37 +00:00
Static {
2022-12-03 00:24:49 +00:00
/// The name of this attribute.
///
/// For example, the `href` attribute in `href="https://example.com"`, would have the name "href"
2022-12-01 05:46:15 +00:00
name : & ' a str ,
2022-12-03 00:24:49 +00:00
/// The value of this attribute, known at compile time
///
/// Currently this only accepts &str, so values, even if they're known at compile time, are not known
2022-11-02 08:00:37 +00:00
value : & ' a str ,
2022-12-03 00:24:49 +00:00
/// The namespace of this attribute. Does not exist in the HTML spec
2022-12-01 05:46:15 +00:00
namespace : Option < & ' a str > ,
2022-11-02 08:00:37 +00:00
} ,
2022-12-03 00:24:49 +00:00
/// The attribute in this position is actually determined dynamically at runtime
///
/// This is the index into the dynamic_attributes field on the container VNode
2022-12-06 00:47:04 +00:00
Dynamic {
/// The index
id : usize ,
} ,
2022-10-28 04:58:47 +00:00
}
2022-12-03 00:24:49 +00:00
/// An attribute on a DOM node, such as `id="my-thing"` or `href="https://example.com"`
2022-11-16 07:22:41 +00:00
#[ derive(Debug) ]
2022-10-28 04:58:47 +00:00
pub struct Attribute < ' a > {
2022-12-03 00:24:49 +00:00
/// The name of the attribute.
2022-11-03 00:29:18 +00:00
pub name : & ' a str ,
2022-12-03 00:24:49 +00:00
/// The value of the attribute
2022-11-03 00:29:18 +00:00
pub value : AttributeValue < ' a > ,
2022-12-03 00:24:49 +00:00
/// The namespace of the attribute.
///
/// Doesn’ t exist in the html spec. Used in Dioxus to denote “style” tags and other attribute groups.
2022-10-28 04:58:47 +00:00
pub namespace : Option < & 'static str > ,
2022-12-03 00:24:49 +00:00
/// The element in the DOM that this attribute belongs to
2022-11-03 00:29:18 +00:00
pub mounted_element : Cell < ElementId > ,
2022-12-03 00:24:49 +00:00
/// An indication of we should always try and set the attribute. Used in controlled components to ensure changes are propagated
2022-11-03 08:24:20 +00:00
pub volatile : bool ,
2022-10-28 04:58:47 +00:00
}
2022-12-03 00:24:49 +00:00
/// Any of the built-in values that the Dioxus VirtualDom supports as dynamic attributes on elements
///
/// These are built-in to be faster during the diffing process. To use a custom value, use the [`AttributeValue::Any`]
/// variant.
2022-10-28 04:58:47 +00:00
pub enum AttributeValue < ' a > {
2022-12-03 00:24:49 +00:00
/// Text attribute
2022-10-28 04:58:47 +00:00
Text ( & ' a str ) ,
2022-12-03 00:24:49 +00:00
/// A float
Float ( f64 ) ,
/// Signed integer
Int ( i64 ) ,
/// Boolean
2022-10-28 04:58:47 +00:00
Bool ( bool ) ,
2022-12-03 00:24:49 +00:00
/// A listener, like "onclick"
2023-01-02 20:40:25 +00:00
Listener ( RefCell < Option < ListenerCb < ' a > > > ) ,
2022-12-03 00:24:49 +00:00
/// An arbitrary value that implements PartialEq and is static
2023-01-03 03:26:12 +00:00
Any ( RefCell < Option < BumpBox < ' a , dyn AnyValue > > > ) ,
2022-12-03 00:24:49 +00:00
/// A "none" value, resulting in the removal of an attribute from the dom
2022-11-03 00:29:18 +00:00
None ,
}
2023-01-02 20:40:25 +00:00
pub type ListenerCb < ' a > = BumpBox < ' a , dyn FnMut ( Event < dyn Any > ) + ' a > ;
2022-12-09 22:18:37 +00:00
2023-01-02 20:40:25 +00:00
/// Any of the built-in values that the Dioxus VirtualDom supports as dynamic attributes on elements that are borrowed
///
/// These varients are used to communicate what the value of an attribute is that needs to be updated
#[ cfg_attr(feature = " serialize " , derive(serde::Serialize, serde::Deserialize)) ]
#[ cfg_attr(feature = " serialize " , serde(untagged)) ]
pub enum BorrowedAttributeValue < ' a > {
/// Text attribute
Text ( & ' a str ) ,
2022-12-09 22:18:37 +00:00
2023-01-02 20:40:25 +00:00
/// A float
Float ( f64 ) ,
2022-12-09 22:18:37 +00:00
2023-01-02 20:40:25 +00:00
/// Signed integer
Int ( i64 ) ,
2022-12-09 22:18:37 +00:00
2023-01-02 20:40:25 +00:00
/// Boolean
Bool ( bool ) ,
2022-12-10 18:50:15 +00:00
2023-01-02 20:40:25 +00:00
/// An arbitrary value that implements PartialEq and is static
#[ cfg_attr(
feature = " serialize " ,
serde (
deserialize_with = " deserialize_any_value " ,
serialize_with = " serialize_any_value "
)
) ]
2023-01-03 03:26:12 +00:00
Any ( std ::cell ::Ref < ' a , dyn AnyValue > ) ,
2022-12-11 23:31:15 +00:00
2023-01-02 20:40:25 +00:00
/// A "none" value, resulting in the removal of an attribute from the dom
None ,
2022-12-10 18:50:15 +00:00
}
2023-01-02 20:40:25 +00:00
impl < ' a > From < & ' a AttributeValue < ' a > > for BorrowedAttributeValue < ' a > {
fn from ( value : & ' a AttributeValue < ' a > ) -> Self {
match value {
AttributeValue ::Text ( value ) = > BorrowedAttributeValue ::Text ( value ) ,
AttributeValue ::Float ( value ) = > BorrowedAttributeValue ::Float ( * value ) ,
AttributeValue ::Int ( value ) = > BorrowedAttributeValue ::Int ( * value ) ,
AttributeValue ::Bool ( value ) = > BorrowedAttributeValue ::Bool ( * value ) ,
AttributeValue ::Listener ( _ ) = > {
panic! ( " A listener cannot be turned into a borrowed value " )
}
2023-01-03 03:26:12 +00:00
AttributeValue ::Any ( value ) = > {
let value = value . borrow ( ) ;
BorrowedAttributeValue ::Any ( std ::cell ::Ref ::map ( value , | value | {
& * * value . as_ref ( ) . unwrap ( )
} ) )
}
2023-01-02 20:40:25 +00:00
AttributeValue ::None = > BorrowedAttributeValue ::None ,
}
2022-12-10 18:50:15 +00:00
}
2023-01-02 20:40:25 +00:00
}
2022-12-10 18:50:15 +00:00
2023-01-02 20:40:25 +00:00
impl Debug for BorrowedAttributeValue < '_ > {
fn fmt ( & self , f : & mut std ::fmt ::Formatter < '_ > ) -> std ::fmt ::Result {
match self {
Self ::Text ( arg0 ) = > f . debug_tuple ( " Text " ) . field ( arg0 ) . finish ( ) ,
Self ::Float ( arg0 ) = > f . debug_tuple ( " Float " ) . field ( arg0 ) . finish ( ) ,
Self ::Int ( arg0 ) = > f . debug_tuple ( " Int " ) . field ( arg0 ) . finish ( ) ,
Self ::Bool ( arg0 ) = > f . debug_tuple ( " Bool " ) . field ( arg0 ) . finish ( ) ,
Self ::Any ( _ ) = > f . debug_tuple ( " Any " ) . field ( & " ... " ) . finish ( ) ,
Self ::None = > write! ( f , " None " ) ,
}
2022-12-10 18:50:15 +00:00
}
}
2023-01-02 20:40:25 +00:00
impl PartialEq for BorrowedAttributeValue < '_ > {
fn eq ( & self , other : & Self ) -> bool {
match ( self , other ) {
( Self ::Text ( l0 ) , Self ::Text ( r0 ) ) = > l0 = = r0 ,
( Self ::Float ( l0 ) , Self ::Float ( r0 ) ) = > l0 = = r0 ,
( Self ::Int ( l0 ) , Self ::Int ( r0 ) ) = > l0 = = r0 ,
( Self ::Bool ( l0 ) , Self ::Bool ( r0 ) ) = > l0 = = r0 ,
( Self ::Any ( l0 ) , Self ::Any ( r0 ) ) = > l0 . any_cmp ( & * * r0 ) ,
_ = > core ::mem ::discriminant ( self ) = = core ::mem ::discriminant ( other ) ,
}
}
2022-12-10 18:50:15 +00:00
}
2022-12-09 22:18:37 +00:00
#[ cfg(feature = " serialize " ) ]
2023-01-03 03:26:12 +00:00
fn serialize_any_value < S > ( _ : & cell ::Ref < '_ , dyn AnyValue > , _ : S ) -> Result < S ::Ok , S ::Error >
2023-01-02 20:40:25 +00:00
where
S : serde ::Serializer ,
{
panic! ( " Any cannot be serialized " )
2022-12-09 22:18:37 +00:00
}
#[ cfg(feature = " serialize " ) ]
2023-01-03 03:26:12 +00:00
fn deserialize_any_value < ' de , ' a , D > ( _ : D ) -> Result < cell ::Ref < ' a , dyn AnyValue > , D ::Error >
2023-01-02 20:40:25 +00:00
where
D : serde ::Deserializer < ' de > ,
{
panic! ( " Any cannot be deserialized " )
2022-12-09 22:18:37 +00:00
}
2022-11-29 21:46:25 +00:00
2022-11-04 00:34:42 +00:00
impl < ' a > std ::fmt ::Debug for AttributeValue < ' a > {
fn fmt ( & self , f : & mut std ::fmt ::Formatter < '_ > ) -> std ::fmt ::Result {
match self {
Self ::Text ( arg0 ) = > f . debug_tuple ( " Text " ) . field ( arg0 ) . finish ( ) ,
Self ::Float ( arg0 ) = > f . debug_tuple ( " Float " ) . field ( arg0 ) . finish ( ) ,
Self ::Int ( arg0 ) = > f . debug_tuple ( " Int " ) . field ( arg0 ) . finish ( ) ,
Self ::Bool ( arg0 ) = > f . debug_tuple ( " Bool " ) . field ( arg0 ) . finish ( ) ,
2022-11-08 06:55:22 +00:00
Self ::Listener ( _ ) = > f . debug_tuple ( " Listener " ) . finish ( ) ,
Self ::Any ( _ ) = > f . debug_tuple ( " Any " ) . finish ( ) ,
2022-11-04 00:34:42 +00:00
Self ::None = > write! ( f , " None " ) ,
}
}
}
impl < ' a > PartialEq for AttributeValue < ' a > {
fn eq ( & self , other : & Self ) -> bool {
match ( self , other ) {
( Self ::Text ( l0 ) , Self ::Text ( r0 ) ) = > l0 = = r0 ,
( Self ::Float ( l0 ) , Self ::Float ( r0 ) ) = > l0 = = r0 ,
( Self ::Int ( l0 ) , Self ::Int ( r0 ) ) = > l0 = = r0 ,
( Self ::Bool ( l0 ) , Self ::Bool ( r0 ) ) = > l0 = = r0 ,
2022-11-08 06:55:22 +00:00
( Self ::Listener ( _ ) , Self ::Listener ( _ ) ) = > true ,
2023-01-03 03:26:12 +00:00
( Self ::Any ( l0 ) , Self ::Any ( r0 ) ) = > {
let l0 = l0 . borrow ( ) ;
let r0 = r0 . borrow ( ) ;
l0 . as_ref ( ) . unwrap ( ) . any_cmp ( & * * r0 . as_ref ( ) . unwrap ( ) )
}
2022-12-09 22:18:37 +00:00
_ = > false ,
2022-11-04 00:34:42 +00:00
}
}
}
2022-12-12 03:25:55 +00:00
#[ doc(hidden) ]
2022-12-26 14:37:50 +00:00
pub trait AnyValue : 'static {
2022-11-04 00:34:42 +00:00
fn any_cmp ( & self , other : & dyn AnyValue ) -> bool ;
2022-12-26 14:37:50 +00:00
fn as_any ( & self ) -> & dyn Any ;
fn type_id ( & self ) -> TypeId {
self . as_any ( ) . type_id ( )
}
2022-10-28 04:58:47 +00:00
}
2022-11-08 06:55:22 +00:00
2022-12-26 14:37:50 +00:00
impl < T : Any + PartialEq + 'static > AnyValue for T {
2022-11-04 00:34:42 +00:00
fn any_cmp ( & self , other : & dyn AnyValue ) -> bool {
2022-12-26 14:41:37 +00:00
if let Some ( other ) = other . as_any ( ) . downcast_ref ( ) {
self = = other
} else {
2022-12-29 02:42:47 +00:00
false
2022-10-28 04:58:47 +00:00
}
}
2022-12-11 23:31:15 +00:00
2022-12-26 14:37:50 +00:00
fn as_any ( & self ) -> & dyn Any {
self
2022-12-11 23:31:15 +00:00
}
}
2022-12-03 00:24:49 +00:00
#[ doc(hidden) ]
pub trait ComponentReturn < ' a , A = ( ) > {
fn into_return ( self , cx : & ' a ScopeState ) -> RenderReturn < ' a > ;
}
impl < ' a > ComponentReturn < ' a > for Element < ' a > {
fn into_return ( self , _cx : & ScopeState ) -> RenderReturn < ' a > {
2022-12-20 19:13:06 +00:00
match self {
Some ( node ) = > RenderReturn ::Ready ( node ) ,
2022-12-24 00:43:19 +00:00
None = > RenderReturn ::default ( ) ,
2022-12-20 19:13:06 +00:00
}
2022-12-03 00:24:49 +00:00
}
}
#[ doc(hidden) ]
pub struct AsyncMarker ;
impl < ' a , F > ComponentReturn < ' a , AsyncMarker > for F
where
F : Future < Output = Element < ' a > > + ' a ,
{
fn into_return ( self , cx : & ' a ScopeState ) -> RenderReturn < ' a > {
let f : & mut dyn Future < Output = Element < ' a > > = cx . bump ( ) . alloc ( self ) ;
2022-12-25 06:43:22 +00:00
RenderReturn ::Pending ( unsafe { BumpBox ::from_raw ( f ) } )
2022-12-03 00:24:49 +00:00
}
}
impl < ' a > RenderReturn < ' a > {
pub ( crate ) unsafe fn extend_lifetime_ref < ' c > ( & self ) -> & ' c RenderReturn < ' c > {
unsafe { std ::mem ::transmute ( self ) }
}
pub ( crate ) unsafe fn extend_lifetime < ' c > ( self ) -> RenderReturn < ' c > {
unsafe { std ::mem ::transmute ( self ) }
}
}
/// A trait that allows various items to be converted into a dynamic node for the rsx macro
pub trait IntoDynNode < ' a , A = ( ) > {
/// Consume this item along with a scopestate and produce a DynamicNode
///
/// You can use the bump alloactor of the scopestate to creat the dynamic node
fn into_vnode ( self , cx : & ' a ScopeState ) -> DynamicNode < ' a > ;
}
impl < ' a > IntoDynNode < ' a > for ( ) {
fn into_vnode ( self , _cx : & ' a ScopeState ) -> DynamicNode < ' a > {
DynamicNode ::default ( )
}
}
impl < ' a > IntoDynNode < ' a > for VNode < ' a > {
fn into_vnode ( self , _cx : & ' a ScopeState ) -> DynamicNode < ' a > {
DynamicNode ::Fragment ( _cx . bump ( ) . alloc ( [ self ] ) )
}
}
2022-12-05 22:16:54 +00:00
2022-12-12 19:20:25 +00:00
impl < ' a > IntoDynNode < ' a > for DynamicNode < ' a > {
fn into_vnode ( self , _cx : & ' a ScopeState ) -> DynamicNode < ' a > {
self
}
}
2022-12-03 00:24:49 +00:00
impl < ' a , T : IntoDynNode < ' a > > IntoDynNode < ' a > for Option < T > {
fn into_vnode ( self , _cx : & ' a ScopeState ) -> DynamicNode < ' a > {
match self {
Some ( val ) = > val . into_vnode ( _cx ) ,
None = > DynamicNode ::default ( ) ,
}
}
}
impl < ' a > IntoDynNode < ' a > for & Element < ' a > {
fn into_vnode ( self , _cx : & ' a ScopeState ) -> DynamicNode < ' a > {
match self . as_ref ( ) {
2022-12-20 02:06:13 +00:00
Some ( val ) = > val . clone ( ) . into_vnode ( _cx ) ,
2022-12-03 00:24:49 +00:00
_ = > DynamicNode ::default ( ) ,
}
}
}
impl < ' a , ' b > IntoDynNode < ' a > for LazyNodes < ' a , ' b > {
fn into_vnode ( self , cx : & ' a ScopeState ) -> DynamicNode < ' a > {
DynamicNode ::Fragment ( cx . bump ( ) . alloc ( [ self . call ( cx ) ] ) )
}
}
impl < ' a > IntoDynNode < '_ > for & ' a str {
fn into_vnode ( self , cx : & ScopeState ) -> DynamicNode {
cx . text_node ( format_args! ( " {} " , self ) )
}
}
impl IntoDynNode < '_ > for String {
fn into_vnode ( self , cx : & ScopeState ) -> DynamicNode {
cx . text_node ( format_args! ( " {} " , self ) )
}
}
impl < ' b > IntoDynNode < ' b > for Arguments < '_ > {
fn into_vnode ( self , cx : & ' b ScopeState ) -> DynamicNode < ' b > {
cx . text_node ( self )
}
}
impl < ' a > IntoDynNode < ' a > for & ' a VNode < ' a > {
fn into_vnode ( self , _cx : & ' a ScopeState ) -> DynamicNode < ' a > {
DynamicNode ::Fragment ( _cx . bump ( ) . alloc ( [ VNode {
parent : self . parent ,
2022-12-20 01:28:44 +00:00
template : self . template . clone ( ) ,
2022-12-21 18:50:48 +00:00
root_ids : self . root_ids . clone ( ) ,
2022-12-03 00:24:49 +00:00
key : self . key ,
dynamic_nodes : self . dynamic_nodes ,
dynamic_attrs : self . dynamic_attrs ,
} ] ) )
}
}
pub trait IntoTemplate < ' a > {
fn into_template ( self , _cx : & ' a ScopeState ) -> VNode < ' a > ;
}
impl < ' a > IntoTemplate < ' a > for VNode < ' a > {
fn into_template ( self , _cx : & ' a ScopeState ) -> VNode < ' a > {
self
}
}
2022-12-07 21:39:22 +00:00
impl < ' a > IntoTemplate < ' a > for Element < ' a > {
fn into_template ( self , _cx : & ' a ScopeState ) -> VNode < ' a > {
match self {
2022-12-20 02:06:13 +00:00
Some ( val ) = > val . into_template ( _cx ) ,
2022-12-07 21:39:22 +00:00
_ = > VNode ::empty ( ) . unwrap ( ) ,
}
}
}
2022-12-03 00:24:49 +00:00
impl < ' a , ' b > IntoTemplate < ' a > for LazyNodes < ' a , ' b > {
fn into_template ( self , cx : & ' a ScopeState ) -> VNode < ' a > {
self . call ( cx )
}
}
// Note that we're using the E as a generic but this is never crafted anyways.
#[ doc(hidden) ]
pub struct FromNodeIterator ;
impl < ' a , T , I > IntoDynNode < ' a , FromNodeIterator > for T
where
T : Iterator < Item = I > ,
I : IntoTemplate < ' a > ,
{
fn into_vnode ( self , cx : & ' a ScopeState ) -> DynamicNode < ' a > {
let mut nodes = bumpalo ::collections ::Vec ::new_in ( cx . bump ( ) ) ;
nodes . extend ( self . into_iter ( ) . map ( | node | node . into_template ( cx ) ) ) ;
match nodes . into_bump_slice ( ) {
children if children . is_empty ( ) = > DynamicNode ::default ( ) ,
children = > DynamicNode ::Fragment ( children ) ,
}
}
}
/// A value that can be converted into an attribute value
pub trait IntoAttributeValue < ' a > {
/// Convert into an attribute value
fn into_value ( self , bump : & ' a Bump ) -> AttributeValue < ' a > ;
}
2023-01-03 03:26:12 +00:00
impl < ' a > IntoAttributeValue < ' a > for AttributeValue < ' a > {
fn into_value ( self , _ : & ' a Bump ) -> AttributeValue < ' a > {
self
}
}
2022-12-03 00:24:49 +00:00
impl < ' a > IntoAttributeValue < ' a > for & ' a str {
fn into_value ( self , _ : & ' a Bump ) -> AttributeValue < ' a > {
AttributeValue ::Text ( self )
}
}
2022-12-09 22:18:37 +00:00
2022-12-03 00:24:49 +00:00
impl < ' a > IntoAttributeValue < ' a > for f64 {
fn into_value ( self , _ : & ' a Bump ) -> AttributeValue < ' a > {
AttributeValue ::Float ( self )
}
}
2022-12-09 22:18:37 +00:00
2022-12-03 00:24:49 +00:00
impl < ' a > IntoAttributeValue < ' a > for i64 {
fn into_value ( self , _ : & ' a Bump ) -> AttributeValue < ' a > {
AttributeValue ::Int ( self )
}
}
2022-12-09 22:18:37 +00:00
2022-12-03 00:24:49 +00:00
impl < ' a > IntoAttributeValue < ' a > for bool {
fn into_value ( self , _ : & ' a Bump ) -> AttributeValue < ' a > {
AttributeValue ::Bool ( self )
}
}
2022-12-09 22:18:37 +00:00
2022-12-03 00:24:49 +00:00
impl < ' a > IntoAttributeValue < ' a > for Arguments < '_ > {
fn into_value ( self , bump : & ' a Bump ) -> AttributeValue < ' a > {
use bumpalo ::core_alloc ::fmt ::Write ;
let mut str_buf = bumpalo ::collections ::String ::new_in ( bump ) ;
str_buf . write_fmt ( self ) . unwrap ( ) ;
AttributeValue ::Text ( str_buf . into_bump_str ( ) )
}
2022-10-28 04:58:47 +00:00
}
2022-12-09 22:18:37 +00:00
2023-01-02 20:40:25 +00:00
impl < ' a > IntoAttributeValue < ' a > for BumpBox < ' a , dyn AnyValue > {
2022-12-09 22:18:37 +00:00
fn into_value ( self , _ : & ' a Bump ) -> AttributeValue < ' a > {
2023-01-03 03:26:12 +00:00
AttributeValue ::Any ( RefCell ::new ( Some ( self ) ) )
2022-12-09 22:18:37 +00:00
}
}