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 |