ltext-0.1.2.1: Parameterized file evaluator (Index)

ltext-0.1.2.1: Parameterized file evaluator

Index

Abs	LText.Expr
App	LText.Expr
applySubst	LText.Type
AppM	Application.Types
Arrow	LText.Expr
arrow	LText.Expr
ArrowInScope	LText.Expr
ArrowWithoutLambda	LText.Expr
Bracketed	LText.Expr
bracketed	LText.Expr
BracketsInsideLambda	LText.Expr
CantUnify	LText.Type
Concat	LText.Expr
ConcatExprText	LText.Document
Context
1 (Type/Class)	LText.Type
2 (Data Constructor)	LText.Type
contextFresh	LText.Type
contextMap	LText.Type
delims	Application.Types
DocLevel	LText.Type
Document
1 (Type/Class)	LText.Document
2 (Data Constructor)	LText.Document
documentArity	LText.Document
DocumentBody	LText.Document
documentBody	LText.Document
EmptyExpression	LText.Expr
emptyTypeEnv	LText.Type
Env
1 (Type/Class)	Application.Types
2 (Data Constructor)	Application.Types
evaluate	LText.Eval
expectedType	LText.Type
Expr	LText.Expr
expr	LText.Expr
Expression	LText.Document
ExprType	LText.Type
fetchDocument	LText.Document
freeTVars	LText.Type
freeVars	LText.Eval
Fresh	LText.Expr
freshTVar	LText.Type
fromDocument	LText.Document
getBracketed	LText.Expr
getSubst	LText.Type
givenType	LText.Type
handleParseError	LText.Expr
handlePrintError	LText.Document
handleTypeError	LText.Type
hasConcatAbsLit	LText.Document
Ident	LText.Expr
ident	LText.Expr
initContext	LText.Type
initParseState	LText.Expr
InsideConcat	LText.Document
InsideExpr	LText.Document
InsideLambda	LText.Expr
IsType	LText.Type
isTypeQuery	Application.Types
Lambda	LText.Expr
lambda	LText.Expr
LambdaInsideLambda	LText.Expr
LambdaInStaleScope	LText.Expr
lex	LText.Expr
Lexeme	LText.Expr
LexerError	LText.Expr
Lit	LText.Expr
MonadApp	Application.Types
MonadParse	LText.Expr
MonadPrettyPrint	LText.Expr
MonadTypecheck	LText.Type
mostGeneralUnifier	LText.Type
NoExplicitDelimiters	LText.Document
OccursCheckFailure	LText.Type
parseDocument	LText.Document
ParseError	LText.Expr
parseExpr	LText.Expr
ParseState	LText.Expr
plaintextFiles	LText.Type
ppExpr	LText.Expr
ppType	LText.Type
PrintabilityMode	LText.Document
printDocument	LText.Document
PrintError	LText.Document
quantify	LText.Type
rawDocument	LText.Document
rawTerms	Application.Types
RawText	LText.Document
removeTVar	LText.Type
repackDocument	LText.Document
runAppM	Application.Types
runParse	LText.Expr
runParserT	LText.Expr
runTypeCheckM	LText.Type
Scheme
1 (Type/Class)	LText.Type
2 (Data Constructor)	LText.Type
schemeQuant	LText.Type
schemeType	LText.Type
Scope	LText.Expr
ScopeUse	LText.Expr
somewhatFreshTVar	LText.Type
Stale	LText.Expr
Subst
1 (Type/Class)	LText.Type
2 (Data Constructor)	LText.Type
substitute	LText.Eval
TArrow	LText.Type
Text	LText.Type
toDocument	LText.Document
TopLevel	LText.Type
topLevelExpr	Application.Types
toTypeEnv	LText.Type
TVar	LText.Type
Type	LText.Type
TypeCheckM	LText.Type
TypeEnv
1 (Type/Class)	LText.Type
2 (Data Constructor)	LText.Type
TypeError	LText.Type
typeInfer	LText.Type
typeOfTopLevel	LText.Type
UnboundVariable	LText.Type
unQuantify	LText.Type
Var	LText.Expr
varBind	LText.Type