Struct exprz::buffered::Expr

pub struct Expr<T, LengthIndex = usize, ShapeIndex = usize> { /* fields omitted */ }

This is supported on crate feature buffered only.

Buffered Expression Type

Trait Implementations

impl<T: Clone, LengthIndex: Clone, ShapeIndex: Clone> Clone for Expr<T, LengthIndex, ShapeIndex>

fn clone(&self) -> Expr<T, LengthIndex, ShapeIndex>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug, LengthIndex: Debug, ShapeIndex: Debug> Debug for Expr<T, LengthIndex, ShapeIndex>

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

Formats the value using the given formatter.

impl<T: Eq, LengthIndex: Eq, ShapeIndex: Eq> Eq for Expr<T, LengthIndex, ShapeIndex>

impl<T> Expression for Expr<T>

type Atom = Vec<T>

Atomic Element Type

type Group = ExprGroup<T>

Group Expression Type

fn cases(&self) -> ExprRef<'_, Self>

Returns a reference to the underlying Expression type.

fn from_atom(atom: Self::Atom) -> Self

Builds an Expression from an atomic element.

fn from_group(group: Self::Group) -> Self

Builds an Expression from a grouped expression.

#[must_use]fn from_expr(expr: Expr<Self>) -> Self

Converts from the canonical enumeration.

fn from_str(s: &str) -> Result<Self, FromCharactersParseError> where
    Self::Atom: FromIterator<char>,
    Self::Group: FromIterator<Self>, 

This is supported on crate feature parse only.

Parses a string into an Expression.

#[must_use]fn is_atom(&self) -> bool

Checks if the Expression is atomic.

#[must_use]fn is_group(&self) -> bool

Checks if the Expression is a grouped expression.

#[must_use]fn atom(self) -> Option<Self::Atom>

Converts from an Expression to an Option<E::Atom>.

#[must_use]fn atom_ref(&self) -> Option<&Self::Atom>

Converts from an &Expression to an Option<&Expression::Atom>.

#[must_use]fn group(self) -> Option<Self::Group>

Converts from an Expression to an Option<Expression::Group>.

#[must_use]fn group_ref(&self) -> Option<GroupRef<'_, Self>>

Converts from an &Expression to an Option<GroupRef>.

fn default_atom<T>() -> Self::Atom where
    Self::Atom: FromIterator<T>, 

Builds an empty atomic expression.

fn default_group() -> Self::Group where
    Self::Group: FromIterator<Self>, 

Builds an empty grouped expression.

fn empty() -> Self where
    Self::Group: FromIterator<Self>, 

Returns the default value of an Expression: the empty group.

fn empty_atom<T>() -> Self where
    Self::Atom: FromIterator<T>, 

Builds an empty atomic expression.

fn empty_group() -> Self where
    Self::Group: FromIterator<Self>, 

Builds an empty grouped expression.

fn clone(&self) -> Self where
    Self::Atom: Clone,
    Self::Group: FromIterator<Self>, 

Clones an Expression that has Clone-able Atoms.

fn eq<E>(&self, other: &E) -> bool where
    E: Expression,
    Self::Atom: PartialEq<E::Atom>, 

Checks if two Expressions are equal using PartialEq on their Atoms.

fn is_subexpression<E>(&self, other: &E) -> bool where
    E: Expression,
    Self::Atom: PartialEq<E::Atom>, 

Checks if an Expression is a sub-tree of another Expression using PartialEq on their Atoms.

fn matches<P>(&self, pattern: P) -> bool where
    P: Pattern<Self>, 

This is supported on crate feature pattern only.

Checks if expression matches given Pattern.

fn matches_equal<P>(&self, pattern: &P) -> bool where
    P: Expression,
    P::Atom: PartialEq<Self::Atom>, 

This is supported on crate feature pattern only.

Checks if self matches an equality pattern.

fn matches_subexpression<P>(&self, pattern: &P) -> bool where
    P: Expression,
    P::Atom: PartialEq<Self::Atom>, 

This is supported on crate feature pattern only.

Checks if self matches a subexpression pattern.

fn matches_basic_shape<P>(&self, pattern: &P) -> bool where
    P: Expression<Atom = BasicShape>,
    P::Atom: PartialEq<Self::Atom>, 

This is supported on crate feature pattern only.

Checks if self matches a basic shape pattern.

fn matches_wildcard<W, P>(&self, is_wildcard: W, pattern: &P) -> bool where
    P: Expression,
    P::Atom: PartialEq<Self::Atom>,
    W: Fn(&P::Atom) -> bool, 

This is supported on crate feature pattern only.

Checks if self matches a wildcard expression.

fn map<E, F>(self, f: F) -> E where
    Self::Group: IntoIterator<Item = Self>,
    E: Expression,
    E::Group: FromIterator<E>,
    F: FnMut(Self::Atom) -> E::Atom, 

Extends a function on Atoms to a function on Expressions.

fn map_ref<E, F>(&self, f: F) -> E where
    E: Expression,
    E::Group: FromIterator<E>,
    F: FnMut(&Self::Atom) -> E::Atom, 

