ltext-0.1.5: Parameterized file evaluator
Contents
Index
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
concatInError
LText.Expr
concatLeft
LText.Expr
concatRight
LText.Expr
concatSource
LText.Expr
Context
1 (Type/Class)
LText.Type
2 (Data Constructor)
LText.Type
contextFresh
LText.Type
contextMap
LText.Type
decorateUnprintable
LText.Document
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
Ident
LText.Expr
ident
LText.Expr
initContext
LText.Type
initParseState
LText.Expr
InsideConcat
LText.Document
InsideExpr
LText.Document
InsideLambda
LText.Expr
isAnyUnprintable
LText.Document
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
litContent
LText.Expr
litInError
LText.Expr
litSource
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