hls-tactics-plugin: Tactics plugin for Haskell Language Server
Please see README.md
| Versions [faq] | 0.5.1.0 |
|---|---|
| Dependencies | aeson, base (>=4.12 && <5), containers, deepseq, directory, extra, filepath, fingertree, generic-lens, ghc, ghc-boot-th, ghc-exactprint, ghc-source-gen, ghcide (>=0.1), haskell-lsp (>=0.22 && <0.24), hls-plugin-api, lens, mtl, refinery (==0.3.*), 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 |
| Revised | Revision 1 made by isovector at 2021-02-08T17:51:03Z |
| Category | Development |
| Uploaded | by isovector at 2021-01-22T19:30:36Z |
| Distributions | NixOS:0.5.1.0 |
| Downloads | 100 total (72 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-01-22 [all 1 reports] |
Modules
[Index] [Quick Jump]
- Ide
- Plugin
- 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.Machinery
- Ide.Plugin.Tactic.Naming
- Ide.Plugin.Tactic.Range
- Ide.Plugin.Tactic.Tactics
- Ide.Plugin.Tactic.TestTypes
- Ide.Plugin.Tactic.Types
- Ide.Plugin.Tactic
- Ide.TreeTransform
- Plugin
Flags
| Name | Description | Default | Type |
|---|---|---|---|
| pedantic | Enable -Werror | Disabled | Manual |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- hls-tactics-plugin-0.5.1.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.