Tactic | Wingman.Metaprogramming.Parser.Documentation |
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.GHC |
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 |