1cabal-version: 2.4 2category: Development 3name: hls-tactics-plugin 4version: 1.4.0.0 5synopsis: Wingman plugin for Haskell Language Server 6description: 7 Please see the README on GitHub at <https://github.com/haskell/haskell-language-server#readme> 8author: Sandy Maguire, Reed Mullanix 9maintainer: sandy@sandymaguire.me 10copyright: Sandy Maguire, Reed Mullanix 11homepage: https://haskellwingman.dev 12bug-reports: https://github.com/haskell/haskell-language-server/issues 13license: Apache-2.0 14license-file: LICENSE 15build-type: Simple 16extra-source-files: 17 README.md 18 test/golden/*.cabal 19 test/golden/*.hs 20 test/golden/*.yaml 21 22flag pedantic 23 description: Enable -Werror 24 default: False 25 manual: True 26 27library 28 hs-source-dirs: src 29 exposed-modules: 30 Ide.Plugin.Tactic 31 Refinery.Future 32 Wingman.AbstractLSP 33 Wingman.AbstractLSP.TacticActions 34 Wingman.AbstractLSP.Types 35 Wingman.Auto 36 Wingman.CaseSplit 37 Wingman.CodeGen 38 Wingman.CodeGen.Utils 39 Wingman.Context 40 Wingman.Debug 41 Wingman.EmptyCase 42 Wingman.GHC 43 Wingman.Judgements 44 Wingman.Judgements.SYB 45 Wingman.Judgements.Theta 46 Wingman.KnownStrategies 47 Wingman.KnownStrategies.QuickCheck 48 Wingman.LanguageServer 49 Wingman.LanguageServer.Metaprogram 50 Wingman.LanguageServer.TacticProviders 51 Wingman.Machinery 52 Wingman.Metaprogramming.Lexer 53 Wingman.Metaprogramming.Parser 54 Wingman.Metaprogramming.Parser.Documentation 55 Wingman.Metaprogramming.ProofState 56 Wingman.Naming 57 Wingman.Plugin 58 Wingman.Range 59 Wingman.Simplify 60 Wingman.StaticPlugin 61 Wingman.Tactics 62 Wingman.Types 63 64 ghc-options: 65 -Wall -Wno-name-shadowing -Wredundant-constraints 66 -Wno-unticked-promoted-constructors 67 68 if flag(pedantic) 69 ghc-options: -Werror 70 71 build-depends: 72 , aeson 73 , base >=4.12 && <5 74 , containers 75 , deepseq 76 , directory 77 , extra >=1.7.8 78 , filepath 79 , fingertree 80 , generic-lens 81 , ghc 82 , ghc-boot-th 83 , ghc-exactprint 84 , ghc-source-gen ^>=0.4.1 85 , ghcide ^>=1.4.1 86 , hls-graph 87 , hls-plugin-api >=1.1 && <1.3 88 , hyphenation 89 , lens 90 , lsp 91 , megaparsec >=8 && <10 92 , mtl 93 , parser-combinators 94 , prettyprinter 95 , refinery ^>=0.4 96 , retrie >=0.1.1.0 97 , syb 98 , unagi-chan 99 , text 100 , transformers 101 , unordered-containers 102 103 default-language: Haskell2010 104 default-extensions: 105 DataKinds 106 DeriveAnyClass 107 DeriveDataTypeable 108 DeriveFoldable 109 DeriveFunctor 110 DeriveGeneric 111 DeriveTraversable 112 DerivingStrategies 113 DerivingVia 114 FlexibleContexts 115 FlexibleInstances 116 GADTs 117 GeneralizedNewtypeDeriving 118 LambdaCase 119 MultiParamTypeClasses 120 NumDecimals 121 OverloadedLabels 122 PatternSynonyms 123 ScopedTypeVariables 124 TypeApplications 125 TypeOperators 126 ViewPatterns 127 128test-suite tests 129 type: exitcode-stdio-1.0 130 main-is: Main.hs 131 other-modules: 132 AutoTupleSpec 133 CodeAction.AutoSpec 134 CodeAction.DestructAllSpec 135 CodeAction.DestructPunSpec 136 CodeAction.DestructSpec 137 CodeAction.IntrosSpec 138 CodeAction.IntroDestructSpec 139 CodeAction.RefineSpec 140 CodeAction.RunMetaprogramSpec 141 CodeAction.UseDataConSpec 142 CodeLens.EmptyCaseSpec 143 ProviderSpec 144 Spec 145 UnificationSpec 146 Utils 147 148 hs-source-dirs: test 149 ghc-options: 150 -Wall -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N 151 152 build-depends: 153 , aeson 154 , base 155 , containers 156 , deepseq 157 , directory 158 , filepath 159 , ghc 160 , ghcide 161 , hls-plugin-api 162 , hls-tactics-plugin 163 , hls-test-utils >=1.0 && <1.2 164 , hspec 165 , hspec-expectations 166 , lens 167 , lsp-types 168 , mtl 169 , QuickCheck 170 , tasty-hspec 171 , tasty-hunit 172 , text 173 174 build-tool-depends: hspec-discover:hspec-discover -any 175 default-language: Haskell2010 176