Index - T
| Tactic | FreeC.Backend.Agda.Syntax |
| TacticAttribute | FreeC.Backend.Agda.Syntax |
| Tactics | FreeC.Backend.Coq.Syntax |
| TBind | FreeC.Backend.Agda.Syntax |
| Telescope | FreeC.Backend.Agda.Syntax |
| Term | FreeC.Backend.Coq.Syntax |
| Terminating | FreeC.Backend.Agda.Syntax |
| TerminationCheck | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| TerminationCheckPragma | FreeC.Backend.Agda.Syntax |
| TerminationMeasure | FreeC.Backend.Agda.Syntax |
| TexFileType | FreeC.Backend.Agda.Syntax |
| text | FreeC.Pretty |
| textStrict | FreeC.Pretty |
| theFixity | FreeC.Backend.Agda.Syntax |
| THEN | FreeC.Frontend.IR.Token |
| theNameRange | FreeC.Backend.Agda.Syntax |
| theNotation | FreeC.Backend.Agda.Syntax |
| Theorem | FreeC.Backend.Coq.Syntax |
| ThingWithFixity | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| TLet | FreeC.Backend.Agda.Syntax |
| Token | FreeC.Frontend.IR.Token |
| TokenWithPos | |
| 1 (Type/Class) | FreeC.Frontend.IR.Scanner |
| 2 (Data Constructor) | FreeC.Frontend.IR.Scanner |
| topCohesion | FreeC.Backend.Agda.Syntax |
| TopLevelDecl | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| TopLevelFuncDecl | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| topLevelFuncDecl | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| TopLevelModuleName | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| topLevelModuleName | FreeC.Backend.Agda.Syntax |
| TopLevelTypeDecl | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| topLevelTypeDecl | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| TopLevelTypeSig | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| topLevelTypeSig | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| topModality | FreeC.Backend.Agda.Syntax |
| topQuantity | FreeC.Backend.Agda.Syntax |
| topRelevance | FreeC.Backend.Agda.Syntax |
| toQual | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| ToSupportType | FreeC.Backend.Coq.Syntax |
| toTopLevelModuleName | FreeC.Backend.Agda.Syntax |
| toUnQual | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| toVarPat | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| TRACE | FreeC.Frontend.IR.Token |
| Trace | |
| 1 (Data Constructor) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| trace | FreeC.Backend.Coq.Base |
| traceable | FreeC.Backend.Coq.Base |
| traceableArg | FreeC.Backend.Coq.Base |
| traceExpr | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| traceFuncName | FreeC.IR.Base.Prelude |
| traceMsg | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| Tracing | FreeC.LiftedIR.Effect |
| TrailingLine | FreeC.Pretty |
| transformPatternMatching | FreeC.Frontend.Haskell.PatternMatching |
| Transparency | FreeC.Backend.Coq.Syntax |
| Transparent | FreeC.Backend.Coq.Syntax |
| tupleConName | FreeC.IR.Base.Prelude |
| tupled | FreeC.Pretty |
| tupleTypeConName | FreeC.IR.Base.Prelude |
| TYPE | FreeC.Frontend.IR.Token |
| Type | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Type/Class) | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| 3 (Type/Class) | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| TypeApp | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| typeApp | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| TypeAppExpr | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| typeAppLhs | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| typeAppRhs | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| TypeCon | |
| 1 (Data Constructor) | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| typeConApp | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| typeConArgs | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| TypeConName | FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax |
| typeConName | |
| 1 (Function) | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| Typed | FreeC.Backend.Coq.Syntax |
| typedBinder | FreeC.Backend.Coq.Syntax |
| typedBinder' | FreeC.Backend.Coq.Syntax |
| TypedBinding | FreeC.Backend.Agda.Syntax |
| TypedBinding' | FreeC.Backend.Agda.Syntax |
| TypeDecl | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| typeDeclArgs | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| typeDeclIdent | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| typeDeclName | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| typeDeclQName | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| typeDeclSrcSpan | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| typeDependencyComponents | FreeC.IR.DependencyGraph |
| typeDependencyGraph | FreeC.IR.DependencyGraph |
| typeFreeArg | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| typeInferencePass | FreeC.Pass.TypeInferencePass |
| typeIsDec | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| TypeMap | FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances |
| TypeMap' | FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances |
| typeRefs | FreeC.IR.Reference |
| TypeScheme | |
| 1 (Type/Class) | FreeC.IR.Syntax.TypeScheme, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.IR.Syntax.TypeScheme, FreeC.IR.Syntax |
| typeSchemeArgs | FreeC.IR.Syntax.TypeScheme, FreeC.IR.Syntax |
| typeSchemeSrcSpan | FreeC.IR.Syntax.TypeScheme, FreeC.IR.Syntax |
| typeSchemeType | FreeC.IR.Syntax.TypeScheme, FreeC.IR.Syntax |
| TypeScope | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| TypeSig | |
| 1 (Type/Class) | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| 3 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| typeSigDeclIdents | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| TypeSignature | FreeC.Backend.Agda.Syntax |
| TypeSignatureOrInstanceBlock | FreeC.Backend.Agda.Syntax |
| typeSignaturePass | FreeC.Pass.TypeSignaturePass |
| typeSigSrcSpan | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| typeSigTypeScheme | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| typeSrcSpan | |
| 1 (Function) | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| TypeSynDecl | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| typeSynDeclRhs | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| TypeSynEntry | FreeC.Environment.Entry |
| TypeVar | |
| 1 (Data Constructor) | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| TypeVarDecl | |
| 1 (Type/Class) | FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax |
| typeVarDeclIdent | FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax |
| typeVarDeclName | FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax |
| typeVarDeclQName | FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax |
| typeVarDeclSrcSpan | FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax |
| typeVarDeclToType | FreeC.IR.Syntax.TypeVarDecl, FreeC.IR.Syntax |
| TypeVarEntry | FreeC.Environment.Entry |
| TypeVarIdent | FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax |
| typeVarIdent | |
| 1 (Function) | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |