Enum exprz::ExprRef

pub enum ExprRef<'e, E> where
    E: 'e + Expression,  {
    Atom(&'e E::Atom),
    Group(GroupRef<'e, E>),
}

Internal Reference to an Expression Type

Variants

Atom(&'e E::Atom)

Reference to an atomic expression

Group(GroupRef<'e, E>)

Reference to a grouped expression

Implementations

impl<'e, E> ExprRef<'e, E> where
    E: Expression, 

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

Checks if the ExprRef is an atomic expression &Atom.

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

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

#[must_use]pub fn atom(self) -> Option<&'e E::Atom>

Converts from an [ExprRef<'e, E>] to an Option<&'e E::Atom>.

#[must_use]pub fn atom_ref(&self) -> Option<&'e E::Atom>

Converts from an &ExprRef<'e, E> to an Option<&'e E::Atom>.

#[must_use]pub fn group(self) -> Option<GroupRef<'e, E>>

Converts from an [ExprRef<'e, E>] to an Option<[GroupRef<'e, E>]>.

#[must_use]pub fn group_ref(&self) -> Option<&GroupRef<'e, E>>

Converts from an [&ExprRef<'e, E>] to an Option<[&GroupRef<'e, E>]>`.

pub fn is_subexpression<'r, R>(&self, other: &ExprRef<'r, R>) -> bool where
    R: Expression,
    E::Atom: PartialEq<R::Atom>, 

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

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

Returns new owned copy of the underlying expression.

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

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

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

Substitutes an Expression into each &Atom of &self.

pub fn eq_groups<'r, R>(lhs: &GroupRef<'e, E>, rhs: &GroupRef<'r, R>) -> bool where
    R: Expression,
    E::Atom: PartialEq<R::Atom>, 

Checks if two Group are equal pointwise.

Trait Implementations

impl<'e, E> Clone for ExprRef<'e, E> where
    E: Expression,
    GroupRef<'e, E>: Clone, 

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'e, E> Copy for ExprRef<'e, E> where
    E: Expression,
    GroupRef<'e, E>: Copy, 

impl<'e, E> From<&'e E> for ExprRef<'e, E> where
    E: Expression, 

fn from(expr: &'e E) -> Self

Performs the conversion.

impl<'e, E> From<&'e Expr<E>> for ExprRef<'e, E> where
    E: Expression, 

#[must_use]fn from(expr: &'e Expr<E>) -> Self

Performs the conversion.

impl<'e, E> From<ExprRef<'e, E>> for Expr<E> where
    E: Expression,
    E::Atom: Clone,
    E::Group: FromIterator<E>, 

#[must_use]fn from(expr: ExprRef<'e, E>) -> Self

Performs the conversion.

impl<'l, 'r, L, R> PartialEq<ExprRef<'r, R>> for ExprRef<'l, L> where
    L: Expression,
    R: Expression,
    L::Atom: PartialEq<R::Atom>, 

fn eq(&self, other: &ExprRef<'r, R>) -> bool

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

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'e, E> Reference<'e, E> for ExprRef<'e, E> where
    E: Expression, 

fn cases(self) -> Self

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.