The latest version of hls-tactics-plugin is 2.2.0.0-0.
lib:hls-tactics-plugin
Modules
- Ide.Plugin.Tactic
- Wingman.Auto
- Wingman.CaseSplit
- Wingman.CodeGen
- Wingman.CodeGen.Utils
- Wingman.Context
- Wingman.Debug
- Wingman.EmptyCase
- Wingman.GHC
- Wingman.Judgements
- Wingman.Judgements.SYB
- Wingman.Judgements.Theta
- Wingman.KnownStrategies
- Wingman.KnownStrategies.QuickCheck
- Wingman.LanguageServer
- Wingman.LanguageServer.Metaprogram
- Wingman.LanguageServer.TacticProviders
- Wingman.Machinery
- Wingman.Metaprogramming.Lexer
- Wingman.Metaprogramming.Parser
- Wingman.Metaprogramming.Parser.Documentation
- Wingman.Metaprogramming.ProofState
- Wingman.Naming
- Wingman.Plugin
- Wingman.Range
- Wingman.Simplify
- Wingman.StaticPlugin
- Wingman.Tactics
- Wingman.Types
Dependencies
- aeson lib:aeson >=0
- base lib:base >=4.12 && <5
- containers lib:containers >=0
- deepseq lib:deepseq >=0
- directory lib:directory >=0
- extra lib:extra >=1.7.8
- filepath lib:filepath >=0
- fingertree lib:fingertree >=0
- generic-lens lib:generic-lens >=0
- ghc lib:ghc >=0
- ghc-boot-th lib:ghc-boot-th >=0
- ghc-exactprint lib:ghc-exactprint >=0
- ghc-source-gen lib:ghc-source-gen >=0
- ghcide lib:ghcide ^>=1.4
- hls-graph lib:hls-graph >=0
- hls-plugin-api lib:hls-plugin-api ^>=1.1
- hyphenation lib:hyphenation >=0
- lens lib:lens >=0
- lsp lib:lsp >=0
- megaparsec lib:megaparsec >=8 && <10
- mtl lib:mtl >=0
- parser-combinators lib:parser-combinators >=0
- prettyprinter lib:prettyprinter >=0
- refinery lib:refinery ^>=0.3
- retrie lib:retrie >=0.1.1.0
- syb lib:syb >=0
- text lib:text >=0
- transformers lib:transformers >=0
- unordered-containers lib:unordered-containers >=0
Reverse dependencies
Direct only. Not exhaustive.
- haskell-language-server exe:haskell-language-server
- hls-tactics-plugin exe:test-server
- hls-tactics-plugin test:tests