Index
| $$ | PrettyTCM |
| +?+ | Util |
| <+> | PrettyTCM |
| <.> | Util |
| <> | PrettyTCM |
| ==<< | Util |
| absCM | Termination |
| absName | Value |
| abstract | Termination |
| AbsurdP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| activateFuns | TCM |
| add | |
| 1 (Function) | Semiring |
| 2 (Function) | SparseMatrix |
| addBelowInfty | TCM |
| addBind | TCM |
| addBinds | TCM |
| addBoundHyp | TCM |
| addCM | Termination |
| addCM' | Termination |
| addCMh | Termination |
| addColumn | SparseMatrix |
| addConstraint | Warshall |
| addEdge | Warshall |
| addFKindTel | Extract |
| addFlex | Warshall |
| addFunSig | TypeChecker |
| addJob | TypeChecker |
| addKindedTypeSigs | TCM |
| addLe | TCM |
| addLeq | TCM |
| addMeta | TCM |
| addMultiplicity | Polarity |
| addName | TCM |
| addNameEnv | Eval |
| addNode | Warshall |
| addOrCheckGuard | Eval |
| addPattern | TCM |
| addPatternEnv | Eval |
| addPatterns | TCM |
| addPatternsEnv | Eval |
| addPosEdge | Eval |
| addRewrite | TCM |
| addRow | SparseMatrix |
| addSig | TCM |
| addSigQ | TCM |
| addSizeRel | TCM |
| adjustTopDecs | Abstract |
| adjustTopDecsM | Abstract |
| admCheckFunSig | TypeChecker |
| admClause | TypeChecker |
| admClauses | TypeChecker |
| admCoFun | TypeChecker |
| admEndsInCo | TypeChecker |
| admFunDef | TypeChecker |
| admPattern | TypeChecker |
| admPatterns | TypeChecker |
| admType | TypeChecker |
| AlexPosn | Lexer |
| alexScanTokens | Lexer |
| alignDotted | Abstract |
| all | SparseMatrix |
| allComponentTypes | TypeChecker |
| allLet | MainLib |
| allTypesOfTuple | TypeChecker |
| alphaPattern | Eval |
| Amp | Lexer |
| analyzeConstructor | Abstract |
| analyzeConstructors | Abstract |
| andLazy | Util |
| andM | Util |
| angleBrackets | Util |
| AngleClose | Lexer |
| AngleOpen | Lexer |
| Ann | Abstract |
| AnonRec | Abstract |
| any | SparseMatrix |
| AnyKind | Abstract |
| App | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| app | Eval |
| app' | Eval |
| app12 | Eval |
| appDef | Eval |
| appendEnv | Value |
| applyDec | TCM |
| applyLastM | Abstract |
| Arc | Warshall |
| arc | Warshall |
| argKind | Abstract |
| Arity | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| arity | TCM |
| Arrow | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Extract |
| arrow | Value |
| assert | TraceError |
| assert' | TraceError |
| assertDoc | TraceError |
| assertDoc' | TraceError |
| AssertionHandling | TraceError |
| assertionHandling | TCM |
| assignFlex | TypeChecker |
| Bar | Lexer |
| Below | Abstract |
| belowDomain | Abstract |
| belowInfty | TCM |
| bestName | Abstract |
| bindClosToExpr | Eval |
| bindMaybe | Eval |
| boolSemiring | Semiring |
| boolToError | TraceError |
| boolToErrorDoc | TraceError |
| Bound | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| boundDec | Concrete |
| boundDom | Abstract |
| boundName | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| boundNames | Concrete |
| bounds | TCM |
| boundType | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| BoundVars | Abstract |
| boundVars | Abstract |
| braces | PrettyTCM |
| BracketClose | Lexer |
| BracketOpen | Lexer |
| brackets | |
| 1 (Function) | Util |
| 2 (Function) | PrettyTCM |
| bracketsIf | Util |
| BrClose | Lexer |
| BrOpen | Lexer |
| buildGraph | Warshall |
| Call | |
| 1 (Type/Class) | Termination |
| 2 (Data Constructor) | Termination |
| CallGraph | Termination |
| CallMatrix | Termination |
| CallPath | |
| 1 (Type/Class) | Termination |
| 2 (Data Constructor) | Termination |
| callStack | TCM |
| cannotMatchDeep | TypeChecker |
| Case | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | Abstract |
| 3 (Data Constructor) | Abstract |
| 4 (Type/Class) | Concrete |
| 5 (Data Constructor) | Concrete |
| Cast | Abstract |
| castExpr | Abstract |
| cEtaExp | Abstract |
| cFields | Abstract |
| Check | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| checkAll | Termination |
| checkApp | TypeChecker |
| checkBelow | TypeChecker |
| checkCase | TypeChecker |
| checkCases | TypeChecker |
| checkCases' | TypeChecker |
| checkClause | TypeChecker |
| checkClauses | TypeChecker |
| checkClauses' | TypeChecker |
| checkConstructorParams | TypeChecker |
| checkConTerm | TypeChecker |
| checkConType | TypeChecker |
| checkConType' | TypeChecker |
| checkDataType | TypeChecker |
| checkExpr | TypeChecker |
| checkForced | TypeChecker |
| checkFun | TypeChecker |
| checkGoal | TypeChecker |
| checkGuard | Eval |
| checkIdem | Termination |
| checkingCon | TCM |
| checkingConType | TCM |
| checkingDom | TCM |
| checkingMutual | TCM |
| checkingMutualName | TCM |
| checkLet | TypeChecker |
| checkLetBody | TypeChecker |
| checkLetDef | TypeChecker |
| checkLevel | TypeChecker |
| checkOrInfer | TypeChecker |
| checkPair | TypeChecker |
| checkPattern | TypeChecker |
| checkPattern' | TypeChecker |
| checkPatterns | TypeChecker |
| checkPositivityGraph | Eval |
| checkRHS | TypeChecker |
| checkSize | TypeChecker |
| checkSmallType | TypeChecker |
| checkSpine | TypeChecker |
| checkSubtype | TypeChecker |
| checkTarget | TypeChecker |
| checkTele | TypeChecker |
| checkType | TypeChecker |
| Class | Abstract |
| classifyFields | Abstract |
| Clause | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | Concrete |
| 4 (Data Constructor) | Concrete |
| clause | Abstract |
| clauses | TCM |
| clauseToExpr | Eval |
| clearDotted | Abstract |
| clExpr | Abstract |
| Clos | Value |
| ClosToExpr | Eval |
| closToExpr | Eval |
| clPatterns | Abstract |
| clTele | Abstract |
| cmRing | Termination |
| CMSet | Termination |
| cName | Abstract |
| Co | Abstract |
| CoCons | Abstract |
| CoData | Lexer |
| coDomainDec | Abstract |
| coeff | Polarity |
| CoFun | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | TypeChecker |
| CoFunType | TypeChecker |
| CoInd | Abstract |
| Col | Lexer |
| col | SparseMatrix |
| coldescr | Warshall |
| collapse | Termination |
| collectCallsExpr | Termination |
| collectCGFunDecl | Termination |
| Collection | Collection |
| colon | PrettyTCM |
| cols | SparseMatrix |
| Comma | Lexer |
| comma | PrettyTCM |
| comp | Termination |
| compareArgs | Termination |
| compareExpr | Termination |
| compareExpr' | Termination |
| compareVar | Termination |
| compAssoc | Util |
| compatibleCP | Termination |
| CompCall | Termination |
| compDec | Abstract |
| complCGraph | Termination |
| completeP | Abstract |
| composable | Termination |
| compose | Polarity |
| compressMaybes | Util |
| compSubst | TypeChecker |
| computeConstructorTele | TypeChecker |
| con | Abstract |
| ConK | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| conKind | Abstract |
| conLType | TCM |
| conName | Concrete |
| ConP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| ConPars | TCM |
| conPars | TCM |
| Cons | Abstract |
| ConSig | TCM |
| consistencyCheck | TCM |
| Const | Polarity |
| Constraint | Warshall |
| Constraints | Warshall |
| constraints | TCM |
| Constrnt | Warshall |
| Constructor | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | Concrete |
| 4 (Data Constructor) | Concrete |
| ConstructorInfo | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| constructors | TCM |
| conTel | Concrete |
| Context | TCM |
| context | TCM |
| Context2 | TCM |
| contextToTele | TypeChecker |
| conType | |
| 1 (Function) | Concrete |
| 2 (Function) | TCM |
| conView | Termination |
| coPat | Abstract |
| copyright | License |
| corePat | Abstract |
| CoSet | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| coToConK | Abstract |
| cPars | Abstract |
| cPatFam | Abstract |
| cRec | Abstract |
| ctorName | Abstract |
| ctorPars | Abstract |
| ctorType | Abstract |
| cTyCore | Abstract |
| cutoff | Termination |
| cxt | TCM |
| cxtApplyDec | TCM |
| CxtE | TCM |
| cxtEmpty | TCM |
| CxtEntry | |
| 1 (Data Constructor) | TCM |
| 2 (Type/Class) | TCM |
| CxtEntry1 | TCM |
| cxtLookupGen | TCM |
| cxtLookupName | TCM |
| cxtPush | TCM |
| cxtPush' | TCM |
| cxtPush2 | TCM |
| cxtPushEntry | TCM |
| cxtPushGen | TCM |
| cxtSetType | TCM |
| dat | Abstract |
| Data | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | TCM |
| DataDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| dataKind | Abstract |
| dataName | TCM |
| dataPars | TCM |
| DataSig | TCM |
| DataView | TCM |
| dataView | TCM |
| DatK | Abstract |
| Dec | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| Decl | HsSyntax |
| Declaration | |
| 1 (Type/Class) | Abstract |
| 2 (Type/Class) | Concrete |
| decor | Abstract |
| Decoration | Abstract |
| Decr | Termination |
| decr | Termination |
| decrToward0 | Termination |
| Def | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| Default | Polarity |
| defaultDec | Abstract |
| defaultDomain | Abstract |
| defaultIrrDom | Abstract |
| defaultKind | Abstract |
| defaultPol | Polarity |
| defaultUpperDec | Abstract |
| DefClause | |
| 1 (Type/Class) | Concrete |
| 2 (Data Constructor) | Concrete |
| DefId | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| definingPat | TCM |
| definingVal | TCM |
| DefPat | Abstract |
| delete | Collection |
| demote | Polarity |
| Destructor | Abstract |
| destructorNames | Abstract |
| destructorNamesPresent | Abstract |
| diag | Termination |
| diagonal | SparseMatrix |
| diff | TreeShapedOrder |
| disambigCon | TCM |
| Doc | PrettyTCM |
| docNotLowerSemi | TypeChecker |
| doExtract | MainLib |
| Dom | Abstract |
| Domain | |
| 1 (Data Constructor) | Abstract |
| 2 (Type/Class) | Value |
| domain | TCM |
| domFromKinded | Abstract |
| doNf | TypeChecker |
| dontCare | TCM |
| doScopeCheck | MainLib |
| Dot | Lexer |
| dotConstructors | Abstract |
| DotFlex | |
| 1 (Type/Class) | TypeChecker |
| 2 (Data Constructor) | TypeChecker |
| DotIf | Abstract |
| dotIf | Abstract |
| DotP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| doTranslate | MainLib |
| Dotted | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| DottedCons | TypeChecker |
| dottedPat | Abstract |
| dottedRef | Abstract |
| doTypeCheck | MainLib |
| doVParams | TypeChecker |
| doWhnf | TypeChecker |
| EApp | Concrete |
| echo | TypeChecker |
| echoDefE | TypeChecker |
| echoEPrefix | TypeChecker |
| echoKindedDef | TypeChecker |
| echoKindedTySig | TypeChecker |
| echoR | TypeChecker |
| echoTySig | TypeChecker |
| echoTySigE | TypeChecker |
| EClause | Abstract |
| EConstructor | Abstract |
| EDeclaration | Abstract |
| EFun | Abstract |
| elems | Termination |
| Elim | Concrete |
| empty | |
| 1 (Function) | TreeShapedOrder |
| 2 (Function) | Termination |
| 3 (Function) | PrettyTCM |
| emptyConstraints | Warshall |
| emptyContext | TCM |
| emptyCP | Termination |
| emptyEnv | Value |
| emptyMetaVars | TCM |
| emptyName | Abstract |
| emptyPosGraph | TCM |
| emptyRewrites | TCM |
| emptySig | TCM |
| emptySolution | Warshall |
| emptySub | TypeChecker |
| emptyTel | Abstract |
| emptyVal | Value |
| enableSig | TypeChecker |
| endsInCo | TypeChecker |
| endsInSizedCo | TypeChecker |
| endsInSizedCo' | TypeChecker |
| entailsGuard | Eval |
| enter | TraceError |
| enterDoc | TraceError |
| enterShow | TraceError |
| enterTrace | TraceError |
| Env | Value |
| Env2 | TCM |
| envBound | Value |
| Environ | |
| 1 (Type/Class) | Value |
| 2 (Data Constructor) | Value |
| environ | TCM |
| EnvMap | Value |
| envMap | Value |
| EPattern | Abstract |
| EProj | Concrete |
| Eq | Lexer |
| equal | Eval |
| equal' | Eval |
| equals' | Eval |
| eqVal | Eval |
| eqValBool | Eval |
| EraseArg | Extract |
| Erased | Abstract |
| erased | Polarity |
| erasedExpr | Abstract |
| ErasedP | Abstract |
| eraseMeasure | Abstract |
| Err | TraceError |
| errorToBool | TraceError |
| errorToMaybe | TraceError |
| EtaAliasName | Abstract |
| etaExpand | TCM |
| ETelescope | Abstract |
| EType | Abstract |
| ETypeSig | Abstract |
| Eval | Lexer |
| evalCase | Eval |
| Exp | HsSyntax |
| expandDefPat | Eval |
| Expr | |
| 1 (Type/Class) | Abstract |
| 2 (Type/Class) | Concrete |
| exprToDotPat | Abstract |
| exprToDotPat' | Abstract |
| exprToPattern | Abstract |
| extendSolution | Warshall |
| Extr | Abstract |
| extractCheck | Extract |
| extractClause | Extract |
| extractConstructor | Extract |
| extractDataDecl | Extract |
| extractDecl | Extract |
| extractDecls | Extract |
| extractFun | Extract |
| extractFuns | Extract |
| extractFunTypeSig | Extract |
| extractIfTerm | Extract |
| extractInfer | Extract |
| extractKind | Extract |
| extractKindDom | Extract |
| extractKindTel | Extract |
| extractLet | Extract |
| extractPattern | Extract |
| extractPattern' | Extract |
| extractPatterns | Extract |
| extractSet | Extract |
| extractTeleVal | Extract |
| extractType | Extract |
| extractTypeAt | Extract |
| extractTypes | Extract |
| extractTypeSig | Extract |
| extrConType | Extract |
| extrTyp | TCM |
| Fail | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| failDoc | TraceError |
| Failure | TraceError |
| failValInv | Eval |
| fClass | Abstract |
| FClause | Extract |
| FConstructor | Extract |
| fDec | Abstract |
| FDeclaration | Extract |
| FExpr | Extract |
| FFun | Extract |
| Field | Abstract |
| FieldClass | Abstract |
| FieldInfo | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| Fields | Lexer |
| filterEnv | Value |
| findM | Util |
| Finite | Warshall |
| first12 | TCM |
| firstHalf | Termination |
| firstJust | Util |
| firstJustM | Util |
| FKind | Extract |
| flattenMax | Abstract |
| Flex | Warshall |
| FlexId | Warshall |
| flexScope | Warshall |
| fName | Abstract |
| for | Util |
| Forall | Extract |
| Force | Eval |
| force | Eval |
| force' | Eval |
| FPattern | Extract |
| FreeVars | Abstract |
| freeVars | Abstract |
| fresh | Abstract |
| freshen | Abstract |
| fromAllWriter | Util |
| fromIndexList | SparseMatrix |
| fromList | TreeShapedOrder |
| fromList12 | TCM |
| fromLists | SparseMatrix |
| fromOne | TCM |
| fromPProd | Polarity |
| fsep | PrettyTCM |
| FTelescope | Extract |
| FTVal | Extract |
| FType | Extract |
| fType | Abstract |
| FTypeSig | Extract |
| fullArity | Abstract |
| Fun | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | Abstract |
| 3 (Data Constructor) | Abstract |
| fun | Abstract |
| funArity | Abstract |
| funClauses | Abstract |
| FunDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| funExtName | Abstract |
| FunK | Abstract |
| FunSig | TCM |
| funsTemplate | TCM |
| funType | Abstract |
| funTypeSig | Abstract |
| FunView | Extract |
| funView | Extract |
| FVal | Value |
| fwhen | Util |
| fwords | |
| 1 (Function) | Util |
| 2 (Function) | PrettyTCM |
| GadtDecl | HsSyntax |
| genOfName | TCM |
| GenToPattern | Eval |
| getCallPath | Termination |
| getContextTele | TCM |
| getDataName | ToHaskell |
| getDec | Abstract |
| getEnv | TCM |
| getFieldsAtType | Eval |
| getLen | TCM |
| getMatchingConstructor | Eval |
| getMinSize | TCM |
| getPol | Abstract |
| getRen | TCM |
| getSizeVarsInScope | TCM |
| GM | Warshall |
| Goal | TypeChecker |
| goImpredicative | TCM |
| Graph | |
| 1 (Type/Class) | Warshall |
| 2 (Data Constructor) | Warshall |
| graph | Warshall |
| hApp | HsSyntax |
| hasDuplicate | Util |
| HasPred | Abstract |
| HasZero | Semiring |
| Hat | Lexer |
| hBDecls | HsSyntax |
| hCon | HsSyntax |
| hDataType | HsSyntax |
| headMaybe | Util |
| headPosl | TypeChecker |
| height | TreeShapedOrder |
| hFunBind | HsSyntax |
| Hidden | Abstract |
| hidden | Polarity |
| hIdent | HsSyntax |
| hKindedVar | HsSyntax |
| hKindFn | HsSyntax |
| hKindStar | HsSyntax |
| hLet | HsSyntax |
| hLit | HsSyntax |
| hModuleName | HsSyntax |
| hPApp | HsSyntax |
| hParen | HsSyntax |
| hPTuple | HsSyntax |
| hPVar | HsSyntax |
| hQual | HsSyntax |
| hsep | PrettyTCM |
| hsepBy | Util |
| hsName | ToHaskell |
| hString | HsSyntax |
| hsVarName | ToHaskell |
| hTuple | HsSyntax |
| hTyApp | HsSyntax |
| hTyCon | HsSyntax |
| hTyForall | HsSyntax |
| hTyFun | HsSyntax |
| hTyParen | HsSyntax |
| hTyTuple | HsSyntax |
| hTyVar | HsSyntax |
| hUnGuardedRhs | HsSyntax |
| hUnQual | HsSyntax |
| hVar | HsSyntax |
| iAmNotUnique | Abstract |
| Id | Lexer |
| Ident | Concrete |
| ident | Concrete |
| IdentP | Concrete |
| IdKind | Abstract |
| idKind | Abstract |
| idName | Abstract |
| ifJustM | Util |
| ifM | Util |
| ifNothingM | Util |
| Ignore | TraceError |
| implies | Util |
| ImportDecl | HsSyntax |
| Impredicative | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| impredicative | TCM |
| In | Lexer |
| inc | Warshall |
| increasesHeight | TreeShapedOrder |
| Ind | Abstract |
| Index | |
| 1 (Data Constructor) | Abstract |
| 2 (Type/Class) | Termination |
| inferable | Abstract |
| inferExpr | TypeChecker |
| inferExpr' | TypeChecker |
| inferProj | TypeChecker |
| inferSize | TypeChecker |
| inferType | TypeChecker |
| Infinite | Warshall |
| infinite | Warshall |
| Infty | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| initCxt | ToHaskell |
| initGraph | Warshall |
| initSt | |
| 1 (Function) | TCM |
| 2 (Function) | ToHaskell |
| initWithSig | TCM |
| InjectiveVars | Abstract |
| injectiveVars | Abstract |
| insert | TreeShapedOrder |
| insertCast | Extract |
| insertConstructorTele | TypeChecker |
| inst | TypeChecker |
| installFuns | TCM |
| instConLType | TCM |
| instConLType' | TCM |
| instConType | TCM |
| instList | TypeChecker |
| instList' | TypeChecker |
| instWh | TypeChecker |
| inTags | Abstract |
| integerSemiring | Semiring |
| intercalate | Util |
| internal | Abstract |
| intersectKind | Abstract |
| intersectWith | SparseMatrix |
| intMap | Warshall |
| introPatterns | TCM |
| introPatType | TCM |
| introPatTypes | TCM |
| introPatVar | TCM |
| introPatVars | TCM |
| invComp | Polarity |
| invert | TreeShapedOrder |
| Irr | Abstract |
| irrefutablePat | Abstract |
| irrelevantDec | Abstract |
| irrelevantFor | Abstract |
| irrSortFor | Abstract |
| isAncestor | TreeShapedOrder |
| isBelow | Warshall |
| isBelowInfty | TCM |
| isCo | TCM |
| isDataType | Value |
| isDecr | Termination |
| isDotPattern | Abstract |
| isDotted | Abstract |
| isEmpty | SparseMatrix |
| isEmptyData | TCM |
| isEmptyType | Eval |
| isErasedExpr | Abstract |
| isEtaAlias | Abstract |
| isField | Abstract |
| isFun | Value |
| isFunType | Value |
| isMeta | TypeChecker |
| isNamedField | Abstract |
| isPatIndFamC | Abstract |
| isProjection | Abstract |
| isPVar | Polarity |
| isSingleton | SparseMatrix |
| isSize | Abstract |
| isSized | TCM |
| isSPos | Polarity |
| isSuccessor | Abstract |
| isSuccessorPattern | Abstract |
| isTuple | TCM |
| isTypeChecked | TCM |
| isUnitData | TCM |
| isUnitType | Eval |
| isVSize | Value |
| Kind | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | HsSyntax |
| kind | Abstract |
| Kinded | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| kindOf | Abstract |
| kSize | Abstract |
| kTerm | Abstract |
| kTSize | Abstract |
| kType | Abstract |
| kUniv | Abstract |
| L | Eval |
| l1 | TreeShapedOrder |
| Lam | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| LBind | |
| 1 (Type/Class) | Abstract |
| 2 (Type/Class) | Concrete |
| Le | Abstract |
| leaves | TreeShapedOrder |
| leftBound | Abstract |
| LegendMatrix | |
| 1 (Type/Class) | Warshall |
| 2 (Data Constructor) | Warshall |
| len | TCM |
| LensDec | Abstract |
| LensPol | Abstract |
| Leq | Lexer |
| leq | Termination |
| leqApp | Eval |
| leqCase | Eval |
| leqCases | Eval |
| leqClauses | Eval |
| leqDec | Eval |
| leqPol | Polarity |
| leqPolM | Eval |
| leqPolPoly | Eval |
| leqSize | Eval |
| leqSize' | Eval |
| leqSizeE | Abstract |
| leqSort | Eval |
| leqSort' | Eval |
| leqVal | Eval |
| leqVal' | Eval |
| leqVals' | Eval |
| leSize | Eval |
| leSize' | Eval |
| leSize'' | Eval |
| leSizePlus | Eval |
| leSizePlus' | Eval |
| Let | Lexer |
| LetDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| LetDef | |
| 1 (Type/Class) | Concrete |
| 2 (Data Constructor) | Concrete |
| letdef | Abstract |
| letDefDec | Concrete |
| letDefExpr | Concrete |
| letDefName | Concrete |
| letDefTel | Concrete |
| letDefType | Concrete |
| LetK | Abstract |
| LetSig | TCM |
| lexSizes | Eval |
| lhs | TCM |
| lhsTyp | TCM |
| LHSType | TCM |
| license | License |
| LinearPatterns | Abstract |
| List1 | Util |
| LLet | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| lookupEnv | Value |
| lookupGen | TCM |
| lookupGenType2 | TCM |
| lookupM | TCM |
| lookupName | TCM |
| lookupName1 | TCM |
| lookupPure | Value |
| lookupSub | TypeChecker |
| lookupSymb | TCM |
| lookupSymbInSig | TCM |
| lookupSymbQ | TCM |
| lookupSymbTyp | TCM |
| lookupSymbTypQ | TCM |
| lowerKind | Abstract |
| lowerSemiCont | TypeChecker |
| lowerSemiContinuous | TypeChecker |
| Lt | Abstract |
| LtLe | Abstract |
| ltle | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| LTri | Lexer |
| ltSize | Eval |
| M | SparseMatrix |
| madd | Termination |
| main | MainLib |
| mainFile | MainLib |
| main_mod | HsSyntax |
| main_name | HsSyntax |
| makeCG | Termination |
| ManyConstructors | Eval |
| mapAssoc | Util |
| mapAssocM | Util |
| mapDec | Abstract |
| mapDecM | Abstract |
| mapFst | Util |
| mapMapM | Util |
| mapOver | Util |
| mapPair | Util |
| mapPol | Abstract |
| mapSecond12 | TCM |
| mapSnd | Util |
| Mat | Termination |
| Match | HsSyntax |
| match | Eval |
| matchClause | Eval |
| matchClauses | Eval |
| MatchingConstructors | Eval |
| matchingConstructors | Eval |
| matchingConstructors' | Eval |
| matchingConstructors'' | Eval |
| matchList | Eval |
| matchPatType | TCM |
| MatchState | Eval |
| Matrix | |
| 1 (Type/Class) | SparseMatrix |
| 2 (Type/Class) | Warshall |
| 3 (Type/Class) | Termination |
| matrix | |
| 1 (Function) | Warshall |
| 2 (Function) | Termination |
| matrixInvariant | SparseMatrix |
| Max | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| maxClass | Abstract |
| maxE | Abstract |
| MaxExpr | Warshall |
| maxExpr | TCM |
| maxL | Termination |
| MaxMatches | TypeChecker |
| maxMins | Eval |
| maxO | Termination |
| maxSize | Value |
| maxSizeE | Abstract |
| maxSort | Abstract |
| maybeErase | TypeChecker |
| Measure | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| measure | Abstract |
| Meta | Abstract |
| metaToExpr | Eval |
| MetaVar | |
| 1 (Type/Class) | TCM |
| 2 (Data Constructor) | TCM |
| MetaVars | TCM |
| metaVars | TCM |
| minClass | Abstract |
| minL | Termination |
| minM | Termination |
| minO | Termination |
| minSize | Eval |
| minSizeE | Abstract |
| minSort | Abstract |
| Minus | Lexer |
| MIx | |
| 1 (Type/Class) | SparseMatrix |
| 2 (Data Constructor) | SparseMatrix |
| mixed | Polarity |
| mIxInvariant | SparseMatrix |
| mkApp | HsSyntax |
| mkCast | HsSyntax |
| mkClause | HsSyntax |
| mkClos | Value |
| mkCon | HsSyntax |
| mkConDecl | HsSyntax |
| mkConLType | TypeChecker |
| mkConstraint | TCM |
| mkConVal | Eval |
| mkCP | Termination |
| mkDataDecl | HsSyntax |
| mkDotted | Abstract |
| mkExtName | Abstract |
| mkExtRef | Abstract |
| mkForall | HsSyntax |
| mkKindFun | HsSyntax |
| mkLam | HsSyntax |
| mkLet | HsSyntax |
| mkLLet | HsSyntax |
| mkMatrix | Warshall |
| mkModule | HsSyntax |
| mkPair | HsSyntax |
| mkParen | HsSyntax |
| mkQual | HsSyntax |
| mkQualImport | HsSyntax |
| mkTyApp | HsSyntax |
| mkTyFun | HsSyntax |
| mkTyParen | HsSyntax |
| mkTypeSig | HsSyntax |
| mkTyPiSig | HsSyntax |
| mkTyProd | HsSyntax |
| mkVar | HsSyntax |
| mmul | Termination |
| modifySig | TCM |
| modifySigQ | TCM |
| Module | HsSyntax |
| MonadAssert | TraceError |
| MonadCxt | TCM |
| MonadMeta | TCM |
| MonadSig | TCM |
| MonadTCM | TCM |
| monomials | Polarity |
| MScope | TCM |
| mscope | TCM |
| MT12 | Eval |
| mul | |
| 1 (Function) | Semiring |
| 2 (Function) | SparseMatrix |
| mulCC | Termination |
| mulCMSet | Termination |
| mulCP | Termination |
| Multiplicity | Polarity |
| multiply | Semiring |
| multsEmpty | Polarity |
| multsSingle | Polarity |
| Mutual | Lexer |
| mutualCo | TCM |
| MutualDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| MutualFunDecl | Abstract |
| mutualFuns | TCM |
| mutualNames | TCM |
| MVar | Abstract |
| N | Eval |
| NaiveMatrix | Termination |
| Name | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | HsSyntax |
| 4 (Type/Class) | Concrete |
| 5 (Data Constructor) | Concrete |
| name | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| name12 | TCM |
| NamedRec | Abstract |
| nameInstanceOf | Abstract |
| NameMap | Eval |
| nameOf | TCM |
| nameOfGen | TCM |
| namePart | Abstract |
| naming | TCM |
| Neg | Polarity |
| nest | PrettyTCM |
| neutral | Polarity |
| neutralDec | Abstract |
| new | TCM |
| new' | TCM |
| new2 | TCM |
| new2WithGen | TCM |
| newAssertionHandling | TraceError |
| newErrorDoc | TraceError |
| newErrorMsg | TraceError |
| NewFlex | Warshall |
| newIrr | TCM |
| newTyVar | Extract |
| newVar | TCM |
| newWithGen | TCM |
| nextNode | Warshall |
| noBind | Abstract |
| noBinds | HsSyntax |
| Nocc | Eval |
| nocc | Eval |
| noConsistencyChecking | TCM |
| NoConstructor | Eval |
| noContext | HsSyntax |
| NoData | TCM |
| Node | Warshall |
| NodeId | Warshall |
| nodeMap | Warshall |
| noDeriving | HsSyntax |
| NoKind | Abstract |
| noLoc | HsSyntax |
| noName | Abstract |
| nonEmptyName | Abstract |
| NonLinearPatterns | Abstract |
| nonLinMatch | Eval |
| nonLinMatchList | Eval |
| nonLinMatchList' | Eval |
| noTags | Abstract |
| notDifferentNames | Eval |
| notDotted | Abstract |
| NotErasableIndex | Abstract |
| NotFun | Extract |
| NotPatterns | Abstract |
| NotProd | Extract |
| NotSized | Abstract |
| NotUsed | Lexer |
| noTyVarBind | HsSyntax |
| Null | Util |
| null | Util |
| Number | Lexer |
| numPars | TCM |
| o1 | TreeShapedOrder |
| One | TCM |
| OneConstructor | Eval |
| OneOrTwo | TCM |
| oneOrTwo | TCM |
| oone | Warshall |
| oplus | Warshall |
| optInputs | Options |
| Options | |
| 1 (Type/Class) | Options |
| 2 (Data Constructor) | Options |
| options | Options |
| Order | Termination |
| orderMat | Termination |
| ordRing | Termination |
| orM | TraceError |
| otimes | Warshall |
| overlap | Abstract |
| overlaps | Abstract |
| Override | Abstract |
| OverrideDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| ozero | Warshall |
| Pair | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| PairP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| Param | Polarity |
| paramDec | Abstract |
| ParamPats | Abstract |
| parens | |
| 1 (Function) | Util |
| 2 (Function) | PrettyTCM |
| parensIf | Util |
| parent | TreeShapedOrder |
| parents | TreeShapedOrder |
| parse | Parser |
| parseOptions | Options |
| ParSubst | Abstract |
| parSubst | Abstract |
| Pat | |
| 1 (Type/Class) | Abstract |
| 2 (Type/Class) | HsSyntax |
| patApp | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| pathesToForest | TreeShapedOrder |
| PatSig | TCM |
| patSubst | Abstract |
| Pattern | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | Abstract |
| 3 (Type/Class) | Concrete |
| PatternDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| PatternInfo | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| PatternsType | Abstract |
| patternToExpr | Abstract |
| patternVars | Abstract |
| patVars | TCM |
| Pi | Abstract |
| pi | Abstract |
| piApp | Eval |
| piApps | Eval |
| piSig | Abstract |
| PiSigma | Abstract |
| Plus | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| PlusPlus | Lexer |
| plusSize | Value |
| plusSizes | Value |
| Pol | Polarity |
| polAnd | Polarity |
| Polarity | Polarity |
| polarity | Abstract |
| polComp | Polarity |
| polNeg | Polarity |
| polProd | Polarity |
| polProduct | Polarity |
| polSum | Polarity |
| POne | Polarity |
| Pos | Polarity |
| PosConstrnt | TCM |
| positivity | TCM |
| PositivityGraph | TCM |
| positivityGraph | TCM |
| Post | Abstract |
| ppHsMode | MainLib |
| PPoly | |
| 1 (Type/Class) | Polarity |
| 2 (Data Constructor) | Polarity |
| ppoly | Polarity |
| PProd | |
| 1 (Type/Class) | Polarity |
| 2 (Data Constructor) | Polarity |
| pprod | Polarity |
| PrClose | Lexer |
| Pre | Abstract |
| precAppL | Abstract |
| precAppR | Abstract |
| precArrL | Abstract |
| preciseKind | Abstract |
| predClass | Abstract |
| predecessor | Abstract |
| predKind | Abstract |
| predSize | Value |
| predSort | Abstract |
| PrePost | Abstract |
| Pretty | Util |
| pretty | |
| 1 (Function) | Util |
| 2 (Function) | PrettyTCM |
| prettyCase | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| prettyCast | Abstract |
| prettyClause | Abstract |
| prettyDecId | Concrete |
| prettyDecl | Concrete |
| prettyErased | Abstract |
| prettyExpr | Concrete |
| prettyExprs | Concrete |
| prettyFun | Abstract |
| prettyKind | Abstract |
| prettyLBind | Concrete |
| prettyLetAssign | Concrete |
| prettyLetBody | Concrete |
| prettyLetDef | Concrete |
| prettyList | PrettyTCM |
| prettyMaybeType | Concrete |
| prettyPattern | Concrete |
| prettyPrec | Util |
| prettyRecFields | Abstract |
| prettyRecordLine | Concrete |
| prettyTBind | Concrete |
| PrettyTCM | PrettyTCM |
| prettyTCM | PrettyTCM |
| prettyTel | Concrete |
| prettyTok | Lexer |
| printHsDecls | MainLib |
| Prod | Extract |
| prod | Value |
| ProdView | Extract |
| prodView | Extract |
| Progress | Termination |
| progress | Termination |
| progressCC | Termination |
| ProgressH | Termination |
| Proj | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| proj | Abstract |
| projectType | Eval |
| ProjP | Abstract |
| promote | Polarity |
| PrOpen | Lexer |
| ptsRule | TypeChecker |
| PTwo | Polarity |
| punctuate | PrettyTCM |
| Push | Util |
| push | Util |
| PVar | Polarity |
| PVarId | Polarity |
| pwords | |
| 1 (Function) | Util |
| 2 (Function) | PrettyTCM |
| QName | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | HsSyntax |
| 4 (Type/Class) | Concrete |
| 5 (Data Constructor) | Concrete |
| Qual | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| qual | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| QualId | Lexer |
| Quant | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| quant | Value |
| QuoteName | Abstract |
| R | Eval |
| RApp | Concrete |
| RConst | Warshall |
| reassembleConstructor | Abstract |
| reassembleConstructorType | Abstract |
| Rec | Polarity |
| recConK | Abstract |
| recConName | Abstract |
| recDotted | Abstract |
| recDottedRef | Abstract |
| RecInfo | Abstract |
| recNamedFields | Abstract |
| recOccs | TCM |
| Record | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| RecordDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| recoverFail | TraceError |
| recoverFailDoc | TraceError |
| reduce | Eval |
| reify | Eval |
| reify' | Eval |
| relPol | Polarity |
| relPolM | Polarity |
| Ren | TCM |
| renaming | TCM |
| resetConstraints | TCM |
| resurrect | TCM |
| Retrieve | Util |
| retrieve | Util |
| Reval | Eval |
| reval | Eval |
| reval' | Eval |
| Rewrite | |
| 1 (Type/Class) | TCM |
| 2 (Data Constructor) | TCM |
| Rewrites | TCM |
| rewrites | TCM |
| rhs | TCM |
| rhsDefs | Abstract |
| rightBound | Abstract |
| Rigid | |
| 1 (Data Constructor) | Warshall |
| 2 (Type/Class) | Warshall |
| RigidId | Warshall |
| row | SparseMatrix |
| rowdescr | Warshall |
| rows | SparseMatrix |
| RTri | Lexer |
| runExtract | Extract |
| runTranslate | ToHaskell |
| runTypeCheck | TypeChecker |
| RVar | Warshall |
| sameSize | Termination |
| scalarProdukt | Termination |
| Scope | Warshall |
| scopeCheck | ScopeChecker |
| second12 | TCM |
| secondHalf | Termination |
| self | Options |
| Sem | Lexer |
| SemCxt | |
| 1 (Type/Class) | TCM |
| 2 (Data Constructor) | TCM |
| SemiRing | |
| 1 (Type/Class) | Semiring |
| 2 (Type/Class) | Warshall |
| Semiring | |
| 1 (Type/Class) | Semiring |
| 2 (Data Constructor) | Semiring |
| sep | PrettyTCM |
| separate | Util |
| Set | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| set0 | Concrete |
| setCo | TCM |
| setDec | Abstract |
| setExtrTyp | TCM |
| setExtrTypQ | TCM |
| setMeasure | TCM |
| setPol | Abstract |
| setType | TCM |
| setTypeOfName | TCM |
| sgSub | TypeChecker |
| sgVal | Value |
| shallowSuccP | Abstract |
| ShCoSet | Eval |
| ShData | Eval |
| ShNe | Eval |
| ShNone | Eval |
| showAll | MainLib |
| showCase | Abstract |
| showCases | Abstract |
| showCast | Abstract |
| showDeriving | HsSyntax |
| showEnv | Value |
| showEnv' | Value |
| showFun | Abstract |
| showLet | MainLib |
| showList | Util |
| showMults | Polarity |
| showPVar | Polarity |
| showSkipLambda | Value |
| showVals | Value |
| showValuation | Value |
| ShQuant | Eval |
| ShSet | Eval |
| ShSing | Eval |
| ShSingL | Eval |
| ShSingR | Eval |
| shSize | Eval |
| ShSort | Eval |
| ShSortC | Eval |
| SigDef | TCM |
| Sigma | Abstract |
| Signature | TCM |
| signature | TCM |
| Sing | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| sing | Eval |
| sing' | Eval |
| singleton | Collection |
| Size | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | SparseMatrix |
| 3 (Data Constructor) | SparseMatrix |
| 4 (Type/Class) | Util |
| 5 (Data Constructor) | Abstract |
| 6 (Data Constructor) | Concrete |
| size | |
| 1 (Function) | SparseMatrix |
| 2 (Function) | Util |
| sizeChangeTermination | Termination |
| SizeConst | Warshall |
| Sized | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | Abstract |
| 3 (Data Constructor) | Abstract |
| SizedCoFun | TypeChecker |
| sizeDomain | Abstract |
| SizeExpr | Warshall |
| sizeExprToExpr | TCM |
| sizeInvariant | SparseMatrix |
| SizeP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| sizeRels | TCM |
| sizeRigid | Warshall |
| sizeSuccE | Abstract |
| SizeVar | Warshall |
| sizeVarBelow | TCM |
| sizeVarsToInfty | Abstract |
| Slash | Lexer |
| solToSubst | TCM |
| Solution | Warshall |
| solution | TCM |
| solve | Warshall |
| solveAndModify | TCM |
| solveConstraints | TCM |
| Sort | |
| 1 (Data Constructor) | Abstract |
| 2 (Type/Class) | Abstract |
| SortC | Abstract |
| SortShape | Eval |
| sortView | Eval |
| sortView12 | Eval |
| source | Termination |
| spaceToUnderscore | Abstract |
| SpineView | Abstract |
| spineView | Abstract |
| SPos | Polarity |
| square | SparseMatrix |
| ssum | Termination |
| star | Extract |
| stepCG | Termination |
| Subst | Abstract |
| subst | Abstract |
| Substitute | |
| 1 (Type/Class) | Abstract |
| 2 (Type/Class) | TypeChecker |
| substitute | TypeChecker |
| Substitution | TypeChecker |
| subsumes | Termination |
| subsumesCC | Termination |
| subtype | Eval |
| Succ | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| succKind | Abstract |
| succMeasure | Abstract |
| SuccP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| succSize | Value |
| succSort | Abstract |
| succView | Abstract |
| suggestion | Abstract |
| switch | Eval |
| Switchable | Eval |
| symbKind | TCM |
| symbolKind | TCM |
| symbTyp | TCM |
| szAntitone | TypeChecker |
| szCheckIndFun | TypeChecker |
| szCheckIndFunSize | TypeChecker |
| szCoInductive | TypeChecker |
| szConstructor | TypeChecker |
| szInductive | TypeChecker |
| szLowerSemiCont | TypeChecker |
| szMono | TypeChecker |
| szMonotone | TypeChecker |
| szSizeVarDataArgs | TypeChecker |
| szSizeVarTarget | TypeChecker |
| szSizeVarUsage | TypeChecker |
| szType | TypeChecker |
| szUsed | TypeChecker |
| szUsed' | TypeChecker |
| t1 | TreeShapedOrder |
| t2 | TreeShapedOrder |
| t3 | TreeShapedOrder |
| t4 | TreeShapedOrder |
| t5 | TreeShapedOrder |
| Tag | Abstract |
| Tagged | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| Tags | Abstract |
| tags | Abstract |
| tailPosl | TypeChecker |
| target | Termination |
| TBind | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | Concrete |
| 4 (Data Constructor) | Concrete |
| TBinding | |
| 1 (Type/Class) | Abstract |
| 2 (Type/Class) | Concrete |
| tbindNames | Concrete |
| TBound | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| TBounded | Concrete |
| TCContext | |
| 1 (Type/Class) | TCM |
| 2 (Data Constructor) | TCM |
| TContext | |
| 1 (Type/Class) | ToHaskell |
| 2 (Data Constructor) | ToHaskell |
| TCState | |
| 1 (Type/Class) | TCM |
| 2 (Data Constructor) | TCM |
| teleLam | Abstract |
| teleNames | Concrete |
| Telescope | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | Concrete |
| telescope | Abstract |
| teleToType | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| teleToType' | Abstract |
| teleToTypeErase | Abstract |
| teleToTypeM | Abstract |
| TeleVal | Value |
| telView | Eval |
| terminationCheck | Termination |
| terminationCheckFuns | Termination |
| test_spineView | Abstract |
| text | PrettyTCM |
| theName | Concrete |
| thePolarity | Abstract |
| throwErrorMsg | TraceError |
| throwTrace | TraceError |
| Times | Lexer |
| Tm | Abstract |
| TMeasure | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| ToExpr | PrettyTCM |
| toExpr | Eval |
| toExpression | PrettyTCM |
| toForest | TreeShapedOrder |
| Token | Lexer |
| toList12 | TCM |
| toLists | SparseMatrix |
| toMaybe12 | TCM |
| topSort | Abstract |
| toTwo | TCM |
| traceAdm | TypeChecker |
| traceAdmM | TypeChecker |
| traceCheck | TypeChecker |
| traceCheckM | TypeChecker |
| TraceError | TraceError |
| traceEta | Eval |
| traceEtaM | Eval |
| traceExtrM | Extract |
| traceLoop | Eval |
| traceLoopM | Eval |
| traceM | Util |
| traceMatch | Eval |
| traceMatchM | Eval |
| traceMeta | TCM |
| traceMetaM | TCM |
| traceProg | Termination |
| traceProgM | Termination |
| traceRecord | Eval |
| traceRecordM | Eval |
| traceRew | TCM |
| traceRewM | TCM |
| traceSig | TCM |
| traceSing | TypeChecker |
| traceSingM | TypeChecker |
| traceSize | Eval |
| traceSizeM | Eval |
| traceSolve | Warshall |
| traceSolveM | Warshall |
| traceTerm | Termination |
| traceTermM | Termination |
| Translate | ToHaskell |
| translateClause | ToHaskell |
| translateConstructor | ToHaskell |
| translateDataDecl | ToHaskell |
| translateDecl | ToHaskell |
| translateDecls | ToHaskell |
| translateExpr | ToHaskell |
| translateFun | ToHaskell |
| translateFuns | ToHaskell |
| translateKind | ToHaskell |
| translateLet | ToHaskell |
| translateModule | ToHaskell |
| translatePattern | ToHaskell |
| translateTBind | ToHaskell |
| translateTelescope | ToHaskell |
| translateType | ToHaskell |
| translateTypeSig | ToHaskell |
| transp | Termination |
| transpose | SparseMatrix |
| TrErr | TraceError |
| TrustMe | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| tryIrregularBound | Eval |
| TSize | Abstract |
| tSize | Abstract |
| TSO | |
| 1 (Type/Class) | TreeShapedOrder |
| 2 (Data Constructor) | TreeShapedOrder |
| tsoBind | Termination |
| tsoCase | Termination |
| tsoFromPatterns | Abstract |
| TState | |
| 1 (Type/Class) | ToHaskell |
| 2 (Data Constructor) | ToHaskell |
| turnIntoVarPatAtUnitType | TypeChecker |
| TVal | Value |
| Two | TCM |
| typ | Abstract |
| Type | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | Abstract |
| 3 (Type/Class) | HsSyntax |
| 4 (Type/Class) | Concrete |
| TypeCheck | TCM |
| typeCheck | TypeChecker |
| typeCheckConstructor | TypeChecker |
| typeCheckDataDecl | TypeChecker |
| typeCheckDeclaration | TypeChecker |
| typeCheckDecls | TypeChecker |
| typeCheckFunBody | TypeChecker |
| typeCheckFunClauses | TypeChecker |
| typeCheckFuns | TypeChecker |
| typeCheckFunSig | TypeChecker |
| typeCheckMeasuredFuns | TypeChecker |
| typeCheckMutualBody | TypeChecker |
| typeCheckMutualSig | TypeChecker |
| typeCheckMutualSigs | TypeChecker |
| typeCheckSignature | TypeChecker |
| typePart | Abstract |
| TypeShape | Eval |
| TypeSig | |
| 1 (Data Constructor) | Abstract |
| 2 (Type/Class) | Abstract |
| 3 (Type/Class) | Concrete |
| 4 (Data Constructor) | Concrete |
| typeToTele | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| typeToTele' | Abstract |
| typeView | Eval |
| typeView12 | Eval |
| TySig | Abstract |
| TyVarBind | HsSyntax |
| UDec | Abstract |
| udec | Abstract |
| uid | Abstract |
| Un | Termination |
| undefinedFType | TCM |
| underAbs | TCM |
| underAbs' | TCM |
| underAbs_ | TCM |
| Underscore | Lexer |
| unifyIndices | TypeChecker |
| unionCMSet | Termination |
| unionCMSet' | Termination |
| unionKind | Abstract |
| uniqueName | TCM |
| unit_tycon | HsSyntax |
| Unknown | Concrete |
| UnknownConstructors | Eval |
| unlessM | Util |
| unqual | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| unsafeName | Abstract |
| unTag | Abstract |
| unTSO | TreeShapedOrder |
| UnusableP | Abstract |
| up | Eval |
| upData | Eval |
| update | Value |
| updateValu | Eval |
| upperBound | Concrete |
| upperDec | TCM |
| upperDecs | TCM |
| upperKind | Abstract |
| upperSemiCont | TypeChecker |
| UsedDefs | Abstract |
| usedDefs | Abstract |
| UserName | Abstract |
| VAbs | Value |
| vAbs | Value |
| vadd | Termination |
| Val | Value |
| valuateGen | Value |
| Valuation | |
| 1 (Type/Class) | Value |
| 2 (Data Constructor) | Value |
| valuation | Value |
| valueOf | Abstract |
| VApp | Value |
| Var | Abstract |
| varBelowInfty | Eval |
| VarMults | Polarity |
| varMults | Polarity |
| VarP | Abstract |
| VBelow | Value |
| VCase | Value |
| vcat | PrettyTCM |
| VClos | Value |
| vCon | Value |
| VConst | Value |
| vDat | Value |
| VDef | Value |
| vDef | Value |
| Vector | Termination |
| version | Version |
| vFinSize | Value |
| vFun | Value |
| VGen | Value |
| vGenSuccs | TCM |
| VGuard | Value |
| VInfty | Value |
| VIrr | Value |
| VLam | Value |
| vLam | Value |
| vlist | Abstract |
| VMax | Value |
| VMeasured | Value |
| VMeta | Value |
| VPair | Value |
| VPlus | Value |
| VProj | Value |
| vqDom | Value |
| vqFun | Value |
| vqName | Value |
| vqPiSig | Value |
| VQuant | Value |
| VRecord | Value |
| VSing | Value |
| vSing | Eval |
| vSize | Value |
| VSort | Value |
| vSort | Value |
| vSortToSort | Value |
| VSucc | Value |
| vSucc | Value |
| vTopSort | Value |
| vTSize | Value |
| VUp | Value |
| VZero | Value |
| Warning | TraceError |
| warshall | Warshall |
| Weight | Warshall |
| what | Abstract |
| WhatName | Abstract |
| whenJust | Util |
| whenJustM | Util |
| whenM | Util |
| whenNothing | Util |
| whnf | Eval |
| whnf' | Eval |
| whnf12 | Eval |
| whnfClos | Eval |
| whnfMeasure | Eval |
| whnfSort | Eval |
| Zero | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| zero | Semiring |
| zeroElement | Semiring |
| zip | SparseMatrix |
| zipPair | Util |
| zipWith12 | TCM |
| zipWith123 | TCM |
| \\ | Collection |