hls-tactics-plugin-1.2.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.Context
getEvidenceAtHoleWingman.Judgements.Theta
getExampleTypeWingman.Metaprogramming.Parser.Documentation
getFunBindIdWingman.Context
getIdeDynflagsWingman.LanguageServer
getInScopeWingman.Naming
getInstanceWingman.Context
getKnownInstanceWingman.Context
getKnownThingWingman.Context
getMetaprogramAtSpanWingman.LanguageServer
getOccNameTypeWingman.Machinery
getOccTyWingman.Metaprogramming.Parser
getParserStateWingman.LanguageServer
getPatValWingman.Judgements
getPurposesWingman.Naming
getRecordFieldsWingman.GHC
getRhsPosValsWingman.LanguageServer
getSpanAndTypeAtHoleWingman.LanguageServer
getStemWingman.Naming
getTacticConfigWingman.LanguageServer
getVarWingman.Metaprogramming.Parser.Documentation
getViaUniqueWingman.Types
GoalWingman.Metaprogramming.ProofState
GoalMismatchWingman.Types
graftMatchGroupWingman.EmptyCase