Dependencies for hls-tactics-plugin-1.6.2.0
Libraries
hls-tactics-plugin
- 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 (>=1.7 && <1.8)
- hls-graph
- hls-plugin-api (>=1.4 && <1.5)
- 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
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