The latest version of hls-tactics-plugin is 2.2.0.0-0.
lib:hls-tactics-plugin
Modules
- Ide.Plugin.Tactic
- Ide.Plugin.Tactic.Auto
- Ide.Plugin.Tactic.CodeGen
- Ide.Plugin.Tactic.Context
- Ide.Plugin.Tactic.Debug
- Ide.Plugin.Tactic.GHC
- Ide.Plugin.Tactic.Judgements
- Ide.Plugin.Tactic.KnownStrategies
- Ide.Plugin.Tactic.KnownStrategies.QuickCheck
- Ide.Plugin.Tactic.Machinery
- Ide.Plugin.Tactic.Naming
- Ide.Plugin.Tactic.Range
- Ide.Plugin.Tactic.Tactics
- Ide.Plugin.Tactic.TestTypes
- Ide.Plugin.Tactic.Types
- Ide.TreeTransform
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 >=0
- 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 >=0.1
- haskell-lsp lib:haskell-lsp >=0.22 && <0.24
- hls-plugin-api lib:hls-plugin-api >=0
- lens lib:lens >=0
- mtl lib:mtl >=0
- refinery lib:refinery ^>=0.3
- retrie lib:retrie >=0.1.1.0
- shake lib:shake >=0.17.5
- syb lib:syb >=0
- text lib:text >=0
- transformers lib:transformers >=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