hls-tactics-plugin-1.6.2.0: Wingman plugin for Haskell Language Server

Index - A

addTimeoutMessageWingman.AbstractLSP.TacticActions
AgdaMatch 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
algebraicTyConWingman.GHC
allEvidenceToSubstWingman.Judgements.Theta
allNamesWingman.Tactics
allOccNamesWingman.GHC
AlreadyDestructedWingman.Types
AMatchWingman.GHC
amBodyWingman.Types
amPatsWingman.Types
AnnWingman.Metaprogramming.ProofState
annotateMetaprogramsWingman.LanguageServer
appDollarWingman.CodeGen.Utils, Wingman.CodeGen
applicationWingman.Tactics
applyWingman.Tactics
applyByNameWingman.Tactics
applyByTypeWingman.Tactics
applyMethodWingman.Tactics
assumeWingman.Tactics
assumptionWingman.Tactics
attemptOnWingman.Tactics
attemptWhenWingman.Machinery
attempt_itWingman.Metaprogramming.Parser
AutoWingman.Types
autoWingman.Auto
auto'Wingman.Tactics