curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Contents Index

Search:

++! Utils <$-> Curry.Syntax.LLParseComb <$> Curry.Syntax.LLParseComb <**> Curry.Syntax.LLParseComb <*-> Curry.Syntax.LLParseComb <*> Curry.Syntax.LLParseComb <-*> Curry.Syntax.LLParseComb <.> Curry.Syntax.LLParseComb <?> Curry.Syntax.LLParseComb <??> Curry.Syntax.LLParseComb <\> Curry.Syntax.LLParseComb <\\> Curry.Syntax.LLParseComb <|> Curry.Syntax.LLParseComb <|?> Curry.Syntax.LLParseComb Abstract CurryCompilerOpts abstract CurryCompilerOpts addSrcRefs Curry.Syntax.Type, Curry.Syntax AliasType Base allImports TopEnv, NestEnv Alt 1 (Type/Class) IL.Type 2 (Data Constructor) IL.Type 3 (Type/Class) Curry.Syntax.Type, Curry.Syntax 4 (Data Constructor) Curry.Syntax.Type, Curry.Syntax alt Curry.Syntax.Parser alts Curry.Syntax.Parser anonPattern Curry.Syntax.Parser anonType Curry.Syntax.Parser apFst3 Utils ApLhs Curry.Syntax.Type, Curry.Syntax Apply 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax applyParser Curry.Syntax.LLParseComb apSnd3 Utils apThd3 Utils ArgDescr GetOpt ArgOrder GetOpt ArityEnv Base ArityInfo 1 (Type/Class) Base 2 (Data Constructor) Base arrowArgs Types arrowArity Types arrowBase Types ArrowType Curry.Syntax.Type, Curry.Syntax AsPattern Curry.Syntax.Type, Curry.Syntax At Curry.Syntax.Lexer Attributes Curry.Syntax.Lexer Backquote Curry.Syntax.Lexer backQuote Curry.Syntax.Pretty backquote Curry.Syntax.Parser backQuoteExp Curry.Syntax.Pretty backquotes Curry.Syntax.Parser backsl Curry.Syntax.Pretty Backslash Curry.Syntax.Lexer Bar Curry.Syntax.Lexer bar Curry.Syntax.Parser beginScope 1 (Function) ScopeEnv 2 (Function) OldScopeEnv bindAlias Base bindArities Arity bindArity Base bindFun Base bindGlobalInfo Base Binding 1 (Type/Class) IL.Type 2 (Data Constructor) IL.Type bindLabel Base bindNestEnv NestEnv bindP Base Binds Curry.Syntax.Lexer binds Curry.Syntax.Parser bindSubst Subst, TypeSubst bindTopEnv TopEnv, NestEnv bindTypeInfo Base bindVar TypeSubst boolType Types braceList Curry.Syntax.Pretty braces Curry.Syntax.Parser bracket Curry.Syntax.LLParseComb bracketList Curry.Syntax.Pretty brackets Curry.Syntax.Parser buildCurry CurryBuilder bv Curry.Syntax.Utils CallConv 1 (Type/Class) IL.Type 2 (Type/Class) Curry.Syntax.Type, Curry.Syntax CallConvCCall Curry.Syntax.Type, Curry.Syntax CallConvPrimitive Curry.Syntax.Type, Curry.Syntax CApply Curry.AbstractCurry Case 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax caseExpr Curry.Syntax.Parser Category Curry.Syntax.Lexer CBranch Curry.AbstractCurry CBranchExpr Curry.AbstractCurry CCall IL.Type CCase Curry.AbstractCurry CCharc Curry.AbstractCurry CChoice Curry.AbstractCurry CCons Curry.AbstractCurry CConsDecl Curry.AbstractCurry CDoExpr Curry.AbstractCurry CEvalAnnot Curry.AbstractCurry CExpr Curry.AbstractCurry CExternal Curry.AbstractCurry CField Curry.AbstractCurry CFixity Curry.AbstractCurry CFlex Curry.AbstractCurry CFloatc Curry.AbstractCurry CFunc Curry.AbstractCurry CFuncDecl Curry.AbstractCurry CFuncType Curry.AbstractCurry chainl Curry.Syntax.LLParseComb chainl1 Curry.Syntax.LLParseComb chainr Curry.Syntax.LLParseComb chainr1 Curry.Syntax.LLParseComb Char 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax char Curry.Syntax.Parser CharAttributes Curry.Syntax.Lexer CharTok Curry.Syntax.Lexer charType Types checkBackquote Curry.Syntax.Parser checkBar Curry.Syntax.Parser checkBinds Curry.Syntax.Parser checkConsDecls InterfaceCheck checkEquals Curry.Syntax.Parser checkFloat Curry.Syntax.Parser checkFuncDecls InterfaceCheck checkInt Curry.Syntax.Parser checkInteger Curry.Syntax.Parser checkModule Modules checkOpDecls InterfaceCheck checkRule InterfaceCheck checkTypeDecls InterfaceCheck CInfixlOp Curry.AbstractCurry CInfixOp Curry.AbstractCurry CInfixrOp Curry.AbstractCurry CIntc Curry.AbstractCurry CLabel Curry.AbstractCurry CLambda Curry.AbstractCurry CLetDecl Curry.AbstractCurry CListComp Curry.AbstractCurry CLit Curry.AbstractCurry CLiteral Curry.AbstractCurry CLocalDecl Curry.AbstractCurry CLocalFunc Curry.AbstractCurry CLocalPat Curry.AbstractCurry CLocalVar Curry.AbstractCurry closeP0 Curry.Syntax.LexComb closeP1 Curry.Syntax.LexComb Colon Curry.Syntax.Lexer colon Curry.Syntax.Parser Comma Curry.Syntax.Lexer comma Curry.Syntax.Parser compileModule Modules completeCase CaseCompletion compose Subst, TypeSubst con Curry.Syntax.Parser CondExpr 1 (Type/Class) Curry.Syntax.Type, Curry.Syntax 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax condExpr Curry.Syntax.Parser conId Curry.Syntax.Parser conop Curry.Syntax.Parser ConOpDecl Curry.Syntax.Type, Curry.Syntax constant Curry.Syntax.Parser ConstrDecl 1 (Type/Class) IL.Type 2 (Data Constructor) IL.Type 3 (Type/Class) Curry.Syntax.Type, Curry.Syntax 4 (Data Constructor) Curry.Syntax.Type, Curry.Syntax constrDecl Curry.Syntax.Parser ConstrTerm 1 (Type/Class) IL.Type 2 (Type/Class) Curry.Syntax.Type, Curry.Syntax constrTerm0 Curry.Syntax.Parser constrTerm1 Curry.Syntax.Parser constrTerm2 Curry.Syntax.Parser Constructor 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax ConstructorPattern 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax ConstructorType Curry.Syntax.Type, Curry.Syntax conSym Curry.Syntax.Parser Context Curry.Syntax.LexComb convertFloating Curry.Syntax.LexComb convertIntegral Curry.Syntax.LexComb convertSignedFloating Curry.Syntax.LexComb convertSignedIntegral Curry.Syntax.LexComb COp Curry.AbstractCurry COpDecl Curry.AbstractCurry CPAs Curry.AbstractCurry CPattern Curry.AbstractCurry CPComb Curry.AbstractCurry CPFuncComb Curry.AbstractCurry CPLazy Curry.AbstractCurry CPLit Curry.AbstractCurry CPRecord Curry.AbstractCurry CPVar Curry.AbstractCurry CRecConstr Curry.AbstractCurry CRecordType Curry.AbstractCurry CRecSelect Curry.AbstractCurry CRecUpdate Curry.AbstractCurry CRigid Curry.AbstractCurry CRule 1 (Type/Class) Curry.AbstractCurry 2 (Data Constructor) Curry.AbstractCurry CRules 1 (Type/Class) Curry.AbstractCurry 2 (Data Constructor) Curry.AbstractCurry CSExpr Curry.AbstractCurry CSLet Curry.AbstractCurry CSPat Curry.AbstractCurry CStatement Curry.AbstractCurry CSymbol Curry.AbstractCurry CTCons Curry.AbstractCurry CTVar Curry.AbstractCurry CTVarIName Curry.AbstractCurry CType Curry.AbstractCurry CTypeDecl Curry.AbstractCurry CTypeExpr Curry.AbstractCurry CTypeSyn Curry.AbstractCurry currentLevel ScopeEnv curriedLhs Curry.Syntax.Parser curry3 Utils CurryEnv 1 (Type/Class) CurryEnv 2 (Data Constructor) CurryEnv curryEnv CurryEnv CurryProg 1 (Type/Class) Curry.AbstractCurry 2 (Data Constructor) Curry.AbstractCurry cval Curry.Syntax.Lexer CVar Curry.AbstractCurry CVarIName Curry.AbstractCurry CVisibility Curry.AbstractCurry Data 1 (Type/Class) Base 2 (Data Constructor) Base DataConstructor Base DataDecl 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax dataDecl Curry.Syntax.Parser DataType Base Decl 1 (Type/Class) IL.Type 2 (Type/Class) Curry.Syntax.Type, Curry.Syntax declRhs Curry.Syntax.Parser decls Curry.Syntax.Parser defaultOpts CurryCompilerOpts defaultP Base deps CurryDeps desugar Desugar Do Curry.Syntax.Type, Curry.Syntax doExpr Curry.Syntax.Parser dot Curry.Syntax.Parser DotDot Curry.Syntax.Lexer DoubleColon Curry.Syntax.Lexer Dump 1 (Type/Class) CurryCompilerOpts 2 (Data Constructor) CurryCompilerOpts dump CurryCompilerOpts DumpCase CurryCompilerOpts DumpDesugared CurryCompilerOpts DumpIL CurryCompilerOpts DumpLifted CurryCompilerOpts DumpRenamed CurryCompilerOpts DumpSimplified CurryCompilerOpts DumpTypes CurryCompilerOpts emptyTopEnv TopEnv, NestEnv endScope 1 (Function) ScopeEnv 2 (Function) OldScopeEnv endScopeUp ScopeEnv Entity TopEnv, NestEnv EnumFrom Curry.Syntax.Type, Curry.Syntax EnumFromThen Curry.Syntax.Type, Curry.Syntax EnumFromThenTo Curry.Syntax.Type, Curry.Syntax EnumFromTo Curry.Syntax.Type, Curry.Syntax EOF Curry.Syntax.Lexer Equals Curry.Syntax.Lexer equals Curry.Syntax.Parser Equation 1 (Type/Class) Curry.Syntax.Type, Curry.Syntax 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax equTypes Types errorAt Base errorAt' Base Eval IL.Type EvalAnnot Curry.Syntax.Type, Curry.Syntax EvalAnnotation Curry.Syntax.Type, Curry.Syntax EvalChoice Curry.Syntax.Type, Curry.Syntax EvalEnv Base evalEnv Eval EvalRigid Curry.Syntax.Type, Curry.Syntax Exist IL.Type exists ScopeEnv ExistTypeScheme Types existVars Curry.Syntax.Parser expandAliasType TypeSubst expandInterface Exports Export 1 (Type/Class) Curry.Syntax.Type, Curry.Syntax 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax export Curry.Syntax.Parser Exporting Curry.Syntax.Type, Curry.Syntax exportInterface Exports ExportModule Curry.Syntax.Type, Curry.Syntax exports CurryEnv ExportSpec Curry.Syntax.Type, Curry.Syntax exportSpec Curry.Syntax.Parser ExportTypeAll Curry.Syntax.Type, Curry.Syntax ExportTypeWith Curry.Syntax.Type, Curry.Syntax Expr Curry.Syntax.Utils expr Curry.Syntax.Parser expr0 Curry.Syntax.Parser expr1 Curry.Syntax.Parser expr2 Curry.Syntax.Parser expr3 Curry.Syntax.Parser Expression 1 (Type/Class) IL.Type 2 (Type/Class) Curry.Syntax.Type, Curry.Syntax exprOrBindStmt Curry.Syntax.Parser extendedFlat CurryCompilerOpts ExternalDecl 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax externalDecl Curry.Syntax.Parser ExtFlat CurryCompilerOpts extract InterfaceCheck ExtraVariables Curry.Syntax.Type, Curry.Syntax failP Curry.Syntax.LexComb Field 1 (Type/Class) Curry.Syntax.Type, Curry.Syntax 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax field2Tuple Curry.Syntax.Type, Curry.Syntax fieldLabel Curry.Syntax.Type, Curry.Syntax fieldTerm Curry.Syntax.Type, Curry.Syntax findDouble Base Flat CurryCompilerOpts flat CurryCompilerOpts FlatExternalDecl Curry.Syntax.Type, Curry.Syntax flatLhs Curry.Syntax.Type, Curry.Syntax flattenDeps CurryDeps FlatXML CurryCompilerOpts flatXml CurryCompilerOpts Flex IL.Type Float 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax float Curry.Syntax.Parser FloatAttributes Curry.Syntax.Lexer FloatTok Curry.Syntax.Lexer floatType Types fminus Curry.Syntax.Parser foldl2 Utils foldr2 Utils ForAll Types ForAllExist Types Force CurryCompilerOpts force CurryCompilerOpts fromQualType Base fromType Base fst3 Utils fullParse Curry.Syntax.Frontend fun Curry.Syntax.Parser Function IL.Type FunctionDecl 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax functionDecl Curry.Syntax.Parser FunctionPattern Curry.Syntax.Type, Curry.Syntax funDecl Curry.Syntax.Parser funId Curry.Syntax.Parser FunLhs Curry.Syntax.Type, Curry.Syntax funLhs Curry.Syntax.Parser funListDecl Curry.Syntax.Parser funop Curry.Syntax.Parser funSym Curry.Syntax.Parser fv Curry.Syntax.Utils fval Curry.Syntax.Lexer gconId Curry.Syntax.Parser gconop Curry.Syntax.Parser gConSym Curry.Syntax.Parser genFlatCurry GenFlatCurry genFlatInterface GenFlatCurry genIdent OldScopeEnv genIdentList OldScopeEnv genTypedAbstract GenAbstractCurry genUntypedAbstract GenAbstractCurry getIdentLevel OldScopeEnv getLevel OldScopeEnv getModuleScope IL.Scope getOpt GetOpt globalDecls Curry.Syntax.Parser globalEnv NestEnv GuardedRhs Curry.Syntax.Type, Curry.Syntax Help CurryCompilerOpts Hiding Curry.Syntax.Type, Curry.Syntax HidingDataDecl Curry.Syntax.Type, Curry.Syntax Html CurryCompilerOpts html CurryCompilerOpts Id Curry.Syntax.Lexer IDataDecl Curry.Syntax.Type, Curry.Syntax IDecl Curry.Syntax.Type, Curry.Syntax ident Curry.Syntax.Parser IdentAttributes Curry.Syntax.Lexer identPattern Curry.Syntax.Parser identType Curry.Syntax.Parser idSubst Subst, TypeSubst Id_as Curry.Syntax.Lexer Id_ccall Curry.Syntax.Lexer Id_forall Curry.Syntax.Lexer Id_hiding Curry.Syntax.Lexer Id_interface Curry.Syntax.Lexer Id_primitive Curry.Syntax.Lexer Id_qualified Curry.Syntax.Lexer ifExpr Curry.Syntax.Parser IfThenElse Curry.Syntax.Type, Curry.Syntax IFunctionDecl Curry.Syntax.Type, Curry.Syntax IImportDecl Curry.Syntax.Type, Curry.Syntax IInfixDecl Curry.Syntax.Type, Curry.Syntax ilTrans IL.CurryToIL ilTransIntf IL.CurryToIL Import 1 (Type/Class) Curry.Syntax.Type, Curry.Syntax 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax ImportDecl Curry.Syntax.Type, Curry.Syntax importDecl Curry.Syntax.Parser ImportEnv Base Importing Curry.Syntax.Type, Curry.Syntax importInterface Imports importInterfaceIntf Imports ImportPath CurryCompilerOpts importPaths CurryCompilerOpts importPrelude Modules imports CurryEnv ImportSpec Curry.Syntax.Type, Curry.Syntax importSpec Curry.Syntax.Parser importTopEnv TopEnv, NestEnv ImportTypeAll Curry.Syntax.Type, Curry.Syntax ImportTypeWith Curry.Syntax.Type, Curry.Syntax importUnifyData Imports Indent Curry.Syntax.LexComb indent Curry.Syntax.Pretty INewtypeDecl Curry.Syntax.Type, Curry.Syntax Infix 1 (Type/Class) Curry.Syntax.Type, Curry.Syntax 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax InfixApply Curry.Syntax.Type, Curry.Syntax InfixConstr Curry.Syntax.Type, Curry.Syntax InfixDecl Curry.Syntax.Type, Curry.Syntax infixDecl Curry.Syntax.Parser infixDeclLhs Curry.Syntax.Parser infixDecls CurryEnv InfixFuncPattern Curry.Syntax.Type, Curry.Syntax InfixL Curry.Syntax.Type, Curry.Syntax InfixOp 1 (Type/Class) Curry.Syntax.Type, Curry.Syntax 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax infixOp 1 (Function) Curry.Syntax.Parser 2 (Function) Curry.Syntax.Utils InfixPattern Curry.Syntax.Type, Curry.Syntax InfixR Curry.Syntax.Type, Curry.Syntax initAEnv Base initDCEnv Base initIEnv Base initPEnv Base initTCEnv Base insert ScopeEnv insertAltScope IL.Scope insertBindingScope IL.Scope insertCallConvScope IL.Scope insertConstrDeclScope IL.Scope insertConstrTermScope IL.Scope insertDeclScope IL.Scope insertExprScope IL.Scope insertIdent OldScopeEnv insertLiteralScope IL.Scope insertTypeScope IL.Scope Int 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax int Curry.Syntax.Parser IntAttributes Curry.Syntax.Lexer integer Curry.Syntax.Parser IntegerAttributes Curry.Syntax.Lexer IntegerTok Curry.Syntax.Lexer Interface 1 (Type/Class) Curry.Syntax.Type, Curry.Syntax 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax 3 (Data Constructor) CurryDeps interface CurryEnv interfaceCheck InterfaceCheck internalError Base IntSubst Subst IntTok Curry.Syntax.Lexer intType Types intval Curry.Syntax.Lexer ioType Types isArrowType Types isCons InterfaceCheck isDataType InterfaceCheck isDeclared OldScopeEnv isEOF Curry.Syntax.LLParseComb isEvalAnnot Curry.Syntax.Utils isFunc InterfaceCheck isImportDecl Curry.Syntax.Utils isInfixDecl Curry.Syntax.Utils isOp InterfaceCheck isRecordDecl Curry.Syntax.Utils isTypeDecl Curry.Syntax.Utils isTypeSig Curry.Syntax.Utils isTypeSyn InterfaceCheck isubst Subst isubstVar Subst isValueDecl Curry.Syntax.Utils isVisible OldScopeEnv ITypeDecl Curry.Syntax.Type, Curry.Syntax ival Curry.Syntax.Lexer ivar Subst kindCheck KindCheck KW_case Curry.Syntax.Lexer KW_choice Curry.Syntax.Lexer KW_data Curry.Syntax.Lexer KW_do Curry.Syntax.Lexer KW_else Curry.Syntax.Lexer KW_eval Curry.Syntax.Lexer KW_external Curry.Syntax.Lexer KW_free Curry.Syntax.Lexer KW_if Curry.Syntax.Lexer KW_import Curry.Syntax.Lexer KW_in Curry.Syntax.Lexer KW_infix Curry.Syntax.Lexer KW_infixl Curry.Syntax.Lexer KW_infixr Curry.Syntax.Lexer KW_let Curry.Syntax.Lexer KW_module Curry.Syntax.Lexer KW_newtype Curry.Syntax.Lexer KW_of Curry.Syntax.Lexer KW_rigid Curry.Syntax.Lexer KW_then Curry.Syntax.Lexer KW_type Curry.Syntax.Lexer KW_where Curry.Syntax.Lexer Label Base labelDecls Curry.Syntax.Parser labId Curry.Syntax.Parser Lambda Curry.Syntax.Type, Curry.Syntax lambdaExpr Curry.Syntax.Parser larrow Curry.Syntax.Pretty layout Curry.Syntax.Parser layoutEnd Curry.Syntax.LLParseComb layoutOff Curry.Syntax.LLParseComb layoutOn Curry.Syntax.LLParseComb LazyPattern Curry.Syntax.Type, Curry.Syntax lazyPattern Curry.Syntax.Parser LeftArrow Curry.Syntax.Lexer leftArrow Curry.Syntax.Parser LeftBrace Curry.Syntax.Lexer leftBrace Curry.Syntax.Parser LeftBraceSemicolon Curry.Syntax.Lexer leftBraceSemicolon Curry.Syntax.Parser LeftBracket Curry.Syntax.Lexer leftBracket Curry.Syntax.Parser LeftParen Curry.Syntax.Lexer leftParen Curry.Syntax.Parser LeftSection Curry.Syntax.Type, Curry.Syntax Let 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax letExpr Curry.Syntax.Parser Letrec IL.Type letStmt Curry.Syntax.Parser level 1 (Function) ScopeEnv 2 (Function) IL.XML lex Curry.Syntax.Frontend lexer Curry.Syntax.Lexer lexFile Curry.Syntax.Lexer Lhs Curry.Syntax.Type, Curry.Syntax lift Lift LineComment Curry.Syntax.Lexer List Curry.Syntax.Type, Curry.Syntax list Curry.Syntax.Pretty ListCompr Curry.Syntax.Type, Curry.Syntax listExpr Curry.Syntax.Parser ListPattern Curry.Syntax.Type, Curry.Syntax listPattern Curry.Syntax.Parser ListType Curry.Syntax.Type, Curry.Syntax listType 1 (Function) Curry.Syntax.Parser 2 (Function) Types Literal 1 (Data Constructor) IL.Type 2 (Type/Class) IL.Type 3 (Data Constructor) Curry.Syntax.Type, Curry.Syntax 4 (Type/Class) Curry.Syntax.Type, Curry.Syntax literal Curry.Syntax.Parser LiteralPattern 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax literalPattern Curry.Syntax.Parser loadInterfaces Modules localBindings TopEnv, NestEnv localDefs Curry.Syntax.Parser lookup ScopeEnv lookupAlias Base lookupArity Base lookupModule Base lookupNestEnv NestEnv lookupP Base lookupTC Base lookupTopEnv TopEnv, NestEnv lookupTuple Base lookupTupleArity Base lookupTupleTC Base lookupValue Base M Curry.Syntax.Type, Curry.Syntax many Curry.Syntax.LLParseComb many1 Curry.Syntax.LLParseComb mapAccumM Utils maxTupleArity PatchPrelude maybePP Curry.Syntax.Pretty merge TopEnv, NestEnv mIdent Curry.Syntax.Parser minus Curry.Syntax.Parser mk Curry.Syntax.Type, Curry.Syntax mk' Curry.Syntax.Type, Curry.Syntax mkIdentPosition Curry.Syntax.Parser mkInt Curry.Syntax.Type, Curry.Syntax modify ScopeEnv modul Curry.Syntax.Lexer Module 1 (Type/Class) IL.Type 2 (Data Constructor) IL.Type 3 (Type/Class) Curry.Syntax.Type, Curry.Syntax 4 (Data Constructor) Curry.Syntax.Type, Curry.Syntax moduleDeps CurryDeps ModuleEnv Base moduleHeader Curry.Syntax.Parser moduleId CurryEnv moduleImports TopEnv, NestEnv monoType Types nameSupply Base NegativePattern Curry.Syntax.Type, Curry.Syntax negFloat Curry.Syntax.Parser negNum Curry.Syntax.Parser NestedComment Curry.Syntax.Lexer NestEnv NestEnv nestEnv NestEnv new ScopeEnv NewConstrDecl 1 (Type/Class) Curry.Syntax.Type, Curry.Syntax 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax newConstrDecl Curry.Syntax.Parser newScopeEnv OldScopeEnv NewtypeConstructor Base NewtypeDecl 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax newtypeDecl Curry.Syntax.Parser NoArg GetOpt NoAttributes Curry.Syntax.Lexer NoInterface CurryCompilerOpts noInterface CurryCompilerOpts NoOverlapWarn CurryCompilerOpts noOverlapWarn CurryCompilerOpts normalize TypeSubst NoVerb CurryCompilerOpts noVerb CurryCompilerOpts NoWarn CurryCompilerOpts noWarn CurryCompilerOpts OpLhs Curry.Syntax.Type, Curry.Syntax opName Curry.Syntax.Type, Curry.Syntax OpPrec 1 (Type/Class) Base 2 (Data Constructor) Base ops Curry.Syntax.LLParseComb opt Curry.Syntax.LLParseComb OptArg GetOpt optAsPattern Curry.Syntax.Parser OptDescr GetOpt optInfixPattern Curry.Syntax.Parser Option 1 (Data Constructor) GetOpt 2 (Type/Class) CurryCompilerOpts Options 1 (Type/Class) CurryCompilerOpts 2 (Data Constructor) CurryCompilerOpts options CurryCompilerOpts optStmts Curry.Syntax.Parser optTuplePattern Curry.Syntax.Parser Or IL.Type original Curry.Syntax.Lexer origName TopEnv, NestEnv Output CurryCompilerOpts output CurryCompilerOpts P Curry.Syntax.LexComb Paren Curry.Syntax.Type, Curry.Syntax parenExp Curry.Syntax.Pretty parenExpr Curry.Syntax.Parser parenList Curry.Syntax.Pretty parenMinusPattern Curry.Syntax.Parser ParenPattern Curry.Syntax.Type, Curry.Syntax parenPattern Curry.Syntax.Parser parens Curry.Syntax.Parser parenTuplePattern Curry.Syntax.Parser parenType Curry.Syntax.Parser parse 1 (Function) Curry.Syntax.LexComb 2 (Function) Curry.Syntax.Frontend parseError Curry.Syntax.LexComb parseHeader 1 (Function) Curry.Syntax.Parser 2 (Function) Curry.Syntax parseModule Curry.Syntax ParseOnly CurryCompilerOpts parseOnly CurryCompilerOpts Parser Curry.Syntax.LLParseComb parseSource Curry.Syntax.Parser patchModuleId Modules patchPreludeFCY PatchPrelude patDecl Curry.Syntax.Parser PatternDecl Curry.Syntax.Type, Curry.Syntax PEnv Base Permute GetOpt polyType Types popContext Curry.Syntax.LexComb position Curry.Syntax.LLParseComb ppAlt Curry.Syntax.Pretty ppBlock Curry.Syntax.Pretty ppCondExpr Curry.Syntax.Pretty ppConstr Curry.Syntax.Pretty ppConstrTerm Curry.Syntax.Pretty ppDecl Curry.Syntax.Pretty ppEquation Curry.Syntax.Pretty ppExistVars Curry.Syntax.Pretty ppExport Curry.Syntax.Pretty ppExportSpec Curry.Syntax.Pretty ppExpr Curry.Syntax.Pretty ppFieldExpr Curry.Syntax.Pretty ppFieldPatt Curry.Syntax.Pretty ppIDecl Curry.Syntax.Pretty ppIdent Curry.Syntax.Pretty ppImport Curry.Syntax.Pretty ppImportSpec Curry.Syntax.Pretty ppInfixOp Curry.Syntax.Pretty ppInterface Curry.Syntax.Pretty ppITypeDeclLhs Curry.Syntax.Pretty ppLhs Curry.Syntax.Pretty ppLiteral Curry.Syntax.Pretty ppLocalDefs Curry.Syntax.Pretty ppMIdent Curry.Syntax.Pretty ppModule 1 (Function) IL.Pretty 2 (Function) Curry.Syntax.Pretty ppModuleHeader Curry.Syntax.Pretty ppNewConstr Curry.Syntax.Pretty ppOp Curry.Syntax.Pretty ppPrec Curry.Syntax.Pretty ppQIdent Curry.Syntax.Pretty ppQInfixOp Curry.Syntax.Pretty ppRule Curry.Syntax.Pretty ppStmt Curry.Syntax.Pretty ppTypeDeclLhs Curry.Syntax.Pretty ppTypeExpr Curry.Syntax.Pretty precCheck PrecCheck PrecInfo 1 (Type/Class) Base 2 (Data Constructor) Base predefTopEnv TopEnv, NestEnv predefTypes Base prefixParser Curry.Syntax.LLParseComb prelude PatchPrelude prelude_types_fcy PatchPrelude Primitive IL.Type primType Types Private Curry.AbstractCurry Public Curry.AbstractCurry pushContext Curry.Syntax.LexComb qcon Curry.Syntax.Parser qConId Curry.Syntax.Parser qconop Curry.Syntax.Parser qConSym Curry.Syntax.Parser qfun Curry.Syntax.Parser qFunId Curry.Syntax.Parser qfunop Curry.Syntax.Parser qFunSym Curry.Syntax.Parser qfv Curry.Syntax.Utils QId Curry.Syntax.Lexer qIdent Curry.Syntax.Parser qLabId Curry.Syntax.Parser QName Curry.AbstractCurry QSym Curry.Syntax.Lexer qSym Curry.Syntax.Parser qtycon Curry.Syntax.Parser qual Qual qualBindNestEnv NestEnv qualBindTopEnv TopEnv, NestEnv qualConstrDeclId IL.XML qualIDeclId IL.XML Qualified Curry.Syntax.Type, Curry.Syntax qualifyType Types qualImportTopEnv TopEnv, NestEnv qualLookupArity Base qualLookupCons Base qualLookupConsArity Base qualLookupNestEnv NestEnv qualLookupP Base qualLookupTC Base qualLookupTopEnv TopEnv, NestEnv qualLookupValue Base qualNewConstrDeclId IL.XML qualRebindTopEnv TopEnv, NestEnv quals Curry.Syntax.Parser QuantExpr Curry.Syntax.Utils rarrow Curry.Syntax.Pretty readCurry Curry.AbstractCurry rebindFun Base rebindTopEnv TopEnv, NestEnv RecordConstr Curry.Syntax.Type, Curry.Syntax recordExpr Curry.Syntax.Parser RecordPattern Curry.Syntax.Type, Curry.Syntax recordPattern Curry.Syntax.Parser RecordSelection Curry.Syntax.Type, Curry.Syntax RecordType Curry.Syntax.Type, Curry.Syntax RecordUpdate Curry.Syntax.Type, Curry.Syntax RenamingType Base ReqArg GetOpt reqStmts Curry.Syntax.Parser RequireOrder GetOpt restrictSubstTo Subst ReturnInOrder GetOpt returnP Curry.Syntax.LexComb Rhs Curry.Syntax.Type, Curry.Syntax rhs Curry.Syntax.Parser RightArrow Curry.Syntax.Lexer RightBrace Curry.Syntax.Lexer rightBrace Curry.Syntax.Parser RightBracket Curry.Syntax.Lexer rightBracket Curry.Syntax.Parser RightParen Curry.Syntax.Lexer rightParen Curry.Syntax.Parser RightSection Curry.Syntax.Type, Curry.Syntax Rigid IL.Type scc SCC ScopeEnv 1 (Type/Class) ScopeEnv 2 (Type/Class) OldScopeEnv selectOption CurryCompilerOpts Semicolon Curry.Syntax.Lexer semicolon Curry.Syntax.Parser sepBy Curry.Syntax.LLParseComb sepBy1 Curry.Syntax.LLParseComb showModule Curry.Syntax.ShowModule simpleCheckModule Modules SimpleRhs Curry.Syntax.Type, Curry.Syntax simplify Simplify smake CurryBuilder snd3 Utils Source 1 (Type/Class) CurryDeps 2 (Data Constructor) CurryDeps sourceDeps CurryDeps splitDecls IL.XML Statement Curry.Syntax.Type, Curry.Syntax stmt Curry.Syntax.Parser StmtBind Curry.Syntax.Type, Curry.Syntax StmtDecl Curry.Syntax.Type, Curry.Syntax StmtExpr Curry.Syntax.Type, Curry.Syntax stmts Curry.Syntax.Parser String Curry.Syntax.Type, Curry.Syntax string Curry.Syntax.Parser StringAttributes Curry.Syntax.Lexer StringTok Curry.Syntax.Lexer stringType Types Subst 1 (Type/Class) Subst 2 (Data Constructor) Subst subst TypeSubst substToList Subst SubstType TypeSubst substVar TypeSubst substVar' Subst succeed Curry.Syntax.LLParseComb successType Types sureLookup ScopeEnv sureLookupAlias Base sval Curry.Syntax.Lexer Sym Curry.Syntax.Lexer sym Curry.Syntax.Parser Symbol Curry.Syntax.LLParseComb symbol Curry.Syntax.LLParseComb Sym_Dot Curry.Syntax.Lexer Sym_Minus Curry.Syntax.Lexer Sym_MinusDot Curry.Syntax.Lexer syntaxCheck SyntaxCheck tcArity Base TCEnv Base thd3 Utils thenP Curry.Syntax.LexComb thenP_ Curry.Syntax.LexComb Tilde Curry.Syntax.Lexer Token 1 (Type/Class) Curry.Syntax.Lexer 2 (Data Constructor) Curry.Syntax.Lexer token Curry.Syntax.Parser tokenOps Curry.Syntax.Parser tokens Curry.Syntax.Parser toLevelList ScopeEnv toList ScopeEnv topDecl Curry.Syntax.Parser TopEnv 1 (Type/Class) TopEnv, NestEnv 2 (Data Constructor) TopEnv, NestEnv topEnvMap TopEnv, NestEnv toplevelEnv NestEnv toQualType Base toQualTypes Base toType Base toType' Base toTypes Base translType IL.CurryToIL transModule Modules Tuple Curry.Syntax.Type, Curry.Syntax tupleCommas Curry.Syntax.Parser tupleData Base tupleDCs Base TuplePattern Curry.Syntax.Type, Curry.Syntax tupleTCs Base TupleType Curry.Syntax.Type, Curry.Syntax tupleType 1 (Function) PatchPrelude 2 (Function) Curry.Syntax.Parser 3 (Function) Types tycon Curry.Syntax.Parser Type 1 (Type/Class) IL.Type 2 (Type/Class) Types type0 Curry.Syntax.Parser type1 Curry.Syntax.Parser type2 Curry.Syntax.Parser Typeable Typing TypeArrow 1 (Data Constructor) IL.Type 2 (Data Constructor) Types typeCheck TypeCheck TypeConstrained Types typeConstrs Types TypeConstructor 1 (Data Constructor) IL.Type 2 (Data Constructor) Types Typed Curry.Syntax.Type, Curry.Syntax TypeDecl Curry.Syntax.Type, Curry.Syntax typeDecl Curry.Syntax.Parser typeDeclLhs Curry.Syntax.Parser typeDeclRhs Curry.Syntax.Parser TypeExpr Curry.Syntax.Type, Curry.Syntax TypeInfo Base typeOf Typing TypeRecord Types TypeScheme Types TypeSig Curry.Syntax.Type, Curry.Syntax TypeSkolem Types typeSkolems Types TypeSubst TypeSubst typeSynonyms CurryEnv typeVar Types TypeVariable 1 (Data Constructor) IL.Type 2 (Data Constructor) Types typeVars Types typingParse Curry.Syntax.Frontend tyvar Curry.Syntax.Parser UnaryMinus Curry.Syntax.Type, Curry.Syntax unbindSubst Subst unbindTopEnv TopEnv, NestEnv uncurry3 Utils Underscore Curry.Syntax.Lexer unitType Types Unknown CurryDeps unlit Curry.Syntax.Unlit unqualifyType Types UntypedAbstract CurryCompilerOpts untypedAbstract CurryCompilerOpts update ScopeEnv usageInfo GetOpt valListDecl Curry.Syntax.Parser Value Base valueDecl Curry.Syntax.Parser valueDecls Curry.Syntax.Parser ValueEnv Base ValueInfo Base var Curry.Syntax.Parser Variable 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax variable Curry.Syntax.Parser VariablePattern 1 (Data Constructor) IL.Type 2 (Data Constructor) Curry.Syntax.Type, Curry.Syntax VariableType Curry.Syntax.Type, Curry.Syntax varId Curry.Syntax.Parser vbar Curry.Syntax.Pretty VRightBrace Curry.Syntax.Lexer VSemicolon Curry.Syntax.Lexer warnCheck WarnCheck WithExtensions CurryCompilerOpts withExtensions CurryCompilerOpts writeCurry Curry.AbstractCurry xmlAppArgs IL.XML xmlApply IL.XML xmlApplyFunctor IL.XML xmlBeginFunction IL.XML xmlBinding IL.XML xmlBody IL.XML xmlBranch IL.XML xmlBuildDicc IL.XML xmlCase IL.XML xmlCombApply IL.XML xmlCombHeading IL.XML xmlConsPattern IL.XML xmlConstructor IL.XML xmlConstructorBegin IL.XML xmlElement IL.XML xmlEndFunction IL.XML xmlExpr IL.XML xmlExprVar IL.XML xmlFixity IL.XML xmlFloat IL.XML xmlFormat IL.XML xmlFree IL.XML xmlFunctionArity IL.XML xmlFunctionDecl IL.XML xmlHeadingWithArity IL.XML xmlIdent IL.XML xmlImportDecl IL.XML xmlInt IL.XML xmlInteger IL.XML xmlLet IL.XML xmlLetrec IL.XML xmlLhs IL.XML xmlLines IL.XML xmlLit IL.XML xmlLiteral IL.XML xmlLitPattern IL.XML xmlLookUp IL.XML xmlMapDicc IL.XML xmlModule IL.XML xmlModuleDecl IL.XML xmlModuleIdent IL.XML xmlNewVar IL.XML xmlOperatorDecl IL.XML xmlOr IL.XML xmlPattern IL.XML xmlQualIdent IL.XML xmlRhs IL.XML xmlRule IL.XML xmlSingleApp IL.XML xmlTranslationDecl IL.XML xmlType IL.XML xmlTypeConsBegin IL.XML xmlTypeDecl IL.XML xmlTypeFun IL.XML xmlTypeParams IL.XML xmlTypeVar IL.XML xmlVar IL.XML