hls-tactics-plugin: Wingman plugin for Haskell Language Server
Please see the README on GitHub at https://github.com/haskell/haskell-language-server#readme
[Skip to Readme]
Modules
- Ide
- Plugin
- Ide.Plugin.Tactic
- Plugin
- Refinery
- Refinery.Future
- Wingman
- Wingman.AbstractLSP
- Wingman.AbstractLSP.TacticActions
- Wingman.AbstractLSP.Types
- 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
- Metaprogramming
- 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
- Wingman.AbstractLSP
Flags
Manual Flags
Name | Description | Default |
---|---|---|
pedantic | Enable -Werror | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- hls-tactics-plugin-2.2.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.5.1.0, 1.0.0.0, 1.1.0.0, 1.2.0.0, 1.3.0.0, 1.4.0.0, 1.5.0.0, 1.5.0.1, 1.6.0.0, 1.6.1.0, 1.6.2.0, 1.7.0.0, 1.8.0.0, 1.8.1.0, 2.0.0.0, 2.0.0.1, 2.1.0.0, 2.2.0.0 |
---|---|
Dependencies | aeson, base (>=4.12 && <5), containers, deepseq, directory, extra (>=1.7.8), filepath, fingertree, generic-lens, ghc, ghc-boot-th, ghc-exactprint, ghc-source-gen (>=0.4.1 && <0.5), ghcide (==2.2.0.0), hls-graph, hls-plugin-api (==2.2.0.0), hls-refactor-plugin, hyphenation, lens, lsp, megaparsec (>=8 && <10), mtl, parser-combinators, prettyprinter, refinery (>=0.4 && <0.5), retrie (>=0.1.1.0), syb, text, transformers, unagi-chan, unordered-containers [details] |
License | Apache-2.0 |
Copyright | Sandy Maguire, Reed Mullanix |
Author | Sandy Maguire, Reed Mullanix |
Maintainer | sandy@sandymaguire.me |
Category | Development |
Home page | https://haskellwingman.dev |
Bug tracker | https://github.com/haskell/haskell-language-server/issues |
Source repo | head: git clone https://github.com/haskell/haskell-language-server.git |
Uploaded | by hls_team at 2023-08-29T11:25:22Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 4359 total (44 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2023-08-29 [all 2 reports] |