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 |