| targetVariable | Language.PureScript.Optimizer.Common |
| TCDAlias | Language.PureScript.TypeClassDictionaries |
| tcdClassName | Language.PureScript.TypeClassDictionaries |
| tcdDependencies | Language.PureScript.TypeClassDictionaries |
| tcdInstanceTypes | Language.PureScript.TypeClassDictionaries |
| tcdName | Language.PureScript.TypeClassDictionaries |
| TCDRegular | Language.PureScript.TypeClassDictionaries |
| tcdType | Language.PureScript.TypeClassDictionaries |
| tco | Language.PureScript.Optimizer.TCO |
| thirdM | Language.PureScript.Traversals |
| tick | Language.PureScript.Parser.Common, Language.PureScript.Parser, Language.PureScript |
| tokenParser | Language.PureScript.Parser.Common, Language.PureScript.Parser, Language.PureScript |
| TUnknown | Language.PureScript.Types, Language.PureScript |
| tyArray | Language.PureScript.Environment, Language.PureScript |
| tyBoolean | Language.PureScript.Environment, Language.PureScript |
| tyFunction | Language.PureScript.Environment, Language.PureScript |
| tyNumber | Language.PureScript.Environment, Language.PureScript |
| tyObject | Language.PureScript.Environment, Language.PureScript |
| Type | Language.PureScript.Types, Language.PureScript |
| TypeApp | Language.PureScript.Types, Language.PureScript |
| typeCheckAll | Language.PureScript.TypeChecker, Language.PureScript |
| TypeClassAccessorImport | Language.PureScript.Environment, Language.PureScript |
| TypeClassDeclaration | Language.PureScript.Declarations, Language.PureScript |
| typeClassDictionaries | Language.PureScript.Environment, Language.PureScript |
| TypeClassDictionary | Language.PureScript.Declarations, Language.PureScript |
| TypeClassDictionaryInScope | |
| 1 (Type/Class) | Language.PureScript.TypeClassDictionaries |
| 2 (Data Constructor) | Language.PureScript.TypeClassDictionaries |
| TypeClassDictionaryType | Language.PureScript.TypeClassDictionaries |
| typeClasses | Language.PureScript.Environment, Language.PureScript |
| TypeClassRef | Language.PureScript.Declarations, Language.PureScript |
| TypeConstructor | Language.PureScript.Types, Language.PureScript |
| TypeDeclaration | Language.PureScript.Declarations, Language.PureScript |
| TypedValue | Language.PureScript.Declarations, Language.PureScript |
| TypeError | Language.PureScript.Errors, Language.PureScript |
| TypeInstanceDeclaration | Language.PureScript.Declarations, Language.PureScript |
| TypeInstanceDictionaryValue | Language.PureScript.Environment, Language.PureScript |
| TypeInstanceRef | Language.PureScript.Declarations, Language.PureScript |
| TypeKind | Language.PureScript.Environment, Language.PureScript |
| TypeRef | Language.PureScript.Declarations, Language.PureScript |
| types | Language.PureScript.Environment, Language.PureScript |
| typesOf | Language.PureScript.TypeChecker.Types, Language.PureScript.TypeChecker, Language.PureScript |
| TypeSynonym | Language.PureScript.Environment, Language.PureScript |
| TypeSynonymDeclaration | Language.PureScript.Declarations, Language.PureScript |
| typeSynonyms | Language.PureScript.Environment, Language.PureScript |
| TypeVar | Language.PureScript.Types, Language.PureScript |
| tyString | Language.PureScript.Environment, Language.PureScript |