Index
| AlphEq | Language.Elsa.Types, Language.Elsa |
| BetaEq | Language.Elsa.Types, Language.Elsa |
| Bind | |
| 1 (Type/Class) | Language.Elsa.Types, Language.Elsa |
| 2 (Data Constructor) | Language.Elsa.Types, Language.Elsa |
| bindId | Language.Elsa.Types, Language.Elsa |
| bkLam | Language.Elsa.Types, Language.Elsa |
| Defn | |
| 1 (Type/Class) | Language.Elsa.Types, Language.Elsa |
| 2 (Data Constructor) | Language.Elsa.Types, Language.Elsa |
| DefnEq | Language.Elsa.Types, Language.Elsa |
| defns | Language.Elsa.Types, Language.Elsa |
| DupDefn | Language.Elsa.Types, Language.Elsa |
| DupEval | Language.Elsa.Types, Language.Elsa |
| EApp | Language.Elsa.Types, Language.Elsa |
| ELam | Language.Elsa.Types, Language.Elsa |
| Elsa | |
| 1 (Type/Class) | Language.Elsa.Types, Language.Elsa |
| 2 (Data Constructor) | Language.Elsa.Types, Language.Elsa |
| elsa | Language.Elsa.Eval, Language.Elsa |
| elsaOn | Language.Elsa.Eval, Language.Elsa |
| Eqn | Language.Elsa.Types, Language.Elsa |
| Eval | |
| 1 (Type/Class) | Language.Elsa.Types, Language.Elsa |
| 2 (Data Constructor) | Language.Elsa.Types, Language.Elsa |
| evals | Language.Elsa.Types, Language.Elsa |
| EVar | Language.Elsa.Types, Language.Elsa |
| evName | Language.Elsa.Types, Language.Elsa |
| evRoot | Language.Elsa.Types, Language.Elsa |
| evSteps | Language.Elsa.Types, Language.Elsa |
| Expr | Language.Elsa.Types, Language.Elsa |
| failures | Language.Elsa.Types, Language.Elsa |
| Id | Language.Elsa.Types, Language.Elsa |
| Invalid | Language.Elsa.Types, Language.Elsa |
| mkErr | Language.Elsa.Types, Language.Elsa |
| mkLam | Language.Elsa.Types, Language.Elsa |
| NormEq | Language.Elsa.Types, Language.Elsa |
| OK | Language.Elsa.Types, Language.Elsa |
| parse | Language.Elsa.Parser, Language.Elsa |
| parseFile | Language.Elsa.Parser, Language.Elsa |
| Partial | Language.Elsa.Types, Language.Elsa |
| RApp | Language.Elsa.Types, Language.Elsa |
| Result | Language.Elsa.Types, Language.Elsa |
| resultError | Language.Elsa.Types, Language.Elsa |
| RExpr | Language.Elsa.Types, Language.Elsa |
| rExpr | Language.Elsa.Types, Language.Elsa |
| RLam | Language.Elsa.Types, Language.Elsa |
| runElsa | Language.Elsa.Runner, Language.Elsa |
| runElsaId | Language.Elsa.Runner, Language.Elsa |
| RVar | Language.Elsa.Types, Language.Elsa |
| SBind | Language.Elsa.Types, Language.Elsa |
| SDefn | Language.Elsa.Types, Language.Elsa |
| SElsa | Language.Elsa.Types, Language.Elsa |
| SEqn | Language.Elsa.Types, Language.Elsa |
| SEval | Language.Elsa.Types, Language.Elsa |
| SExpr | Language.Elsa.Types, Language.Elsa |
| SResult | Language.Elsa.Types, Language.Elsa |
| SStep | Language.Elsa.Types, Language.Elsa |
| Step | |
| 1 (Type/Class) | Language.Elsa.Types, Language.Elsa |
| 2 (Data Constructor) | Language.Elsa.Types, Language.Elsa |
| successes | Language.Elsa.Types, Language.Elsa |
| tag | Language.Elsa.Types, Language.Elsa |
| Tagged | Language.Elsa.Types, Language.Elsa |
| topMain | Language.Elsa.Runner, Language.Elsa |
| TrnsEq | Language.Elsa.Types, Language.Elsa |
| UnBeta | Language.Elsa.Types, Language.Elsa |
| Unbound | Language.Elsa.Types, Language.Elsa |
| UnTrEq | Language.Elsa.Types, Language.Elsa |