hls-tactics-plugin: Wingman plugin for Haskell Language Server
Modules
[Index] [Quick Jump]
- Ide
- Plugin
- Ide.Plugin.Tactic
- Ide.Plugin.Tactic.Auto
- Ide.Plugin.Tactic.CaseSplit
- Ide.Plugin.Tactic.CodeGen
- Ide.Plugin.Tactic.Context
- Ide.Plugin.Tactic.Debug
- Ide.Plugin.Tactic.FeatureSet
- Ide.Plugin.Tactic.GHC
- Ide.Plugin.Tactic.Judgements
- Ide.Plugin.Tactic.KnownStrategies
- Ide.Plugin.Tactic.LanguageServer
- Ide.Plugin.Tactic.Machinery
- Ide.Plugin.Tactic.Naming
- Ide.Plugin.Tactic.Range
- Ide.Plugin.Tactic.Simplify
- Ide.Plugin.Tactic.Tactics
- Ide.Plugin.Tactic.TestTypes
- Ide.Plugin.Tactic.Types
- Ide.Plugin.Tactic
- Plugin
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-1.0.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, data-default, deepseq, directory, extra, filepath, fingertree, generic-lens, ghc, ghc-boot-th, ghc-exactprint, ghc-source-gen, ghcide (>=1.0.0.0 && <1.1), hls-plugin-api (>=1.0.0.0 && <1.1), hls-tactics-plugin, lens, lsp, mtl, refinery (>=0.3 && <0.4), retrie (>=0.1.1.0), shake (>=0.17.5), syb, text, transformers [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 |
| Uploaded | by isovector at 2021-03-05T07:44:01Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | test-server |
| Downloads | 4097 total (71 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2021-03-05 [all 1 reports] |
Readme for hls-tactics-plugin-1.0.0.0
[back to package description]
Wingman for Haskell
"Focus on the important stuff; delegate the rest"
Dedication
There's a lot of automation that can happen that isn't a replacement of humans, but of mind-numbing behavior.
--Stewart Butterfield
Overview
Wingman writes the boring, auxiliary code, so you don't have to. Generate functions from type signatures, and intelligently complete holes.
Getting Started
Wingman for Haskell is enabled by default in all official release of Haskell Language Server. Just hover over a typed hole, run the "Attempt to fill hole" code action, et voila!
Features
- Type-directed code synthesis, including pattern matching and recursion
- Automatic case-splitting --- just run the "Case split on " code action
- Smart next actions, for those times it can't read your mind
Support
Please consider pledging on Patreon to support the project and get access to cutting-edge features.