Enum Reducible

pub enum Reducible<T> {
    Rule(Rule<T>),
    Reduction(Reduction<T>),
}

Either a Rule or a Reduction with the reductum being a Subrule.

Variants

Rule(Rule<T>)

Reduction(Reduction<T>)

Implementations

impl<T> Reducible<T>

pub fn rule(&self) -> Option<&Rule<T>>

Returns a reference to the inner value if this is a rule.

pub fn is_rule(&self) -> bool

Returns whether this is a rule.

pub fn into_rule(self) -> Option<Rule<T>>

Returns the inner value if this is a rule.

impl<T> Reducible<T>

pub fn reduction(&self) -> Option<&Reduction<T>>

Returns a reference to the inner value if this is a reduction.

pub fn is_reduction(&self) -> bool

Returns whether this is a reduction.

pub fn into_reduction(self) -> Option<Reduction<T>>

Returns the inner value if this is a reduction.

impl<T> Reducible<T>

pub fn origin(&self) -> &Ruleset<T>

Returns a reference to the ruleset this is originated from.

impl<T> Reducible<T>

pub fn subrule(&self) -> &Subrule<T>

Accesses a reference to the subrule in this variant transparently.

Methods from Deref<Target = Subrule<T>>

pub fn reduce(&self, input: &T) -> Match<T>

Performs a reduction based on this Subrule with an input.

Trait Implementations

impl<T> AsRef<Reducible<T>> for Reducible<T>

fn as_ref(&self) -> &Self

Converts this type into a shared reference of the (usually inferred) input type.

impl<T> AsRef<Subrule<T>> for Reducible<T>

fn as_ref(&self) -> &Subrule<T>

Converts this type into a shared reference of the (usually inferred) input type.

impl<T> Borrow<Subrule<T>> for Reducible<T>

fn borrow(&self) -> &Subrule<T>

Immutably borrows from an owned value.

impl<T> Clone for Reducible<T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Reducible<T>

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

Formats the value using the given formatter.

impl<T> Deref for Reducible<T>

type Target = Subrule<T>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<T> Display for Reducible<T>

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

Formats the value using the given formatter.

impl<T> From<Rule<T>> for Reducible<T>

fn from(rule: Rule<T>) -> Self

Converts to this type from the input type.

impl<T> Hash for Reducible<T>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T> TryFrom<Reduction<T>> for Reducible<T>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(reduction: Reduction<T>) -> Result<Self, Self::Error>

Performs the conversion.

impl<T> Send for Reducible<T>

impl<T> Sync for Reducible<T>