| T | IRTS.Bytecode |
| table | Idris.ParseOps, Idris.Parser |
| Tac | Idris.Core.Elaborate |
| TacImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| tacimpl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Tactic | Idris.Core.ProofState, Idris.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 | Idris.Core.TT |
| TC' | Idris.Core.TC, Idris.Core.TT |
| TCInstance | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| tclift | Idris.Error |
| tcname | Idris.Core.TT |
| TCon | Idris.Core.TT |
| tctry | Idris.Error |
| tc_dictionary | Idris.Core.Evaluate |
| Term | Idris.Core.TT |
| terminator | Idris.ParseHelpers, Idris.Parser |
| TermPart | Idris.Core.TT |
| TermSize | Idris.Core.TT |
| termsize | Idris.Core.TT |
| TermSyntax | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| TermTrans | Idris.Transforms |
| TestInline | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| testLib | Pkg.Package |
| TextPart | Idris.Core.TT |
| tfail | Idris.Core.TT |
| thead | Idris.Core.TT |
| Theorem | Idris.Core.Elaborate |
| thname | Idris.Core.ProofState, Idris.Core.Elaborate |
| threadType | IRTS.Java.JTypes |
| TI | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| timestampOlder | Idris.IBC |
| tldeclared | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Tmp | IRTS.Bytecode |
| tnull | Idris.Core.TT |
| toAlist | Idris.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 |
| TooManyArguments | Idris.Core.TT |
| TOPBASE | IRTS.Bytecode |
| toplevel | Idris.ElabTerm |
| toRefType | IRTS.Java.ASTBuilding |
| toSExp | Idris.IdeSlave |
| toTable | Idris.ParseOps, Idris.Parser |
| Total | Idris.Core.Evaluate |
| TotalFn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Totality | Idris.Core.Evaluate |
| totality | Idris.Parser |
| TotCheck | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| totcheck | Idris.AbsSyntax |
| TRACE | IRTS.CodegenCommon |
| traceUnused | Idris.UnusedArgs |
| traceWhen | Idris.Core.TT |
| Transform | Idris.Transforms |
| transform | |
| 1 (Function) | Idris.Parser |
| 2 (Function) | Idris.Transforms |
| Trivial | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| trivial | Idris.ProofSearch |
| trivial' | Idris.ElabTerm |
| trun | Idris.Core.TT |
| Try | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| try | Idris.Core.Elaborate |
| try' | Idris.Core.Elaborate |
| tryAll | Idris.Core.Elaborate |
| tryLoadLib | Util.DynamicLinker |
| tryWhen | Idris.Core.Elaborate |
| TSeq | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| TT | Idris.Core.TT |
| TTOpt | Idris.Transforms |
| TType | Idris.Core.TT |
| TTypeInTType | Idris.Core.TT |
| tt_ctxt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| txt | Idris.Core.TT |
| TyDecl | Idris.Core.Evaluate |
| tyOptDeclList | Idris.ParseExpr, Idris.Parser |
| Type | Idris.Core.TT |
| type1Doc | Idris.AbsSyntax |
| 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 |
| TypeOrTerm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| TypeOutput | Idris.Core.TT |
| TypeProviders | Idris.AbsSyntaxTree, Idris.AbsSyntax |