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

Index - G

Generator 
1 (Type/Class)Wingman.KnownStrategies.QuickCheck
2 (Data Constructor)Wingman.KnownStrategies.QuickCheck
genericIsSubspanWingman.Judgements.SYB
genExprWingman.KnownStrategies.QuickCheck
genRecursiveCountWingman.KnownStrategies.QuickCheck
getAllMetaprogramsWingman.LanguageServer
getAlreadyDestructedWingman.LanguageServer
getAncestryWingman.Judgements
getCurrentDefinitionsWingman.Machinery
getDefiningTypeWingman.Machinery
getEvidenceAtHoleWingman.Judgements.Theta
getExampleTypeWingman.Metaprogramming.Parser.Documentation
getFunBindIdWingman.Context
getIdeDynflagsWingman.LanguageServer
getInScopeWingman.Naming
getInstanceWingman.Context
getKnownInstanceWingman.Machinery
getMetaprogramAtSpanWingman.LanguageServer
getOccNameTypeWingman.Machinery
getPatValWingman.Judgements
getPurposesWingman.Naming
getRecordFieldsWingman.GHC
getRhsPosValsWingman.LanguageServer
getSpanAndTypeAtHoleWingman.LanguageServer
getStemWingman.Naming
getSubstForJudgementWingman.Machinery
getTacticConfigWingman.LanguageServer
getTyThingWingman.Machinery
getVarWingman.Metaprogramming.Parser.Documentation
getViaUniqueWingman.Types
globalHoleRefWingman.Types
GoalWingman.Metaprogramming.ProofState
GoalMismatchWingman.Types
graftDeclWingman.AbstractLSP.TacticActions
GraftEditWingman.AbstractLSP.Types
graftHoleWingman.AbstractLSP.TacticActions
graftMatchGroupWingman.EmptyCase