Extends a function on &Atoms to a function on &Expressions.

fn substitute<F>(self, f: F) -> Self where
    Self::Group: FromIterator<Self> + IntoIterator<Item = Self>,
    F: FnMut(Self::Atom) -> Self, 

Substitutes an Expression into each Atom of self.

fn substitute_ref<F>(&self, f: F) -> Self where
    Self::Group: FromIterator<Self>,
    F: FnMut(&Self::Atom) -> Self, 

Substitutes an Expression into each &Atom of &self.

impl<'e, T> From<&'e Expr<T, usize, usize>> for ExprView<'e, T>

fn from(expr: &'e Expr<T>) -> Self

Performs the conversion.

impl<T> From<Expr<T, usize, usize>> for Expr<Expr<T>>

fn from(expr: Expr<T>) -> Self

Performs the conversion.

impl<T> Group<Expr<T, usize, usize>> for ExprGroup<T>

type Ref = ExprGroupReference<'e, T>

Group Reference Type

fn reference(&self) -> Self::Ref

Returns an inner reference to the group.

fn size_hint(&self) -> (usize, Option<usize>)

Returns a size hint for the underlying iterator.

fn len(&self) -> Option<usize>

Returns the length of the group if it is known exactly.

fn is_empty(&self) -> bool

Returns true if the length of the group is known to be exactly zero.

fn empty() -> E::Group where
    E::Group: FromIterator<E>, 

Builds an empty group.

fn clone(&self) -> E::Group where
    E::Atom: Clone,
    E::Group: FromIterator<E>, 

Returns a cloned expression group.

fn substitute<F>(self, f: F) -> E::Group where
    Self: Sized + IntoIterator<Item = E>,
    E::Group: FromIterator<E> + IntoIterator<Item = E>,
    F: FnMut(E::Atom) -> E, 

Performs substitution over the Group.

fn substitute_ref<F>(&self, f: F) -> E::Group where
    E::Group: FromIterator<E>,
    F: FnMut(&E::Atom) -> E, 

Performs substitution over the Group by reference.

impl<T> GroupReference<Expr<T, usize, usize>> for ExprGroupReference<'_, T>

type Item = ExprView<'e, T>

Element of a GroupReference

type Iter = ExprViewIterator<'e, T>

Iterator over GroupReference::Item

fn iter(&self) -> Self::Iter

Returns a group reference iterator.

fn size_hint(&self) -> (usize, Option<usize>)

Returns a size hint for the underlying iterator.

fn len(&self) -> Option<usize>

Returns the length of the group reference if it is known exactly.

fn is_empty(&self) -> bool

Returns true if the length of the group reference is known to be exactly zero.

fn get(&self, index: usize) -> Option<Self::Item>

Returns a reference to an element at the given position.

fn to_owned(&self) -> E::Group where
    E::Atom: Clone,
    E::Group: FromIterator<E>, 

Returns new owned Group from a GroupReference.

fn substitute_ref<F>(&self, f: F) -> E::Group where
    E::Group: FromIterator<E>,
    F: FnMut(&E::Atom) -> E, 

Performs substitution over the underlying Group by reference.

impl<T: PartialEq, LengthIndex: PartialEq, ShapeIndex: PartialEq> PartialEq<Expr<T, LengthIndex, ShapeIndex>> for Expr<T, LengthIndex, ShapeIndex>

fn eq(&self, other: &Expr<T, LengthIndex, ShapeIndex>) -> bool

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

fn ne(&self, other: &Expr<T, LengthIndex, ShapeIndex>) -> bool

This method tests for !=.

impl<'e, T> Reference<'e, Expr<T, usize, usize>> for ExprView<'e, T>

fn cases(self) -> ExprRef<'e, Expr<T>>

Returns the inner expression reference.

#[must_use]fn is_atom(self) -> bool where
    Self: Sized, 

Checks if the Reference is an atomic expression &E::Atom.

#[must_use]fn is_group(self) -> bool where
    Self: Sized, 

Checks if the Reference is a grouped expression Group<E>::Ref.

#[must_use]fn atom(self) -> Option<&'e E::Atom> where
    Self: Sized, 

Converts from a Reference<E> to an Option<&E::Atom>.

#[must_use]fn group(self) -> Option<GroupRef<'e, E>> where
    Self: Sized, 

Converts from a Reference<E> to an Option<GroupRef<E>>.

fn to_owned(self) -> E where
    Self: Sized,
    E::Atom: Clone,
    E::Group: FromIterator<E>, 

Returns new owned copy of the underlying Expression.

fn substitute_ref<F>(self, f: F) -> E where
    E::Group: FromIterator<E>,
    F: FnMut(&E::Atom) -> E, 

Performs substitution over the Expression by reference.

impl<T, LengthIndex, ShapeIndex> StructuralEq for Expr<T, LengthIndex, ShapeIndex>

impl<T, LengthIndex, ShapeIndex> StructuralPartialEq for Expr<T, LengthIndex, ShapeIndex>