pub enum PaneOperationFamily {
Local,
Structural,
}Expand description
Semantic family of a pane operation.
The family partitions operations by how far their effect can reach in the
tree, which is what makes certified fast paths sound. Local operations
admit cheaper application and validation; Structural operations always use
the conservative clone-and-full-validate baseline. The family is the single
source of truth for the per-operation execution and validation strategy, so
the “escalation decision” for any operation is fully recoverable from its
PaneOperationKind.
Variants§
Local
Bounded mutation whose effect is confined to a single split node and its
immediate parent/child closure (currently only SetSplitRatio). Eligible
for the in-place atomic apply path and local-closure validation, both of
which are proven equivalent to the conservative baseline.
Structural
Topology-changing mutation that can affect arbitrary regions of the tree
(SplitLeaf, CloseNode, MoveSubtree, SwapNodes, NormalizeRatios).
Always uses the conservative clone-and-whole-tree-validate path.
Trait Implementations§
Source§impl Clone for PaneOperationFamily
impl Clone for PaneOperationFamily
Source§fn clone(&self) -> PaneOperationFamily
fn clone(&self) -> PaneOperationFamily
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreimpl Copy for PaneOperationFamily
Source§impl Debug for PaneOperationFamily
impl Debug for PaneOperationFamily
Source§impl<'de> Deserialize<'de> for PaneOperationFamily
impl<'de> Deserialize<'de> for PaneOperationFamily
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
impl Eq for PaneOperationFamily
Source§impl PartialEq for PaneOperationFamily
impl PartialEq for PaneOperationFamily
Source§fn eq(&self, other: &PaneOperationFamily) -> bool
fn eq(&self, other: &PaneOperationFamily) -> bool
self and other values to be equal, and is used by ==.