lambda-calculator-2.0.0: A lambda calculus interpreter

Index

Abs 
1 (Data Constructor)Language.SystemF.Expression, Language.SystemF
2 (Data Constructor)Language.Lambda.Expression, Language.Lambda
addLanguage.Lambda.Util.PrettyPrint
addSpaceLanguage.Lambda.Util.PrettyPrint
alphaConvertLanguage.Lambda.Eval
App 
1 (Data Constructor)Language.SystemF.Expression, Language.SystemF
2 (Data Constructor)Language.Lambda.Expression, Language.Lambda
appendLanguage.Lambda.Util.PrettyPrint
betaReduceLanguage.Lambda.Eval
betweenLanguage.Lambda.Util.PrettyPrint
betweenParensLanguage.Lambda.Util.PrettyPrint
ContextLanguage.SystemF.TypeCheck
emptyLanguage.Lambda.Util.PrettyPrint
etaConvertLanguage.Lambda.Eval
evalExprLanguage.Lambda.Eval, Language.Lambda
evalString 
1 (Function)Language.SystemF
2 (Function)Language.Lambda
freeVarsOfLanguage.Lambda.Eval
intercalateLanguage.Lambda.Util.PrettyPrint
lambdaLanguage.Lambda.Util.PrettyPrint
LambdaExprLanguage.Lambda.Expression, Language.Lambda
ParseErrorLanguage.Lambda
parseExpr 
1 (Function)Language.SystemF.Parser, Language.SystemF
2 (Function)Language.Lambda.Parser, Language.Lambda
parseTypeLanguage.SystemF.Parser
PDoc 
1 (Type/Class)Language.Lambda.Util.PrettyPrint
2 (Data Constructor)Language.Lambda.Util.PrettyPrint
pprAbs 
1 (Function)Language.SystemF.Expression
2 (Function)Language.Lambda.Expression
pprApp 
1 (Function)Language.SystemF.Expression
2 (Function)Language.Lambda.Expression
pprExpr 
1 (Function)Language.SystemF.Expression
2 (Function)Language.Lambda.Expression
pprTAbsLanguage.SystemF.Expression
pprTAppLanguage.SystemF.Expression
pprTyLanguage.SystemF.Expression
pprTyArrowLanguage.SystemF.Expression
pprTyArrow'Language.SystemF.Expression
pprTyForAllLanguage.SystemF.Expression
PrettyPrintLanguage.Lambda.Util.PrettyPrint, Language.SystemF, Language.Lambda
prettyPrintLanguage.Lambda.Util.PrettyPrint, Language.SystemF, Language.Lambda
prettyPrint'Language.SystemF.Expression
spaceLanguage.Lambda.Util.PrettyPrint
sub 
1 (Function)Language.SystemF.TypeCheck
2 (Function)Language.Lambda.Eval
subTyLanguage.SystemF.TypeCheck
SystemFExprLanguage.SystemF.Expression, Language.SystemF
tcAbsLanguage.SystemF.TypeCheck
tcAppLanguage.SystemF.TypeCheck
tcTyAbsLanguage.SystemF.TypeCheck
tcTyAppLanguage.SystemF.TypeCheck
tcVarLanguage.SystemF.TypeCheck
TyLanguage.SystemF.Expression
TyAbsLanguage.SystemF.Expression, Language.SystemF
TyAppLanguage.SystemF.Expression, Language.SystemF
TyArrowLanguage.SystemF.Expression
TyForAllLanguage.SystemF.Expression
tyMismatchMsgLanguage.SystemF.TypeCheck
typecheckLanguage.SystemF.TypeCheck
TyVarLanguage.SystemF.Expression
uncurryLanguage.Lambda.Expression
uncurryAbsLanguage.SystemF.Expression
uncurryTAbsLanguage.SystemF.Expression
uniqueLanguage.SystemF.TypeCheck
uniquesLanguage.Lambda
UniqueSupplyLanguage.SystemF.TypeCheck
upperLambdaLanguage.Lambda.Util.PrettyPrint
Var 
1 (Data Constructor)Language.SystemF.Expression, Language.SystemF
2 (Data Constructor)Language.Lambda.Expression, Language.Lambda