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

Index - P

parensWingman.Metaprogramming.Lexer
parseMetaprogramWingman.Metaprogramming.Parser
ParserWingman.Metaprogramming.Lexer
PatCompatWingman.GHC
PatCompattableWingman.GHC
patSynExTysWingman.CodeGen
patternHypothesisWingman.Judgements
PatternMatchPrvWingman.Types
PatVal 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
Penalize 
1 (Type/Class)Wingman.Machinery
2 (Data Constructor)Wingman.Machinery
PredicateWingman.Naming
prettyCommandWingman.Metaprogramming.Parser.Documentation
prettyCountWingman.Metaprogramming.Parser.Documentation
prettyDeterminismWingman.Metaprogramming.Parser.Documentation
prettyExampleWingman.Metaprogramming.Parser.Documentation
prettyHyInfo 
1 (Function)Wingman.Metaprogramming.Parser.Documentation
2 (Function)Wingman.Metaprogramming.ProofState
prettyHypothesisWingman.Metaprogramming.ProofState
prettyReadmeWingman.Metaprogramming.Parser.Documentation
prettySubgoalWingman.Metaprogramming.ProofState
prettySyntaxWingman.Metaprogramming.Parser.Documentation
prettyTypeWingman.Metaprogramming.ProofState
proofStateWingman.Metaprogramming.ProofState
propertiesWingman.LanguageServer
provAncestryOfWingman.Judgements
ProvenanceWingman.Types
PurposeWingman.Naming
purposeToNameWingman.Naming
pv_ancestryWingman.Types
pv_dataconWingman.Types
pv_positionWingman.Types
pv_scrutineeWingman.Types