Struct lamcal::HeadSpine

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

Head-Spine β-reduction to head normal form.

• Reduces the leftmost outermost redex first.
• Performs reductions inside lambda abstractions, but only in head position.

This strategy is uniform as its definition involves no other reduction strategy.

Trait Implementations

impl<A: Default> Default for HeadSpine<A>

fn default() -> HeadSpine<A>

Returns the "default value" for a type.

impl<A: Debug> Debug for HeadSpine<A>

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

Formats the value using the given formatter.

impl<A: Clone> Clone for HeadSpine<A>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Copy> Copy for HeadSpine<A>

impl<A: PartialEq> PartialEq for HeadSpine<A>

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

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

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

This method tests for !=.

impl<A> BetaReduce for HeadSpine<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.