| Tag | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax, Gibbon.L4.Syntax |
| TagAlts | Gibbon.L4.Syntax |
| TagCursor | |
| 1 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L3.Syntax |
| 3 (Data Constructor) | Gibbon.L4.Syntax |
| TagTriv | Gibbon.L4.Syntax |
| TagTyBoxed | Gibbon.L4.Syntax |
| TagTyPacked | Gibbon.L4.Syntax |
| TagVal | Gibbon.L4.Interp |
| Tail | Gibbon.L4.Syntax |
| TailCall | Gibbon.L4.Syntax |
| TailRec | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| tcCases | Gibbon.L0.Typecheck |
| TCError | |
| 1 (Type/Class) | Gibbon.L2.Typecheck |
| 2 (Type/Class) | Gibbon.L1.Typecheck |
| tcExp | |
| 1 (Function) | Gibbon.L2.Typecheck |
| 2 (Function) | Gibbon.L1.Typecheck |
| 3 (Function) | Gibbon.L0.Typecheck |
| 4 (Function) | Gibbon.L3.Typecheck |
| tcExps | Gibbon.L0.Typecheck |
| tcFun | Gibbon.L0.Typecheck |
| TcM | |
| 1 (Type/Class) | Gibbon.L2.Typecheck |
| 2 (Type/Class) | Gibbon.L1.Typecheck |
| 3 (Type/Class) | Gibbon.L0.Typecheck |
| 4 (Data Constructor) | Gibbon.L0.Typecheck |
| tcProg | |
| 1 (Function) | Gibbon.L2.Typecheck |
| 2 (Function) | Gibbon.L1.Typecheck |
| 3 (Function) | Gibbon.L0.Typecheck |
| 4 (Function) | Gibbon.L3.Typecheck |
| tcProj | Gibbon.L1.Typecheck |
| testFlattenProg | Gibbon.L2.Examples |
| testProdFun | Gibbon.L2.Examples |
| testProdProg | Gibbon.L2.Examples |
| thd3 | Gibbon.Common |
| threadRegions | Gibbon.Passes.ThreadRegions |
| threadRegionsExp | Gibbon.Passes.ThreadRegions |
| threadRegionsFn | Gibbon.Passes.ThreadRegions |
| TiM | Gibbon.Passes.InferLocations |
| timed | Gibbon.L4.Syntax |
| TimeIt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| TimeItF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| toAbsRANDataCon | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ToC | Gibbon.Common, Gibbon.Compiler |
| toEndFromTaggedV | Gibbon.NewL2.Syntax |
| toEndV | Gibbon.Common |
| ToExe | Gibbon.Common, Gibbon.Compiler |
| toL1 | Gibbon.L0.Specialize2 |
| toL3Prim | Gibbon.L3.Syntax |
| ToLinearE | Gibbon.L0.Syntax |
| toLocVar | Gibbon.NewL2.Syntax |
| ToMPL | Gibbon.Common, Gibbon.Compiler |
| ToMPLExe | Gibbon.Common, Gibbon.Compiler |
| toOldL2 | Gibbon.NewL2.FromOldL2 |
| toOldL2Exp | Gibbon.NewL2.FromOldL2 |
| ToParse | Gibbon.Common, Gibbon.Compiler |
| toRelRANDataCon | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| toSeqV | Gibbon.Common |
| toss | Gibbon.L1.GenSML |
| toTagV | Gibbon.NewL2.Syntax |
| toVar | Gibbon.Common |
| Traverse | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| TravPacked | Gibbon.L0.Syntax |
| treeDD | Gibbon.L1.Examples |
| treeTy | Gibbon.L1.Examples |
| Triv | Gibbon.L4.Syntax |
| truePrinted | Gibbon.Common |
| tsmap | Gibbon.L2.Typecheck |
| tst | Gibbon.L4.Syntax |
| TupleDest | Gibbon.Passes.InferLocations |
| tuplizeRefs | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Ty | Gibbon.L4.Syntax |
| Ty0 | Gibbon.L0.Syntax |
| Ty1 | Gibbon.L1.Syntax |
| Ty2 | |
| 1 (Type/Class) | Gibbon.L2.Syntax |
| 2 (Type/Class) | Gibbon.NewL2.Syntax |
| Ty3 | Gibbon.L3.Syntax |
| tyArgs | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| TyCon | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| TyConInfo | Gibbon.L4.Syntax |
| TyEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| tyFromScheme | Gibbon.L0.Syntax |
| TyMap | Gibbon.L0.ElimNewtype |
| tyName | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| TyOf | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax, Gibbon.L3.Syntax |
| Typeable | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| typeOfTriv | Gibbon.L4.Syntax |
| TyScheme | Gibbon.L0.Syntax |
| tyToDataCon | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| TyVar | |
| 1 (Type/Class) | Gibbon.Common |
| 2 (Data Constructor) | Gibbon.L0.Syntax |
| tyVarsFromScheme | Gibbon.L0.Syntax |
| tyVarsInTy | Gibbon.L0.Syntax |
| tyVarsInTys | Gibbon.L0.Syntax |
| tyVarsInTyScheme | Gibbon.L0.Syntax |
| tyVarToMetaTy | Gibbon.L0.Typecheck |
| tyVarToMetaTyl | Gibbon.L0.Typecheck |