Struct serde_reflection::Variable

pub struct Variable<T>(_);

A mutable holder for an initially unknown value.

Implementations

impl<T> Variable<T>

pub fn borrow(&self) -> Ref<'_, Option<T>>

pub fn borrow_mut(&self) -> RefMut<'_, Option<T>>

Trait Implementations

impl<T: Clone> Clone for Variable<T>

fn clone(&self) -> Variable<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for Variable<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Default> Default for Variable<T>

fn default() -> Variable<T>

Returns the "default value" for a type.

impl<T: Eq> Eq for Variable<T>

impl<T> FormatHolder for Variable<T> where
    T: FormatHolder + Debug + Clone, 

fn visit<'a>(
    &'a self,
    _f: &mut dyn FnMut(&'a Format) -> Result<()>
) -> Result<()>

Visit all the formats in self in a depth-first way. Variables are not supported and will cause an error.

fn visit_mut(
    &mut self,
    f: &mut dyn FnMut(&mut Format) -> Result<()>
) -> Result<()>

Mutably visit all the formats in self in a depth-first way. * Replace variables (if any) with their known values then apply the visiting function f. * Return an error if any variable has still an unknown value (thus cannot be removed).

fn unify(&mut self, _other: Variable<T>) -> Result<()>

Update variables and add missing enum variants so that the terms match. This is a special case of term unification: * Variables occurring in other must be "fresh" and distinct from each other. By "fresh", we mean that they do not occur in self and have no known value yet. * If needed, enums in self will be extended with new variants taken from other. * Although the parameter other is consumed (i.e. taken by value), all variables occurring either in self or other are correctly updated.

fn is_unknown(&self) -> bool

Whether this format is a variable with no known value yet.

fn normalize(&mut self) -> Result<()>

Finalize the formats within self by removing variables and making sure that all eligible tuples are compressed into a TupleArray. Return an error if any variable has an unknown value.

fn reduce(&mut self)

Attempt to remove known variables within self. Silently abort if some variables have unknown values.

impl<T: PartialEq> PartialEq<Variable<T>> for Variable<T>

fn eq(&self, other: &Variable<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Variable<T>) -> bool

This method tests for !=.

impl<T> StructuralEq for Variable<T>

impl<T> StructuralPartialEq for Variable<T>