| tactic | Wingman.Metaprogramming.Parser |
| TacticCommand | Wingman.Types, Wingman.Plugin, Ide.Plugin.Tactic |
| tacticDesc | Wingman.LanguageServer |
| TacticError | Wingman.Types |
| TacticErrors | Wingman.Types |
| TacticPanic | Wingman.Types |
| TacticParams | |
| 1 (Type/Class) | Wingman.LanguageServer.TacticProviders |
| 2 (Data Constructor) | Wingman.LanguageServer.TacticProviders |
| tacticProgram | Wingman.Metaprogramming.Parser |
| TacticProviderData | |
| 1 (Type/Class) | Wingman.LanguageServer.TacticProviders |
| 2 (Data Constructor) | Wingman.LanguageServer.TacticProviders |
| tacticsGetDataCons | Wingman.GHC |
| TacticsM | Wingman.Types |
| tacticsSplitFunTy | Wingman.GHC |
| TacticState | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| tacticsThetaTy | Wingman.GHC |
| tacticTitle | Wingman.Types, Wingman.Plugin, Ide.Plugin.Tactic |
| tacticToRule | Wingman.Machinery |
| tcCommandId | Wingman.LanguageServer.TacticProviders |
| tcCommandName | Wingman.LanguageServer |
| tcTyVar_maybe | Wingman.GHC |
| textSpaces | Wingman.Metaprogramming.ProofState |
| TimedOut | Wingman.Types |
| TooPolymorphic | Wingman.Types |
| toPatCompat | Wingman.GHC |
| TopLevelArgPrv | Wingman.Types |
| TopLevelRHS | Wingman.GHC |
| tpd_config | Wingman.LanguageServer.TacticProviders |
| tpd_dflags | Wingman.LanguageServer.TacticProviders |
| tpd_hole_sort | Wingman.LanguageServer.TacticProviders |
| tpd_jdg | Wingman.LanguageServer.TacticProviders |
| tpd_plid | Wingman.LanguageServer.TacticProviders |
| tpd_range | Wingman.LanguageServer.TacticProviders |
| tpd_uri | Wingman.LanguageServer.TacticProviders |
| tp_file | Wingman.LanguageServer.TacticProviders |
| tp_range | Wingman.LanguageServer.TacticProviders |
| tp_var_name | Wingman.LanguageServer.TacticProviders |
| Trace | Wingman.Types |
| trace | Wingman.Debug, Wingman.Types |
| traceFX | Wingman.Debug, Wingman.Types |
| traceIdX | Wingman.Debug, Wingman.Types |
| traceM | Wingman.Debug, Wingman.Types |
| traceMX | Wingman.Debug, Wingman.Types |
| tracePrim | Wingman.Machinery |
| traceShowId | Wingman.Debug, Wingman.Types |
| traceX | Wingman.Debug, Wingman.Types |
| tracing | Wingman.Machinery |
| try' | Wingman.Machinery |
| tryUnifyUnivarsButNotSkolems | Wingman.Machinery |
| ts_skolems | Wingman.Types |
| ts_unifier | Wingman.Types |
| ts_unique_gen | Wingman.Types |
| TyConned | Wingman.Naming |
| Type | Wingman.Types |
| typeCheck | Wingman.GHC |
| TyVar | Wingman.Types |
| TyVarred | Wingman.Naming |