Struct lamcal::NormalOrder

pub struct NormalOrder<A> { /* fields omitted */ }

Normal-Order β-reduction to normal form.

• Reduces the leftmost outermost redex first.
• In an application (e1 e2) the function term e1 is reduced using the call-by-name strategy (CallByName).
• Any redex that is contracted is the leftmost one not contained in any other redex.
• Reductions are performed also under lambda abstractions.

This strategy is a hybrid as it uses call-by-name for the reduction of the expression e1 in function position in applications (e1 e2).

Trait Implementations

impl<A: Default> Default for NormalOrder<A>

fn default() -> NormalOrder<A>

Returns the "default value" for a type.

impl<A: Debug> Debug for NormalOrder<A>

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

Formats the value using the given formatter.

impl<A: Clone> Clone for NormalOrder<A>

fn clone(&self) -> NormalOrder<A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Copy> Copy for NormalOrder<A>

impl<A: PartialEq> PartialEq for NormalOrder<A>

fn eq(&self, other: &NormalOrder<A>) -> bool

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

fn ne(&self, other: &NormalOrder<A>) -> bool

This method tests for !=.

impl<A> BetaReduce for NormalOrder<A> where     A: AlphaRename,

fn reduce_inspected(     expr: Term,     inspect: &mut impl Inspect ) -> Term

Performs β-reduction allowing to inspect the current term before each contraction.

fn reduce(expr: Term) -> Term

Performs β-reduction on the given Term and returns the result.

fn reduce_once(expr: Term) -> Term

Performs one step of β-reduction on the given Term and returns the result.