Index
++! | Base.Utils |
abortWith | Base.Messages |
abortWithMessage | Base.Messages |
abortWithMessages | Base.Messages |
AbstractCurry | CompilerOpts |
Alias | Env.TypeConstructor |
AliasEnv | Env.ModuleAlias |
aliasEnv | CompilerEnv |
AliasType | Env.TypeConstructor |
allEntities | Base.TopEnv, Base.NestEnv |
allImports | Base.TopEnv, Base.NestEnv |
allLocalBindings | Base.TopEnv, Base.NestEnv |
Alt | |
1 (Type/Class) | IL.Type, IL |
2 (Data Constructor) | IL.Type, IL |
AnonFreeVars | CompilerOpts |
Apply | IL.Type, IL |
arrowArgs | Base.Types |
arrowArity | Base.Types |
arrowBase | Base.Types |
arrowUnapply | Base.Types |
bindFun | Env.Value |
bindGlobalInfo | Env.Value |
Binding | |
1 (Type/Class) | IL.Type, IL |
2 (Data Constructor) | IL.Type, IL |
bindNestEnv | Base.NestEnv |
bindP | Env.OpPrec |
bindSubst | Base.Subst, Base.TypeSubst |
bindTopEnv | Base.TopEnv, Base.NestEnv |
bindTypeInfo | Env.TypeConstructor |
bindVar | Base.TypeSubst |
boolType | Base.Types |
buildCurry | CurryBuilder |
bv | Base.Expr |
CallConv | IL.Type, IL |
Case | IL.Type, IL |
CCall | IL.Type, IL |
Char | IL.Type, IL |
CharCode | Html.SyntaxColoring |
charType | Base.Types |
Check | Checks |
checkModule | Modules |
checkModuleHeader | Modules |
Code | Html.SyntaxColoring |
code2string | Html.SyntaxColoring |
Commentary | Html.SyntaxColoring |
CompEnv | CompilerEnv |
compileModule | Modules |
CompilerEnv | |
1 (Type/Class) | CompilerEnv |
2 (Data Constructor) | CompilerEnv |
completeCase | |
1 (Function) | Transformations.CaseCompletion |
2 (Function) | Transformations |
compose | Base.Subst, Base.TypeSubst |
concatMapM | Base.Utils |
ConsCall | Html.SyntaxColoring |
ConsDeclare | Html.SyntaxColoring |
ConsExport | Html.SyntaxColoring |
ConsImport | Html.SyntaxColoring |
ConsInfix | Html.SyntaxColoring |
ConsPattern | Html.SyntaxColoring |
ConstrDecl | |
1 (Type/Class) | IL.Type, IL |
2 (Data Constructor) | IL.Type, IL |
constrIdent | Base.Types |
ConstrTerm | IL.Type, IL |
constrTypes | Base.Types |
Constructor | IL.Type, IL |
ConstructorPattern | IL.Type, IL |
ConsUsage | Html.SyntaxColoring |
conType | Env.Value |
cymakeGreeting | Files.CymakePath |
CymakeMode | CompilerOpts |
cymakeVersion | Files.CymakePath |
Data | Env.TypeConstructor |
DataCons | Html.SyntaxColoring |
DataConstr | |
1 (Type/Class) | Base.Types |
2 (Data Constructor) | Base.Types |
DataConstructor | Env.Value |
DataDecl | IL.Type, IL |
DataType | Env.TypeConstructor |
dbDumpEnv | CompilerOpts |
dbDumpLevels | CompilerOpts |
dbDumpRaw | CompilerOpts |
DebugOpts | |
1 (Type/Class) | CompilerOpts |
2 (Data Constructor) | CompilerOpts |
Decl | IL.Type, IL |
defaultAssoc | Env.OpPrec |
defaultDebugOpts | CompilerOpts |
defaultOptions | CompilerOpts |
defaultP | Env.OpPrec |
defaultPrecedence | Env.OpPrec |
defaultPrepOpts | CompilerOpts |
defaultWarnOpts | CompilerOpts |
deps | CurryDeps |
desugar | |
1 (Function) | Transformations.Desugar |
2 (Function) | Transformations |
DumpCaseCompleted | CompilerOpts |
DumpDesugared | CompilerOpts |
DumpExportChecked | CompilerOpts |
DumpFlatCurry | CompilerOpts |
DumpKindChecked | CompilerOpts |
DumpLevel | CompilerOpts |
dumpLevel | CompilerOpts |
DumpLifted | CompilerOpts |
DumpParsed | CompilerOpts |
DumpPrecChecked | CompilerOpts |
DumpQualified | CompilerOpts |
DumpSimplified | CompilerOpts |
DumpSyntaxChecked | CompilerOpts |
DumpTranslated | CompilerOpts |
DumpTypeChecked | CompilerOpts |
elemNestEnv | Base.NestEnv |
emptyEnv | Base.NestEnv |
emptyTopEnv | Base.TopEnv, Base.NestEnv |
Entity | Base.TopEnv, Base.NestEnv |
equTypes | Base.Types |
Eval | IL.Type, IL |
Exist | IL.Type, IL |
ExistTypeScheme | Base.Types |
expandAliasType | Base.TypeSubst |
expandExports | |
1 (Function) | Checks.ExportCheck |
2 (Function) | Checks |
expandType | Base.TypeSubst |
exportCheck | |
1 (Function) | Checks.ExportCheck |
2 (Function) | Checks |
exportInterface | Exports |
Expr | Base.Expr |
Expression | IL.Type, IL |
ExtendedFlatCurry | CompilerOpts |
extensions | CompilerEnv |
ExternalDecl | IL.Type, IL |
filePath | CompilerEnv |
findCurry | CurryBuilder |
findDouble | Base.Utils |
findMultiples | Base.Utils |
FlatCurry | CompilerOpts |
flatDeps | CurryDeps |
flattenDeps | CurryDeps |
Flex | IL.Type, IL |
Float | IL.Type, IL |
floatType | Base.Types |
foldr2 | Base.Utils |
ForAll | Base.Types |
ForAllExist | Base.Types |
fromQualType | Base.CurryTypes |
fromType | Base.CurryTypes |
FuncCall | Html.SyntaxColoring |
FuncDeclare | Html.SyntaxColoring |
FuncExport | Html.SyntaxColoring |
FuncImport | Html.SyntaxColoring |
FuncInfix | Html.SyntaxColoring |
Function | |
1 (Data Constructor) | Html.SyntaxColoring |
2 (Data Constructor) | IL.Type, IL |
FunctionalPatterns | CompilerOpts |
FunctionDecl | IL.Type, IL |
FuncTypeSig | Html.SyntaxColoring |
FuncUsage | Html.SyntaxColoring |
fv | Base.Expr |
genAbstractCurry | Generators.GenAbstractCurry |
genFlatCurry | |
1 (Function) | Generators.GenFlatCurry |
2 (Function) | Generators |
genFlatInterface | |
1 (Function) | Generators.GenFlatCurry |
2 (Function) | Generators |
genProgram | Html.SyntaxColoring |
genTypedAbstractCurry | Generators |
genUntypedAbstractCurry | Generators |
getCompilerOpts | CompilerOpts |
getCymake | Files.CymakePath |
getQualIdent | Html.SyntaxColoring |
globalEnv | Base.NestEnv |
Html | CompilerOpts |
IdDeclare | Html.SyntaxColoring |
Identifier | Html.SyntaxColoring |
IdentUsage | Html.SyntaxColoring |
IdRefer | Html.SyntaxColoring |
idSubst | Base.Subst, Base.TypeSubst |
IdUnknown | Html.SyntaxColoring |
ilTrans | |
1 (Function) | Transformations.CurryToIL |
2 (Function) | Transformations |
importAliases | Env.ModuleAlias |
importCheck | |
1 (Function) | Checks.ImportSyntaxCheck |
2 (Function) | Checks |
importInterfaces | Imports |
importModules | Imports |
importTopEnv | Base.TopEnv, Base.NestEnv |
initAliasEnv | Env.ModuleAlias |
initCompilerEnv | CompilerEnv |
initDCEnv | Env.Value |
initInterfaceEnv | Env.Interface |
initOpPrecEnv | Env.OpPrec |
initTCEnv | Env.TypeConstructor |
Int | IL.Type, IL |
Interface | CurryDeps |
interfaceCheck | |
1 (Function) | Checks.InterfaceCheck |
2 (Function) | Checks |
InterfaceEnv | Env.Interface |
interfaceEnv | CompilerEnv |
internalError | Base.Messages |
intfSyntaxCheck | Checks.InterfaceSyntaxCheck |
IntSubst | Base.Subst |
intType | Base.Types |
ioType | Base.Types |
isArrowType | Base.Types |
isubst | Base.Subst |
isubstVar | Base.Subst |
ivar | Base.Subst |
Keyword | Html.SyntaxColoring |
kindCheck | |
1 (Function) | Checks.KindCheck |
2 (Function) | Checks |
KnownExtension | CompilerOpts |
Label | Env.Value |
Let | IL.Type, IL |
Letrec | IL.Type, IL |
lift | |
1 (Function) | Transformations.Lift |
2 (Function) | Transformations |
liftIO | Base.Messages |
listType | Base.Types |
Literal | |
1 (Data Constructor) | IL.Type, IL |
2 (Type/Class) | IL.Type, IL |
LiteralPattern | IL.Type, IL |
loadAndCheckModule | Modules |
loadInterfaces | Interfaces |
loadModule | Modules |
localBindings | Base.TopEnv, Base.NestEnv |
localNestEnv | Base.NestEnv |
lookupInterface | Env.Interface |
lookupNestEnv | Base.NestEnv |
lookupP | Env.OpPrec |
lookupTC | Env.TypeConstructor |
lookupTopEnv | Base.TopEnv, Base.NestEnv |
lookupValue | Env.Value |
mapAccumM | Base.Utils |
merge | Base.TopEnv, Base.NestEnv |
Message | Base.Messages |
message | Base.Messages |
mkPrec | Env.OpPrec |
ModeHelp | CompilerOpts |
ModeMake | CompilerOpts |
ModeNumericVersion | CompilerOpts |
ModeVersion | CompilerOpts |
modifyNestEnv | Base.NestEnv |
Module | |
1 (Type/Class) | IL.Type, IL |
2 (Data Constructor) | IL.Type, IL |
moduleDeps | CurryDeps |
moduleIdent | CompilerEnv |
moduleImports | Base.TopEnv, Base.NestEnv |
ModuleName | Html.SyntaxColoring |
MonadIO | Base.Messages |
monoType | Base.Types |
NegativeLiterals | CompilerOpts |
NestEnv | Base.NestEnv |
nestEnv | Base.NestEnv |
NewLine | Html.SyntaxColoring |
NewtypeConstructor | Env.Value |
NewtypeDecl | IL.Type, IL |
NoImplicitPrelude | CompilerOpts |
normalize | Base.TypeSubst |
NumberCode | Html.SyntaxColoring |
OpPrec | |
1 (Type/Class) | Env.OpPrec |
2 (Data Constructor) | Env.OpPrec |
OpPrecEnv | Env.OpPrec |
opPrecEnv | CompilerEnv |
optDebugOpts | CompilerOpts |
optExtensions | CompilerOpts |
optForce | CompilerOpts |
optHtmlDir | CompilerOpts |
optImportPaths | CompilerOpts |
optInterface | CompilerOpts |
Options | |
1 (Type/Class) | CompilerOpts |
2 (Data Constructor) | CompilerOpts |
optLibraryPaths | CompilerOpts |
optMode | CompilerOpts |
optPrepOpts | CompilerOpts |
optTargetTypes | CompilerOpts |
optUseSubdir | CompilerOpts |
optVerbosity | CompilerOpts |
optWarnOpts | CompilerOpts |
Or | IL.Type, IL |
origName | Base.TopEnv, Base.NestEnv |
Parsed | CompilerOpts |
parseModule | Modules |
polyType | Base.Types |
posMessage | Base.Messages |
ppAL | CompilerEnv |
ppCmd | CompilerOpts |
ppMap | CompilerEnv |
ppModule | IL.Pretty, IL |
ppOpts | CompilerOpts |
ppPreprocess | CompilerOpts |
ppType | Base.CurryTypes |
ppTypes | Env.Value |
ppTypeScheme | Base.CurryTypes |
Pragma | Html.SyntaxColoring |
precCheck | |
1 (Function) | Checks.PrecCheck |
2 (Function) | Checks |
PrecInfo | |
1 (Type/Class) | Env.OpPrec |
2 (Data Constructor) | Env.OpPrec |
predefTopEnv | Base.TopEnv, Base.NestEnv |
predefTypes | Base.Types |
PrepOpts | |
1 (Type/Class) | CompilerOpts |
2 (Data Constructor) | CompilerOpts |
Primitive | IL.Type, IL |
putErrLn | Base.Messages |
putErrsLn | Base.Messages |
putMsg | Base.Messages |
qfv | Base.Expr |
qual | |
1 (Function) | Transformations.Qual |
2 (Function) | Transformations |
qualBindFun | Env.Value |
qualBindNestEnv | Base.NestEnv |
qualBindTopEnv | Base.TopEnv, Base.NestEnv |
qualElemTopEnv | Base.TopEnv, Base.NestEnv |
QualExpr | Base.Expr |
qualifyEnv | Imports |
qualifyType | Base.Types |
qualImportTopEnv | Base.TopEnv, Base.NestEnv |
qualInLocalNestEnv | Base.NestEnv |
qualLookupNestEnv | Base.NestEnv |
qualLookupP | Env.OpPrec |
qualLookupTC | Env.TypeConstructor |
qualLookupTCUnique | Env.TypeConstructor |
qualLookupTopEnv | Base.TopEnv, Base.NestEnv |
qualLookupValue | Env.Value |
qualLookupValueUnique | Env.Value |
qualModifyNestEnv | Base.NestEnv |
qualRebindNestEnv | Base.NestEnv |
qualRebindTopEnv | Base.TopEnv, Base.NestEnv |
QuantExpr | Base.Expr |
rebindFun | Env.Value |
rebindNestEnv | Base.NestEnv |
rebindTopEnv | Base.TopEnv, Base.NestEnv |
recLabels | Base.Types |
recLabelTypes | Base.Types |
RecordConstr | Base.Types |
RenamingType | Env.TypeConstructor |
restrictSubstTo | Base.Subst |
Rigid | IL.Type, IL |
scc | Base.SCC |
showCompilerEnv | CompilerEnv |
showModule | IL.ShowModule, IL |
showTokenStream | TokenStream |
simplify | |
1 (Function) | Transformations.Simplify |
2 (Function) | Transformations |
singleSubst | Base.Subst, Base.TypeSubst |
Source | |
1 (Type/Class) | CurryDeps |
2 (Data Constructor) | CurryDeps |
source2html | Html.CurryHtml |
sourceDeps | CurryDeps |
Space | Html.SyntaxColoring |
status | Base.Messages |
StringCode | Html.SyntaxColoring |
stringType | Base.Types |
Subst | |
1 (Type/Class) | Base.Subst |
2 (Data Constructor) | Base.Subst |
subst | Base.TypeSubst |
substToList | Base.Subst |
SubstType | Base.TypeSubst |
substVar | Base.TypeSubst |
substVar' | Base.Subst |
Symbol | Html.SyntaxColoring |
syntaxCheck | |
1 (Function) | Checks.SyntaxCheck |
2 (Function) | Checks |
TargetType | CompilerOpts |
tcArity | Env.TypeConstructor |
TCEnv | Env.TypeConstructor |
Tokens | CompilerOpts |
tokens | CompilerEnv |
TopEnv | |
1 (Type/Class) | Base.TopEnv, Base.NestEnv |
2 (Data Constructor) | Base.TopEnv, Base.NestEnv |
topEnvMap | Base.TopEnv, Base.NestEnv |
toplevelEnv | Base.NestEnv |
toQualType | Base.CurryTypes |
toQualTypes | Base.CurryTypes |
toType | Base.CurryTypes |
toTypes | Base.CurryTypes |
transType | |
1 (Function) | Transformations.CurryToIL |
2 (Function) | Transformations |
tupleData | Base.Types |
tupleType | Base.Types |
tyConsEnv | CompilerEnv |
Type | |
1 (Type/Class) | Base.Types |
2 (Type/Class) | IL.Type, IL |
Typeable | Base.Typing |
TypeArrow | |
1 (Data Constructor) | Base.Types |
2 (Data Constructor) | IL.Type, IL |
typeCheck | |
1 (Function) | Checks.TypeCheck |
2 (Function) | Checks |
TypeCons | Html.SyntaxColoring |
TypeConstrained | Base.Types |
typeConstrs | Base.Types |
TypeConstructor | |
1 (Data Constructor) | Base.Types |
2 (Data Constructor) | IL.Type, IL |
Typed | IL.Type, IL |
TypeDeclare | Html.SyntaxColoring |
TypeEnv | Env.TypeConstructor |
TypeExport | Html.SyntaxColoring |
TypeImport | Html.SyntaxColoring |
TypeInfo | Env.TypeConstructor |
TypeKind | Env.TypeConstructor |
typeKind | Env.TypeConstructor |
typeOf | Base.Typing |
TypeRefer | Html.SyntaxColoring |
TypeScheme | Base.Types |
TypeSkolem | Base.Types |
typeSkolems | Base.Types |
TypeSubst | Base.TypeSubst |
TypeUsage | Html.SyntaxColoring |
typeVar | Base.Types |
TypeVariable | |
1 (Data Constructor) | Base.Types |
2 (Data Constructor) | IL.Type, IL |
typeVars | Base.Types |
unbindFun | Env.Value |
unbindSubst | Base.Subst |
unbindTopEnv | Base.TopEnv, Base.NestEnv |
unitType | Base.Types |
Unknown | CurryDeps |
unnestEnv | Base.NestEnv |
unqualifyType | Base.Types |
UntypedAbstractCurry | CompilerOpts |
updateOpts | CompilerOpts |
usage | CompilerOpts |
Value | Env.Value |
ValueEnv | Env.Value |
valueEnv | CompilerEnv |
ValueInfo | Env.Value |
Variable | IL.Type, IL |
VariablePattern | IL.Type, IL |
Verbosity | CompilerOpts |
VerbQuiet | CompilerOpts |
VerbStatus | CompilerOpts |
warnCheck | |
1 (Function) | Checks.WarnCheck |
2 (Function) | Checks |
WarnDisjoinedRules | CompilerOpts |
WarnFlag | CompilerOpts |
WarnIncompletePatterns | CompilerOpts |
WarnMissingSignatures | CompilerOpts |
WarnMultipleImports | CompilerOpts |
WarnNameShadowing | CompilerOpts |
WarnOpts | |
1 (Type/Class) | CompilerOpts |
2 (Data Constructor) | CompilerOpts |
warnOrAbort | Base.Messages |
WarnOverlapping | CompilerOpts |
WarnUnusedBindings | CompilerOpts |
WarnUnusedGlobalBindings | CompilerOpts |
wnWarn | CompilerOpts |
wnWarnAsError | CompilerOpts |
wnWarnFlags | CompilerOpts |