Lambs.Eval

data Exec

An Exec is used to represent one step of execution. Is one of following:

• A Reduce, for one step of beta reduction, with:
  1. old Term
  2. the Term after one step of beta reduction
• A Rename, for the renaming of one variable (one parameter and every reference to it). Typically for avoiding variable capture. Has:
  1. old name of variable
  2. old Term
  3. new name of variable
  4. the Term with variable renamed to new name
• A Normal, for the, ah, determination that a Term is on normal form. Has:
  1. the Term that is on normal form

Constructors

• Reduce Term Term
• Rename String Term String Term
• Normal Term

Instances

• Generic Exec
• Show Exec
• Eq Exec
• Ord Exec

stepExec :: Term -> Exec

For performing one step of execution.