| T | IRTS.Bytecode |
| table | Idris.ParseOps, Idris.Parser |
| Tac | Core.Elaborate |
| TacImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| tacimpl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Tactic | Core.ProofState, Core.Elaborate |
| tactic | Idris.ParseExpr, Idris.Parser |
| tacticsExpr | Idris.ParseExpr, Idris.Parser |
| TAILCALL | IRTS.Bytecode |
| TargetCPU | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| targetCPU | Idris.AbsSyntax |
| TargetTriple | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| targetTriple | Idris.AbsSyntax |
| TC | Core.TT |
| tclift | Idris.Error |
| tcname | Core.TT |
| TCon | Core.TT |
| tctry | Idris.Error |
| tc_dictionary | Core.Evaluate |
| tempfile | Util.System |
| Term | Core.TT |
| terminator | Idris.ParseHelpers, Idris.Parser |
| TermSize | Core.TT |
| termsize | Core.TT |
| TermSyntax | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| TermTrans | Idris.Transforms |
| TestInline | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| testLib | Pkg.Package |
| text | Util.Pretty |
| TextDetails | Util.Pretty |
| tfail | Core.TT |
| Theorem | Core.Elaborate |
| thname | Core.ProofState, Core.Elaborate |
| threadType | IRTS.Java.JTypes |
| TI | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| timestampOlder | Idris.IBC |
| tldeclared | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Tmp | IRTS.Bytecode |
| toAlist | Core.TT |
| toBC | |
| 1 (Function) | IRTS.BCImp |
| 2 (Function) | IRTS.Bytecode |
| toClassType | IRTS.Java.ASTBuilding |
| toCons | IRTS.Defunctionalise |
| toEither | Idris.AbsSyntax |
| toIBCFile | Pkg.Package |
| ToIR | IRTS.Compiler |
| TOPBASE | IRTS.Bytecode |
| toplevel | Idris.ElabTerm |
| toRefType | IRTS.Java.ASTBuilding |
| toSExp | Idris.IdeSlave |
| toTable | Idris.ParseOps, Idris.Parser |
| Total | Core.Evaluate |
| TotalFn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Totality | Core.Evaluate |
| totality | Idris.Parser |
| TotCheck | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| totcheck | Idris.AbsSyntax |
| TRACE | IRTS.CodegenCommon |
| traceUnused | Idris.UnusedArgs |
| traceWhen | Core.TT |
| Transform | Idris.Transforms |
| transform | |
| 1 (Function) | Idris.Transforms |
| 2 (Function) | Idris.Parser |
| Trivial | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| trivial | Idris.ProofSearch |
| trivial' | Idris.ElabTerm |
| trun | Core.TT |
| Try | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| try | Core.Elaborate |
| try' | Core.Elaborate |
| tryAll | Core.Elaborate |
| tryLoadLib | Util.DynamicLinker |
| tryWhen | Core.Elaborate |
| TSeq | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| TT | Core.TT |
| TTOpt | Idris.Transforms |
| TType | Core.TT |
| TTypeInTType | Core.TT |
| tt_ctxt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| TyDecl | Core.Evaluate |
| tyOptDeclList | Idris.ParseExpr, Idris.Parser |
| Type | Core.TT |
| TypeCase | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| TypeColour | Idris.Colours |
| typeColour | Idris.Colours |
| typeDeclList | Idris.ParseExpr, Idris.Parser |
| typeExpr | Idris.ParseExpr, Idris.Parser |
| TypeInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| TypeInType | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| typeInType | Idris.AbsSyntax |
| TypeOf | Idris.IdeSlave |
| TypeProviders | Idris.AbsSyntaxTree, Idris.AbsSyntax |