curry-frontend-0.4.2: Lexer, parser, type checker, etc. for the Curry language

Index

++!Base.Utils
abortWithBase.Messages
abortWithMessageBase.Messages
abortWithMessagesBase.Messages
AbstractCurryCompilerOpts
AliasEnv.TypeConstructor
AliasEnvEnv.ModuleAlias
aliasEnvCompilerEnv
AliasTypeEnv.TypeConstructor
allEntitiesBase.TopEnv, Base.NestEnv
allImportsBase.TopEnv, Base.NestEnv
allLocalBindingsBase.TopEnv, Base.NestEnv
Alt 
1 (Type/Class)IL.Type, IL
2 (Data Constructor)IL.Type, IL
AnonFreeVarsCompilerOpts
ApplyIL.Type, IL
arrowArgsBase.Types
arrowArityBase.Types
arrowBaseBase.Types
arrowUnapplyBase.Types
bindFunEnv.Value
bindGlobalInfoEnv.Value
Binding 
1 (Type/Class)IL.Type, IL
2 (Data Constructor)IL.Type, IL
bindNestEnvBase.NestEnv
bindPEnv.OpPrec
bindSubstBase.Subst, Base.TypeSubst
bindTopEnvBase.TopEnv, Base.NestEnv
bindTypeInfoEnv.TypeConstructor
bindVarBase.TypeSubst
boolTypeBase.Types
buildCurryCurryBuilder
bvBase.Expr
CallConvIL.Type, IL
CaseIL.Type, IL
CCallIL.Type, IL
CharIL.Type, IL
CharCodeHtml.SyntaxColoring
charTypeBase.Types
CheckChecks
checkModuleModules
checkModuleHeaderModules
CodeHtml.SyntaxColoring
code2stringHtml.SyntaxColoring
CommentaryHtml.SyntaxColoring
CompEnvCompilerEnv
compileModuleModules
CompilerEnv 
1 (Type/Class)CompilerEnv
2 (Data Constructor)CompilerEnv
completeCase 
1 (Function)Transformations.CaseCompletion
2 (Function)Transformations
composeBase.Subst, Base.TypeSubst
concatMapMBase.Utils
ConsCallHtml.SyntaxColoring
ConsDeclareHtml.SyntaxColoring
ConsExportHtml.SyntaxColoring
ConsImportHtml.SyntaxColoring
ConsInfixHtml.SyntaxColoring
ConsPatternHtml.SyntaxColoring
ConstrDecl 
1 (Type/Class)IL.Type, IL
2 (Data Constructor)IL.Type, IL
constrIdentBase.Types
ConstrTermIL.Type, IL
constrTypesBase.Types
ConstructorIL.Type, IL
ConstructorPatternIL.Type, IL
ConsUsageHtml.SyntaxColoring
conTypeEnv.Value
cymakeGreetingFiles.CymakePath
CymakeModeCompilerOpts
cymakeVersionFiles.CymakePath
DataEnv.TypeConstructor
DataConsHtml.SyntaxColoring
DataConstr 
1 (Type/Class)Base.Types
2 (Data Constructor)Base.Types
DataConstructorEnv.Value
DataDeclIL.Type, IL
DataTypeEnv.TypeConstructor
dbDumpEnvCompilerOpts
dbDumpLevelsCompilerOpts
dbDumpRawCompilerOpts
DebugOpts 
1 (Type/Class)CompilerOpts
2 (Data Constructor)CompilerOpts
DeclIL.Type, IL
defaultAssocEnv.OpPrec
defaultDebugOptsCompilerOpts
defaultOptionsCompilerOpts
defaultPEnv.OpPrec
defaultPrecedenceEnv.OpPrec
defaultPrepOptsCompilerOpts
defaultWarnOptsCompilerOpts
depsCurryDeps
desugar 
1 (Function)Transformations.Desugar
2 (Function)Transformations
DumpCaseCompletedCompilerOpts
DumpDesugaredCompilerOpts
DumpExportCheckedCompilerOpts
DumpFlatCurryCompilerOpts
DumpKindCheckedCompilerOpts
DumpLevelCompilerOpts
dumpLevelCompilerOpts
DumpLiftedCompilerOpts
DumpParsedCompilerOpts
DumpPrecCheckedCompilerOpts
DumpQualifiedCompilerOpts
DumpSimplifiedCompilerOpts
DumpSyntaxCheckedCompilerOpts
DumpTranslatedCompilerOpts
DumpTypeCheckedCompilerOpts
elemNestEnvBase.NestEnv
emptyEnvBase.NestEnv
emptyTopEnvBase.TopEnv, Base.NestEnv
EntityBase.TopEnv, Base.NestEnv
equTypesBase.Types
EvalIL.Type, IL
ExistIL.Type, IL
ExistTypeSchemeBase.Types
expandAliasTypeBase.TypeSubst
expandExports 
1 (Function)Checks.ExportCheck
2 (Function)Checks
expandTypeBase.TypeSubst
exportCheck 
1 (Function)Checks.ExportCheck
2 (Function)Checks
exportInterfaceExports
ExprBase.Expr
ExpressionIL.Type, IL
ExtendedFlatCurryCompilerOpts
extensionsCompilerEnv
ExternalDeclIL.Type, IL
filePathCompilerEnv
findCurryCurryBuilder
findDoubleBase.Utils
findMultiplesBase.Utils
FlatCurryCompilerOpts
flatDepsCurryDeps
flattenDepsCurryDeps
FlexIL.Type, IL
FloatIL.Type, IL
floatTypeBase.Types
foldr2Base.Utils
ForAllBase.Types
ForAllExistBase.Types
fromQualTypeBase.CurryTypes
fromTypeBase.CurryTypes
FuncCallHtml.SyntaxColoring
FuncDeclareHtml.SyntaxColoring
FuncExportHtml.SyntaxColoring
FuncImportHtml.SyntaxColoring
FuncInfixHtml.SyntaxColoring
Function 
1 (Data Constructor)Html.SyntaxColoring
2 (Data Constructor)IL.Type, IL
FunctionalPatternsCompilerOpts
FunctionDeclIL.Type, IL
FuncTypeSigHtml.SyntaxColoring
FuncUsageHtml.SyntaxColoring
fvBase.Expr
genAbstractCurryGenerators.GenAbstractCurry
genFlatCurry 
1 (Function)Generators.GenFlatCurry
2 (Function)Generators
genFlatInterface 
1 (Function)Generators.GenFlatCurry
2 (Function)Generators
genProgramHtml.SyntaxColoring
genTypedAbstractCurryGenerators
genUntypedAbstractCurryGenerators
getCompilerOptsCompilerOpts
getCymakeFiles.CymakePath
getQualIdentHtml.SyntaxColoring
globalEnvBase.NestEnv
HtmlCompilerOpts
IdDeclareHtml.SyntaxColoring
IdentifierHtml.SyntaxColoring
IdentUsageHtml.SyntaxColoring
IdReferHtml.SyntaxColoring
idSubstBase.Subst, Base.TypeSubst
IdUnknownHtml.SyntaxColoring
ilTrans 
1 (Function)Transformations.CurryToIL
2 (Function)Transformations
importAliasesEnv.ModuleAlias
importCheck 
1 (Function)Checks.ImportSyntaxCheck
2 (Function)Checks
importInterfacesImports
importModulesImports
importTopEnvBase.TopEnv, Base.NestEnv
initAliasEnvEnv.ModuleAlias
initCompilerEnvCompilerEnv
initDCEnvEnv.Value
initInterfaceEnvEnv.Interface
initOpPrecEnvEnv.OpPrec
initTCEnvEnv.TypeConstructor
IntIL.Type, IL
InterfaceCurryDeps
interfaceCheck 
1 (Function)Checks.InterfaceCheck
2 (Function)Checks
InterfaceEnvEnv.Interface
interfaceEnvCompilerEnv
internalErrorBase.Messages
intfSyntaxCheckChecks.InterfaceSyntaxCheck
IntSubstBase.Subst
intTypeBase.Types
ioTypeBase.Types
isArrowTypeBase.Types
isubstBase.Subst
isubstVarBase.Subst
ivarBase.Subst
KeywordHtml.SyntaxColoring
kindCheck 
1 (Function)Checks.KindCheck
2 (Function)Checks
KnownExtensionCompilerOpts
LabelEnv.Value
LetIL.Type, IL
LetrecIL.Type, IL
lift 
1 (Function)Transformations.Lift
2 (Function)Transformations
liftIOBase.Messages
listTypeBase.Types
Literal 
1 (Data Constructor)IL.Type, IL
2 (Type/Class)IL.Type, IL
LiteralPatternIL.Type, IL
loadAndCheckModuleModules
loadInterfacesInterfaces
loadModuleModules
localBindingsBase.TopEnv, Base.NestEnv
localNestEnvBase.NestEnv
lookupInterfaceEnv.Interface
lookupNestEnvBase.NestEnv
lookupPEnv.OpPrec
lookupTCEnv.TypeConstructor
lookupTopEnvBase.TopEnv, Base.NestEnv
lookupValueEnv.Value
mapAccumMBase.Utils
mergeBase.TopEnv, Base.NestEnv
MessageBase.Messages
messageBase.Messages
mkPrecEnv.OpPrec
ModeHelpCompilerOpts
ModeMakeCompilerOpts
ModeNumericVersionCompilerOpts
ModeVersionCompilerOpts
modifyNestEnvBase.NestEnv
Module 
1 (Type/Class)IL.Type, IL
2 (Data Constructor)IL.Type, IL
moduleDepsCurryDeps
moduleIdentCompilerEnv
moduleImportsBase.TopEnv, Base.NestEnv
ModuleNameHtml.SyntaxColoring
MonadIOBase.Messages
monoTypeBase.Types
NegativeLiteralsCompilerOpts
NestEnvBase.NestEnv
nestEnvBase.NestEnv
NewLineHtml.SyntaxColoring
NewtypeConstructorEnv.Value
NewtypeDeclIL.Type, IL
NoImplicitPreludeCompilerOpts
normalizeBase.TypeSubst
NumberCodeHtml.SyntaxColoring
OpPrec 
1 (Type/Class)Env.OpPrec
2 (Data Constructor)Env.OpPrec
OpPrecEnvEnv.OpPrec
opPrecEnvCompilerEnv
optDebugOptsCompilerOpts
optExtensionsCompilerOpts
optForceCompilerOpts
optHtmlDirCompilerOpts
optImportPathsCompilerOpts
optInterfaceCompilerOpts
Options 
1 (Type/Class)CompilerOpts
2 (Data Constructor)CompilerOpts
optLibraryPathsCompilerOpts
optModeCompilerOpts
optPrepOptsCompilerOpts
optTargetTypesCompilerOpts
optUseSubdirCompilerOpts
optVerbosityCompilerOpts
optWarnOptsCompilerOpts
OrIL.Type, IL
origNameBase.TopEnv, Base.NestEnv
ParsedCompilerOpts
parseModuleModules
polyTypeBase.Types
posMessageBase.Messages
ppALCompilerEnv
ppCmdCompilerOpts
ppMapCompilerEnv
ppModuleIL.Pretty, IL
ppOptsCompilerOpts
ppPreprocessCompilerOpts
ppTypeBase.CurryTypes
ppTypesEnv.Value
ppTypeSchemeBase.CurryTypes
PragmaHtml.SyntaxColoring
precCheck 
1 (Function)Checks.PrecCheck
2 (Function)Checks
PrecInfo 
1 (Type/Class)Env.OpPrec
2 (Data Constructor)Env.OpPrec
predefTopEnvBase.TopEnv, Base.NestEnv
predefTypesBase.Types
PrepOpts 
1 (Type/Class)CompilerOpts
2 (Data Constructor)CompilerOpts
PrimitiveIL.Type, IL
putErrLnBase.Messages
putErrsLnBase.Messages
putMsgBase.Messages
qfvBase.Expr
qual 
1 (Function)Transformations.Qual
2 (Function)Transformations
qualBindFunEnv.Value
qualBindNestEnvBase.NestEnv
qualBindTopEnvBase.TopEnv, Base.NestEnv
qualElemTopEnvBase.TopEnv, Base.NestEnv
QualExprBase.Expr
qualifyEnvImports
qualifyTypeBase.Types
qualImportTopEnvBase.TopEnv, Base.NestEnv
qualInLocalNestEnvBase.NestEnv
qualLookupNestEnvBase.NestEnv
qualLookupPEnv.OpPrec
qualLookupTCEnv.TypeConstructor
qualLookupTCUniqueEnv.TypeConstructor
qualLookupTopEnvBase.TopEnv, Base.NestEnv
qualLookupValueEnv.Value
qualLookupValueUniqueEnv.Value
qualModifyNestEnvBase.NestEnv
qualRebindNestEnvBase.NestEnv
qualRebindTopEnvBase.TopEnv, Base.NestEnv
QuantExprBase.Expr
rebindFunEnv.Value
rebindNestEnvBase.NestEnv
rebindTopEnvBase.TopEnv, Base.NestEnv
recLabelsBase.Types
recLabelTypesBase.Types
RecordConstrBase.Types
RenamingTypeEnv.TypeConstructor
restrictSubstToBase.Subst
RigidIL.Type, IL
sccBase.SCC
showCompilerEnvCompilerEnv
showModuleIL.ShowModule, IL
showTokenStreamTokenStream
simplify 
1 (Function)Transformations.Simplify
2 (Function)Transformations
singleSubstBase.Subst, Base.TypeSubst
Source 
1 (Type/Class)CurryDeps
2 (Data Constructor)CurryDeps
source2htmlHtml.CurryHtml
sourceDepsCurryDeps
SpaceHtml.SyntaxColoring
statusBase.Messages
StringCodeHtml.SyntaxColoring
stringTypeBase.Types
Subst 
1 (Type/Class)Base.Subst
2 (Data Constructor)Base.Subst
substBase.TypeSubst
substToListBase.Subst
SubstTypeBase.TypeSubst
substVarBase.TypeSubst
substVar'Base.Subst
SymbolHtml.SyntaxColoring
syntaxCheck 
1 (Function)Checks.SyntaxCheck
2 (Function)Checks
TargetTypeCompilerOpts
tcArityEnv.TypeConstructor
TCEnvEnv.TypeConstructor
TokensCompilerOpts
tokensCompilerEnv
TopEnv 
1 (Type/Class)Base.TopEnv, Base.NestEnv
2 (Data Constructor)Base.TopEnv, Base.NestEnv
topEnvMapBase.TopEnv, Base.NestEnv
toplevelEnvBase.NestEnv
toQualTypeBase.CurryTypes
toQualTypesBase.CurryTypes
toTypeBase.CurryTypes
toTypesBase.CurryTypes
transType 
1 (Function)Transformations.CurryToIL
2 (Function)Transformations
tupleDataBase.Types
tupleTypeBase.Types
tyConsEnvCompilerEnv
Type 
1 (Type/Class)Base.Types
2 (Type/Class)IL.Type, IL
TypeableBase.Typing
TypeArrow 
1 (Data Constructor)Base.Types
2 (Data Constructor)IL.Type, IL
typeCheck 
1 (Function)Checks.TypeCheck
2 (Function)Checks
TypeConsHtml.SyntaxColoring
TypeConstrainedBase.Types
typeConstrsBase.Types
TypeConstructor 
1 (Data Constructor)Base.Types
2 (Data Constructor)IL.Type, IL
TypedIL.Type, IL
TypeDeclareHtml.SyntaxColoring
TypeEnvEnv.TypeConstructor
TypeExportHtml.SyntaxColoring
TypeImportHtml.SyntaxColoring
TypeInfoEnv.TypeConstructor
TypeKindEnv.TypeConstructor
typeKindEnv.TypeConstructor
typeOfBase.Typing
TypeReferHtml.SyntaxColoring
TypeSchemeBase.Types
TypeSkolemBase.Types
typeSkolemsBase.Types
TypeSubstBase.TypeSubst
TypeUsageHtml.SyntaxColoring
typeVarBase.Types
TypeVariable 
1 (Data Constructor)Base.Types
2 (Data Constructor)IL.Type, IL
typeVarsBase.Types
unbindFunEnv.Value
unbindSubstBase.Subst
unbindTopEnvBase.TopEnv, Base.NestEnv
unitTypeBase.Types
UnknownCurryDeps
unnestEnvBase.NestEnv
unqualifyTypeBase.Types
UntypedAbstractCurryCompilerOpts
updateOptsCompilerOpts
usageCompilerOpts
ValueEnv.Value
ValueEnvEnv.Value
valueEnvCompilerEnv
ValueInfoEnv.Value
VariableIL.Type, IL
VariablePatternIL.Type, IL
VerbosityCompilerOpts
VerbQuietCompilerOpts
VerbStatusCompilerOpts
warnCheck 
1 (Function)Checks.WarnCheck
2 (Function)Checks
WarnDisjoinedRulesCompilerOpts
WarnFlagCompilerOpts
WarnIncompletePatternsCompilerOpts
WarnMissingSignaturesCompilerOpts
WarnMultipleImportsCompilerOpts
WarnNameShadowingCompilerOpts
WarnOpts 
1 (Type/Class)CompilerOpts
2 (Data Constructor)CompilerOpts
warnOrAbortBase.Messages
WarnOverlappingCompilerOpts
WarnUnusedBindingsCompilerOpts
WarnUnusedGlobalBindingsCompilerOpts
wnWarnCompilerOpts
wnWarnAsErrorCompilerOpts
wnWarnFlagsCompilerOpts