hls-plugin-api 0.7.0.0 → 0.7.1.0

raw patch · 6 files changed

+1077/−969 lines, 6 filesdep +dependent-mapdep +dependent-sumdep +dlistdep −haskell-lspnew-uploaderPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies added: dependent-map, dependent-sum, dlist, lsp, opentelemetry

Dependencies removed: haskell-lsp

API changes (from Hackage documentation)

Files

• LICENSE +201/−201
• hls-plugin-api.cabal +67/−62
• src/Ide/Logger.hs +29/−29
• src/Ide/Plugin/Config.hs +181/−199
• src/Ide/PluginUtils.hs +220/−273
• src/Ide/Types.hs +379/−205

@@ -1,201 +1,201 @@-                                 Apache License
-                           Version 2.0, January 2004
-                        http://www.apache.org/licenses/
-
-   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
-
-   1. Definitions.
-
-      "License" shall mean the terms and conditions for use, reproduction,
-      and distribution as defined by Sections 1 through 9 of this document.
-
-      "Licensor" shall mean the copyright owner or entity authorized by
-      the copyright owner that is granting the License.
-
-      "Legal Entity" shall mean the union of the acting entity and all
-      other entities that control, are controlled by, or are under common
-      control with that entity. For the purposes of this definition,
-      "control" means (i) the power, direct or indirect, to cause the
-      direction or management of such entity, whether by contract or
-      otherwise, or (ii) ownership of fifty percent (50%) or more of the
-      outstanding shares, or (iii) beneficial ownership of such entity.
-
-      "You" (or "Your") shall mean an individual or Legal Entity
-      exercising permissions granted by this License.
-
-      "Source" form shall mean the preferred form for making modifications,
-      including but not limited to software source code, documentation
-      source, and configuration files.
-
-      "Object" form shall mean any form resulting from mechanical
-      transformation or translation of a Source form, including but
-      not limited to compiled object code, generated documentation,
-      and conversions to other media types.
-
-      "Work" shall mean the work of authorship, whether in Source or
-      Object form, made available under the License, as indicated by a
-      copyright notice that is included in or attached to the work
-      (an example is provided in the Appendix below).
-
-      "Derivative Works" shall mean any work, whether in Source or Object
-      form, that is based on (or derived from) the Work and for which the
-      editorial revisions, annotations, elaborations, or other modifications
-      represent, as a whole, an original work of authorship. For the purposes
-      of this License, Derivative Works shall not include works that remain
-      separable from, or merely link (or bind by name) to the interfaces of,
-      the Work and Derivative Works thereof.
-
-      "Contribution" shall mean any work of authorship, including
-      the original version of the Work and any modifications or additions
-      to that Work or Derivative Works thereof, that is intentionally
-      submitted to Licensor for inclusion in the Work by the copyright owner
-      or by an individual or Legal Entity authorized to submit on behalf of
-      the copyright owner. For the purposes of this definition, "submitted"
-      means any form of electronic, verbal, or written communication sent
-      to the Licensor or its representatives, including but not limited to
-      communication on electronic mailing lists, source code control systems,
-      and issue tracking systems that are managed by, or on behalf of, the
-      Licensor for the purpose of discussing and improving the Work, but
-      excluding communication that is conspicuously marked or otherwise
-      designated in writing by the copyright owner as "Not a Contribution."
-
-      "Contributor" shall mean Licensor and any individual or Legal Entity
-      on behalf of whom a Contribution has been received by Licensor and
-      subsequently incorporated within the Work.
-
-   2. Grant of Copyright License. Subject to the terms and conditions of
-      this License, each Contributor hereby grants to You a perpetual,
-      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
-      copyright license to reproduce, prepare Derivative Works of,
-      publicly display, publicly perform, sublicense, and distribute the
-      Work and such Derivative Works in Source or Object form.
-
-   3. Grant of Patent License. Subject to the terms and conditions of
-      this License, each Contributor hereby grants to You a perpetual,
-      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
-      (except as stated in this section) patent license to make, have made,
-      use, offer to sell, sell, import, and otherwise transfer the Work,
-      where such license applies only to those patent claims licensable
-      by such Contributor that are necessarily infringed by their
-      Contribution(s) alone or by combination of their Contribution(s)
-      with the Work to which such Contribution(s) was submitted. If You
-      institute patent litigation against any entity (including a
-      cross-claim or counterclaim in a lawsuit) alleging that the Work
-      or a Contribution incorporated within the Work constitutes direct
-      or contributory patent infringement, then any patent licenses
-      granted to You under this License for that Work shall terminate
-      as of the date such litigation is filed.
-
-   4. Redistribution. You may reproduce and distribute copies of the
-      Work or Derivative Works thereof in any medium, with or without
-      modifications, and in Source or Object form, provided that You
-      meet the following conditions:
-
-      (a) You must give any other recipients of the Work or
-          Derivative Works a copy of this License; and
-
-      (b) You must cause any modified files to carry prominent notices
-          stating that You changed the files; and
-
-      (c) You must retain, in the Source form of any Derivative Works
-          that You distribute, all copyright, patent, trademark, and
-          attribution notices from the Source form of the Work,
-          excluding those notices that do not pertain to any part of
-          the Derivative Works; and
-
-      (d) If the Work includes a "NOTICE" text file as part of its
-          distribution, then any Derivative Works that You distribute must
-          include a readable copy of the attribution notices contained
-          within such NOTICE file, excluding those notices that do not
-          pertain to any part of the Derivative Works, in at least one
-          of the following places: within a NOTICE text file distributed
-          as part of the Derivative Works; within the Source form or
-          documentation, if provided along with the Derivative Works; or,
-          within a display generated by the Derivative Works, if and
-          wherever such third-party notices normally appear. The contents
-          of the NOTICE file are for informational purposes only and
-          do not modify the License. You may add Your own attribution
-          notices within Derivative Works that You distribute, alongside
-          or as an addendum to the NOTICE text from the Work, provided
-          that such additional attribution notices cannot be construed
-          as modifying the License.
-
-      You may add Your own copyright statement to Your modifications and
-      may provide additional or different license terms and conditions
-      for use, reproduction, or distribution of Your modifications, or
-      for any such Derivative Works as a whole, provided Your use,
-      reproduction, and distribution of the Work otherwise complies with
-      the conditions stated in this License.
-
-   5. Submission of Contributions. Unless You explicitly state otherwise,
-      any Contribution intentionally submitted for inclusion in the Work
-      by You to the Licensor shall be under the terms and conditions of
-      this License, without any additional terms or conditions.
-      Notwithstanding the above, nothing herein shall supersede or modify
-      the terms of any separate license agreement you may have executed
-      with Licensor regarding such Contributions.
-
-   6. Trademarks. This License does not grant permission to use the trade
-      names, trademarks, service marks, or product names of the Licensor,
-      except as required for reasonable and customary use in describing the
-      origin of the Work and reproducing the content of the NOTICE file.
-
-   7. Disclaimer of Warranty. Unless required by applicable law or
-      agreed to in writing, Licensor provides the Work (and each
-      Contributor provides its Contributions) on an "AS IS" BASIS,
-      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
-      implied, including, without limitation, any warranties or conditions
-      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
-      PARTICULAR PURPOSE. You are solely responsible for determining the
-      appropriateness of using or redistributing the Work and assume any
-      risks associated with Your exercise of permissions under this License.
-
-   8. Limitation of Liability. In no event and under no legal theory,
-      whether in tort (including negligence), contract, or otherwise,
-      unless required by applicable law (such as deliberate and grossly
-      negligent acts) or agreed to in writing, shall any Contributor be
-      liable to You for damages, including any direct, indirect, special,
-      incidental, or consequential damages of any character arising as a
-      result of this License or out of the use or inability to use the
-      Work (including but not limited to damages for loss of goodwill,
-      work stoppage, computer failure or malfunction, or any and all
-      other commercial damages or losses), even if such Contributor
-      has been advised of the possibility of such damages.
-
-   9. Accepting Warranty or Additional Liability. While redistributing
-      the Work or Derivative Works thereof, You may choose to offer,
-      and charge a fee for, acceptance of support, warranty, indemnity,
-      or other liability obligations and/or rights consistent with this
-      License. However, in accepting such obligations, You may act only
-      on Your own behalf and on Your sole responsibility, not on behalf
-      of any other Contributor, and only if You agree to indemnify,
-      defend, and hold each Contributor harmless for any liability
-      incurred by, or claims asserted against, such Contributor by reason
-      of your accepting any such warranty or additional liability.
-
-   END OF TERMS AND CONDITIONS
-
-   APPENDIX: How to apply the Apache License to your work.
-
-      To apply the Apache License to your work, attach the following
-      boilerplate notice, with the fields enclosed by brackets "[]"
-      replaced with your own identifying information. (Don't include
-      the brackets!)  The text should be enclosed in the appropriate
-      comment syntax for the file format. We also recommend that a
-      file or class name and description of purpose be included on the
-      same "printed page" as the copyright notice for easier
-      identification within third-party archives.
-
-   Copyright [yyyy] [name of copyright owner]
-
-   Licensed under the Apache License, Version 2.0 (the "License");
-   you may not use this file except in compliance with the License.
-   You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-   Unless required by applicable law or agreed to in writing, software
-   distributed under the License is distributed on an "AS IS" BASIS,
-   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-   See the License for the specific language governing permissions and
-   limitations under the License.
+                                 Apache License+                           Version 2.0, January 2004+                        http://www.apache.org/licenses/++   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION++   1. Definitions.++      "License" shall mean the terms and conditions for use, reproduction,+      and distribution as defined by Sections 1 through 9 of this document.++      "Licensor" shall mean the copyright owner or entity authorized by+      the copyright owner that is granting the License.++      "Legal Entity" shall mean the union of the acting entity and all+      other entities that control, are controlled by, or are under common+      control with that entity. For the purposes of this definition,+      "control" means (i) the power, direct or indirect, to cause the+      direction or management of such entity, whether by contract or+      otherwise, or (ii) ownership of fifty percent (50%) or more of the+      outstanding shares, or (iii) beneficial ownership of such entity.++      "You" (or "Your") shall mean an individual or Legal Entity+      exercising permissions granted by this License.++      "Source" form shall mean the preferred form for making modifications,+      including but not limited to software source code, documentation+      source, and configuration files.++      "Object" form shall mean any form resulting from mechanical+      transformation or translation of a Source form, including but+      not limited to compiled object code, generated documentation,+      and conversions to other media types.++      "Work" shall mean the work of authorship, whether in Source or+      Object form, made available under the License, as indicated by a+      copyright notice that is included in or attached to the work+      (an example is provided in the Appendix below).++      "Derivative Works" shall mean any work, whether in Source or Object+      form, that is based on (or derived from) the Work and for which the+      editorial revisions, annotations, elaborations, or other modifications+      represent, as a whole, an original work of authorship. For the purposes+      of this License, Derivative Works shall not include works that remain+      separable from, or merely link (or bind by name) to the interfaces of,+      the Work and Derivative Works thereof.++      "Contribution" shall mean any work of authorship, including+      the original version of the Work and any modifications or additions+      to that Work or Derivative Works thereof, that is intentionally+      submitted to Licensor for inclusion in the Work by the copyright owner+      or by an individual or Legal Entity authorized to submit on behalf of+      the copyright owner. For the purposes of this definition, "submitted"+      means any form of electronic, verbal, or written communication sent+      to the Licensor or its representatives, including but not limited to+      communication on electronic mailing lists, source code control systems,+      and issue tracking systems that are managed by, or on behalf of, the+      Licensor for the purpose of discussing and improving the Work, but+      excluding communication that is conspicuously marked or otherwise+      designated in writing by the copyright owner as "Not a Contribution."++      "Contributor" shall mean Licensor and any individual or Legal Entity+      on behalf of whom a Contribution has been received by Licensor and+      subsequently incorporated within the Work.++   2. Grant of Copyright License. Subject to the terms and conditions of+      this License, each Contributor hereby grants to You a perpetual,+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable+      copyright license to reproduce, prepare Derivative Works of,+      publicly display, publicly perform, sublicense, and distribute the+      Work and such Derivative Works in Source or Object form.++   3. Grant of Patent License. Subject to the terms and conditions of+      this License, each Contributor hereby grants to You a perpetual,+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable+      (except as stated in this section) patent license to make, have made,+      use, offer to sell, sell, import, and otherwise transfer the Work,+      where such license applies only to those patent claims licensable+      by such Contributor that are necessarily infringed by their+      Contribution(s) alone or by combination of their Contribution(s)+      with the Work to which such Contribution(s) was submitted. If You+      institute patent litigation against any entity (including a+      cross-claim or counterclaim in a lawsuit) alleging that the Work+      or a Contribution incorporated within the Work constitutes direct+      or contributory patent infringement, then any patent licenses+      granted to You under this License for that Work shall terminate+      as of the date such litigation is filed.++   4. Redistribution. You may reproduce and distribute copies of the+      Work or Derivative Works thereof in any medium, with or without+      modifications, and in Source or Object form, provided that You+      meet the following conditions:++      (a) You must give any other recipients of the Work or+          Derivative Works a copy of this License; and++      (b) You must cause any modified files to carry prominent notices+          stating that You changed the files; and++      (c) You must retain, in the Source form of any Derivative Works+          that You distribute, all copyright, patent, trademark, and+          attribution notices from the Source form of the Work,+          excluding those notices that do not pertain to any part of+          the Derivative Works; and++      (d) If the Work includes a "NOTICE" text file as part of its+          distribution, then any Derivative Works that You distribute must+          include a readable copy of the attribution notices contained+          within such NOTICE file, excluding those notices that do not+          pertain to any part of the Derivative Works, in at least one+          of the following places: within a NOTICE text file distributed+          as part of the Derivative Works; within the Source form or+          documentation, if provided along with the Derivative Works; or,+          within a display generated by the Derivative Works, if and+          wherever such third-party notices normally appear. The contents+          of the NOTICE file are for informational purposes only and+          do not modify the License. You may add Your own attribution+          notices within Derivative Works that You distribute, alongside+          or as an addendum to the NOTICE text from the Work, provided+          that such additional attribution notices cannot be construed+          as modifying the License.++      You may add Your own copyright statement to Your modifications and+      may provide additional or different license terms and conditions+      for use, reproduction, or distribution of Your modifications, or+      for any such Derivative Works as a whole, provided Your use,+      reproduction, and distribution of the Work otherwise complies with+      the conditions stated in this License.++   5. Submission of Contributions. Unless You explicitly state otherwise,+      any Contribution intentionally submitted for inclusion in the Work+      by You to the Licensor shall be under the terms and conditions of+      this License, without any additional terms or conditions.+      Notwithstanding the above, nothing herein shall supersede or modify+      the terms of any separate license agreement you may have executed+      with Licensor regarding such Contributions.++   6. Trademarks. This License does not grant permission to use the trade+      names, trademarks, service marks, or product names of the Licensor,+      except as required for reasonable and customary use in describing the+      origin of the Work and reproducing the content of the NOTICE file.++   7. Disclaimer of Warranty. Unless required by applicable law or+      agreed to in writing, Licensor provides the Work (and each+      Contributor provides its Contributions) on an "AS IS" BASIS,+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or+      implied, including, without limitation, any warranties or conditions+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A+      PARTICULAR PURPOSE. You are solely responsible for determining the+      appropriateness of using or redistributing the Work and assume any+      risks associated with Your exercise of permissions under this License.++   8. Limitation of Liability. In no event and under no legal theory,+      whether in tort (including negligence), contract, or otherwise,+      unless required by applicable law (such as deliberate and grossly+      negligent acts) or agreed to in writing, shall any Contributor be+      liable to You for damages, including any direct, indirect, special,+      incidental, or consequential damages of any character arising as a+      result of this License or out of the use or inability to use the+      Work (including but not limited to damages for loss of goodwill,+      work stoppage, computer failure or malfunction, or any and all+      other commercial damages or losses), even if such Contributor+      has been advised of the possibility of such damages.++   9. Accepting Warranty or Additional Liability. While redistributing+      the Work or Derivative Works thereof, You may choose to offer,+      and charge a fee for, acceptance of support, warranty, indemnity,+      or other liability obligations and/or rights consistent with this+      License. However, in accepting such obligations, You may act only+      on Your own behalf and on Your sole responsibility, not on behalf+      of any other Contributor, and only if You agree to indemnify,+      defend, and hold each Contributor harmless for any liability+      incurred by, or claims asserted against, such Contributor by reason+      of your accepting any such warranty or additional liability.++   END OF TERMS AND CONDITIONS++   APPENDIX: How to apply the Apache License to your work.++      To apply the Apache License to your work, attach the following+      boilerplate notice, with the fields enclosed by brackets "[]"+      replaced with your own identifying information. (Don't include+      the brackets!)  The text should be enclosed in the appropriate+      comment syntax for the file format. We also recommend that a+      file or class name and description of purpose be included on the+      same "printed page" as the copyright notice for easier+      identification within third-party archives.++   Copyright [yyyy] [name of copyright owner]++   Licensed under the Apache License, Version 2.0 (the "License");+   you may not use this file except in compliance with the License.+   You may obtain a copy of the License at++       http://www.apache.org/licenses/LICENSE-2.0++   Unless required by applicable law or agreed to in writing, software+   distributed under the License is distributed on an "AS IS" BASIS,+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.+   See the License for the specific language governing permissions and+   limitations under the License.

@@ -1,62 +1,67 @@-cabal-version: 2.2
-name:          hls-plugin-api
-version:       0.7.0.0
-synopsis:      Haskell Language Server API for plugin communication
-description:
-  Please see the README on GitHub at <https://github.com/haskell/haskell-language-server#readme>
-homepage:      https://github.com/haskell/haskell-language-server/hls-plugin-api
-bug-reports:   https://github.com/haskell/haskell-language-server/issues
-license:       Apache-2.0
-license-file:  LICENSE
-author:        The Haskell IDE Team
-maintainer:    alan.zimm@gmail.com
-copyright:     The Haskell IDE Team
-category:      Development
-build-type:    Simple
-
-flag pedantic
-  description: Enable -Werror
-  default:     False
-  manual:      True
-
-source-repository head
-  type:     git
-  location: https://github.com/haskell/haskell-language-server
-
-library
-  exposed-modules:
-    Ide.Logger
-    Ide.Plugin.Config
-    Ide.PluginUtils
-    Ide.Types
-
-  hs-source-dirs:   src
-  build-depends:
-    , aeson
-    , base                  >=4.12    && <5
-    , containers
-    , data-default
-    , Diff
-    , haskell-lsp           ^>=0.23
-    , hashable
-    , hslogger
-    , lens
-    , process
-    , regex-tdfa            >=1.3.1.0
-    , shake                 >=0.17.5
-    , text
-    , unordered-containers
-
-  if os(windows)
-      build-depends:
-        Win32
-  else
-      build-depends:
-        unix
-
-  ghc-options:      -Wall -Wredundant-constraints -Wno-name-shadowing
-
-  if flag(pedantic)
-    ghc-options: -Werror
-
-  default-language: Haskell2010
+cabal-version: 2.2+name:          hls-plugin-api+version:       0.7.1.0+synopsis:      Haskell Language Server API for plugin communication+description:+  Please see the README on GitHub at <https://github.com/haskell/haskell-language-server#readme>+homepage:      https://github.com/haskell/haskell-language-server/hls-plugin-api+bug-reports:   https://github.com/haskell/haskell-language-server/issues+license:       Apache-2.0+license-file:  LICENSE+author:        The Haskell IDE Team+maintainer:    alan.zimm@gmail.com+copyright:     The Haskell IDE Team+category:      Development+build-type:    Simple++flag pedantic+  description: Enable -Werror+  default:     False+  manual:      True++source-repository head+  type:     git+  location: https://github.com/haskell/haskell-language-server++library+  exposed-modules:+    Ide.Logger+    Ide.Plugin.Config+    Ide.PluginUtils+    Ide.Types++  hs-source-dirs:   src+  build-depends:+    , aeson+    , base                  >=4.12    && <5+    , containers+    , data-default+    , Diff+    , lsp                   ^>=1.1.0+    , hashable+    , hslogger+    , lens+    , process+    , regex-tdfa            >=1.3.1.0+    , shake                 >=0.17.5+    , text+    , unordered-containers+    , dependent-map+    , dependent-sum+    , dlist+    , opentelemetry++  if os(windows)+      build-depends:+        Win32+  else+      build-depends:+        unix++  ghc-options:      -Wall -Wredundant-constraints -Wno-name-shadowing -Wno-unticked-promoted-constructors++  if flag(pedantic)+    ghc-options: -Werror++  default-language: Haskell2010+  default-extensions: DataKinds, KindSignatures, TypeOperators

@@ -1,29 +1,29 @@-{- | Provides an implementation of the ghcide @Logger@ which uses
-   @System.Log.Logger@ under the hood.
--}
-module Ide.Logger
-  (
-    logm
-  , debugm
-  , warningm
-  , errorm
-  ) where
-
-import           Control.Monad.IO.Class
-import           System.Log.Logger
-
--- ---------------------------------------------------------------------
-
-logm :: MonadIO m => String -> m ()
-logm s = liftIO $ infoM "hls" s
-
-debugm :: MonadIO m => String -> m ()
-debugm s = liftIO $ debugM "hls" s
-
-warningm :: MonadIO m => String -> m ()
-warningm s = liftIO $ warningM "hls" s
-
-errorm :: MonadIO m => String -> m ()
-errorm s = liftIO $ errorM "hls" s
-
--- ---------------------------------------------------------------------
+{- | Provides an implementation of the ghcide @Logger@ which uses+   @System.Log.Logger@ under the hood.+-}+module Ide.Logger+  (+    logm+  , debugm+  , warningm+  , errorm+  ) where++import           Control.Monad.IO.Class+import           System.Log.Logger++-- ---------------------------------------------------------------------++logm :: MonadIO m => String -> m ()+logm s = liftIO $ infoM "hls" s++debugm :: MonadIO m => String -> m ()+debugm s = liftIO $ debugM "hls" s++warningm :: MonadIO m => String -> m ()+warningm s = liftIO $ warningM "hls" s++errorm :: MonadIO m => String -> m ()+errorm s = liftIO $ errorM "hls" s++-- ---------------------------------------------------------------------

@@ -1,199 +1,181 @@-{-# LANGUAGE RecordWildCards #-}
-{-# LANGUAGE DeriveAnyClass #-}
-{-# LANGUAGE DeriveGeneric #-}
-{-# LANGUAGE DerivingStrategies #-}
-{-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE TypeFamilies #-}
-module Ide.Plugin.Config
-    (
-      getInitialConfig
-    , getConfigFromNotification
-    , Config(..)
-    , PluginConfig(..)
-    , CheckParents(..)
-    ) where
-
-import           Control.Applicative
-import qualified Data.Aeson                    as A
-import           Data.Aeson              hiding ( Error )
-import           Data.Default
-import qualified Data.Text                     as T
-import           Language.Haskell.LSP.Types
-import qualified Data.Map as Map
-import GHC.Generics (Generic)
-
--- ---------------------------------------------------------------------
-
--- | Given a DidChangeConfigurationNotification message, this function returns the parsed
--- Config object if possible.
-getConfigFromNotification :: DidChangeConfigurationNotification -> Either T.Text Config
-getConfigFromNotification (NotificationMessage _ _ (DidChangeConfigurationParams p)) =
-  case fromJSON p of
-    A.Success c -> Right c
-    A.Error err -> Left $ T.pack err
-
--- | Given an InitializeRequest message, this function returns the parsed
--- Config object if possible. Otherwise, it returns the default configuration
-getInitialConfig :: InitializeRequest -> Either T.Text Config
-getInitialConfig (RequestMessage _ _ _ InitializeParams{_initializationOptions = Nothing }) = Right def
-getInitialConfig (RequestMessage _ _ _ InitializeParams{_initializationOptions = Just opts}) =
-  case fromJSON opts of
-    A.Success c -> Right c
-    A.Error err -> Left $ T.pack err
-
--- ---------------------------------------------------------------------
-data CheckParents
-    -- Note that ordering of constructors is meaningful and must be monotonically
-    -- increasing in the scenarios where parents are checked
-    = NeverCheck
-    | CheckOnClose
-    | CheckOnSaveAndClose
-    | AlwaysCheck
-  deriving stock (Eq, Ord, Show, Generic)
-  deriving anyclass (FromJSON, ToJSON)
-
-
--- | We (initially anyway) mirror the hie configuration, so that existing
--- clients can simply switch executable and not have any nasty surprises.  There
--- will be surprises relating to config options being ignored, initially though.
-data Config =
-  Config
-    { checkParents                :: CheckParents
-    , checkProject                :: !Bool
-    , hlintOn                     :: !Bool
-    , diagnosticsOnChange         :: !Bool
-    , maxNumberOfProblems         :: !Int
-    , diagnosticsDebounceDuration :: !Int
-    , liquidOn                    :: !Bool
-    , completionSnippetsOn        :: !Bool
-    , formatOnImportOn            :: !Bool
-    , formattingProvider          :: !T.Text
-    , maxCompletions              :: !Int
-    , plugins                     :: !(Map.Map T.Text PluginConfig)
-    } deriving (Show,Eq)
-
-instance Default Config where
-  def = Config
-    { checkParents                = CheckOnSaveAndClose
-    , checkProject                = True
-    , hlintOn                     = True
-    , diagnosticsOnChange         = True
-    , maxNumberOfProblems         = 100
-    , diagnosticsDebounceDuration = 350000
-    , liquidOn                    = False
-    , completionSnippetsOn        = True
-    , formatOnImportOn            = True
-    -- , formattingProvider          = "brittany"
-    , formattingProvider          = "ormolu"
-    -- , formattingProvider          = "floskell"
-    -- , formattingProvider          = "stylish-haskell"
-    , maxCompletions              = 40
-    , plugins                     = Map.empty
-    }
-
--- TODO: Add API for plugins to expose their own LSP config options
-instance A.FromJSON Config where
-  parseJSON = A.withObject "Config" $ \v -> do
-    -- Officially, we use "haskell" as the section name but for
-    -- backwards compatibility we also accept "languageServerHaskell"
-    s <- v .: "haskell" <|> v .: "languageServerHaskell"
-    flip (A.withObject "Config.settings") s $ \o -> Config
-      <$> (o .:? "checkParents" <|> v .:? "checkParents") .!= checkParents def
-      <*> (o .:? "checkProject" <|> v .:? "checkProject") .!= checkProject def
-      <*> o .:? "hlintOn"                                 .!= hlintOn def
-      <*> o .:? "diagnosticsOnChange"                     .!= diagnosticsOnChange def
-      <*> o .:? "maxNumberOfProblems"                     .!= maxNumberOfProblems def
-      <*> o .:? "diagnosticsDebounceDuration"             .!= diagnosticsDebounceDuration def
-      <*> o .:? "liquidOn"                                .!= liquidOn def
-      <*> o .:? "completionSnippetsOn"                    .!= completionSnippetsOn def
-      <*> o .:? "formatOnImportOn"                        .!= formatOnImportOn def
-      <*> o .:? "formattingProvider"                      .!= formattingProvider def
-      <*> o .:? "maxCompletions"                          .!= maxCompletions def
-      <*> o .:? "plugin"                                  .!= plugins def
-
--- 2017-10-09 23:22:00.710515298 [ThreadId 11] - ---> {"jsonrpc":"2.0","method":"workspace/didChangeConfiguration","params":{"settings":{"haskell":{"maxNumberOfProblems":100,"hlintOn":true}}}}
--- 2017-10-09 23:22:00.710667381 [ThreadId 15] - reactor:got didChangeConfiguration notification:
--- NotificationMessage
---   {_jsonrpc = "2.0"
---   , _method = WorkspaceDidChangeConfiguration
---   , _params = DidChangeConfigurationParams
---                 {_settings = Object (fromList [("haskell",Object (fromList [("hlintOn",Bool True)
---                                                                            ,("maxNumberOfProblems",Number 100.0)]))])}}
-
-instance A.ToJSON Config where
-  toJSON Config{..} =
-      object [ "haskell" .= r ]
-    where
-      r = object [ "checkParents"                .= checkParents
-                 , "checkProject"                .= checkProject
-                 , "hlintOn"                     .= hlintOn
-                 , "diagnosticsOnChange"         .= diagnosticsOnChange
-                 , "maxNumberOfProblems"         .= maxNumberOfProblems
-                 , "diagnosticsDebounceDuration" .= diagnosticsDebounceDuration
-                 , "liquidOn"                    .= liquidOn
-                 , "completionSnippetsOn"        .= completionSnippetsOn
-                 , "formatOnImportOn"            .= formatOnImportOn
-                 , "formattingProvider"          .= formattingProvider
-                 , "plugin"                      .= plugins
-                 ]
-
--- ---------------------------------------------------------------------
-
--- | A PluginConfig is a generic configuration for a given HLS plugin.  It
--- provides a "big switch" to turn it on or off as a whole, as well as small
--- switches per feature, and a slot for custom config.
--- This provides a regular naming scheme for all plugin config.
-data PluginConfig =
-    PluginConfig
-      { plcGlobalOn      :: !Bool
-      , plcCodeActionsOn :: !Bool
-      , plcCodeLensOn    :: !Bool
-      , plcDiagnosticsOn :: !Bool
-      , plcHoverOn       :: !Bool
-      , plcSymbolsOn     :: !Bool
-      , plcCompletionOn  :: !Bool
-      , plcRenameOn      :: !Bool
-      , plcConfig        :: !A.Object
-      } deriving (Show,Eq)
-
-instance Default PluginConfig where
-  def = PluginConfig
-      { plcGlobalOn      = True
-      , plcCodeActionsOn = True
-      , plcCodeLensOn    = True
-      , plcDiagnosticsOn = True
-      , plcHoverOn       = True
-      , plcSymbolsOn     = True
-      , plcCompletionOn  = True
-      , plcRenameOn      = True
-      , plcConfig        = mempty
-      }
-
-instance A.ToJSON PluginConfig where
-    toJSON (PluginConfig g ca cl d h s c rn cfg) = r
-      where
-        r = object [ "globalOn"      .= g
-                   , "codeActionsOn" .= ca
-                   , "codeLensOn"    .= cl
-                   , "diagnosticsOn" .= d
-                   , "hoverOn"       .= h
-                   , "symbolsOn"     .= s
-                   , "completionOn"  .= c
-                   , "renameOn"      .= rn
-                   , "config"        .= cfg
-                   ]
-
-instance A.FromJSON PluginConfig where
-  parseJSON = A.withObject "PluginConfig" $ \o  -> PluginConfig
-      <$> o .:? "globalOn"      .!= plcGlobalOn def
-      <*> o .:? "codeActionsOn" .!= plcCodeActionsOn def
-      <*> o .:? "codeLensOn"    .!= plcCodeLensOn    def
-      <*> o .:? "diagnosticsOn" .!= plcDiagnosticsOn def -- AZ
-      <*> o .:? "hoverOn"       .!= plcHoverOn       def
-      <*> o .:? "symbolsOn"     .!= plcSymbolsOn     def
-      <*> o .:? "completionOn"  .!= plcCompletionOn  def
-      <*> o .:? "renameOn"      .!= plcRenameOn      def
-      <*> o .:? "config"        .!= plcConfig        def
-
--- ---------------------------------------------------------------------
+{-# LANGUAGE RecordWildCards #-}+{-# LANGUAGE DeriveAnyClass #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE DerivingStrategies #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE TypeFamilies #-}+module Ide.Plugin.Config+    ( getConfigFromNotification+    , Config(..)+    , parseConfig+    , PluginConfig(..)+    , CheckParents(..)+    ) where++import           Control.Applicative+import qualified Data.Aeson                    as A+import qualified Data.Aeson.Types              as A+import           Data.Aeson              hiding ( Error )+import           Data.Default+import qualified Data.Text                     as T+import qualified Data.Map as Map+import GHC.Generics (Generic)++-- ---------------------------------------------------------------------++-- | Given a DidChangeConfigurationNotification message, this function returns the parsed+-- Config object if possible.+getConfigFromNotification :: Config -> A.Value -> Either T.Text Config+getConfigFromNotification defaultValue p =+  case A.parse (parseConfig defaultValue) p of+    A.Success c -> Right c+    A.Error err -> Left $ T.pack err++-- ---------------------------------------------------------------------+data CheckParents+    -- Note that ordering of constructors is meaningful and must be monotonically+    -- increasing in the scenarios where parents are checked+    = NeverCheck+    | CheckOnClose+    | CheckOnSaveAndClose+    | AlwaysCheck+  deriving stock (Eq, Ord, Show, Generic)+  deriving anyclass (FromJSON, ToJSON)++-- | We (initially anyway) mirror the hie configuration, so that existing+-- clients can simply switch executable and not have any nasty surprises.  There+-- will be surprises relating to config options being ignored, initially though.+data Config =+  Config+    { checkParents                :: CheckParents+    , checkProject                :: !Bool+    , hlintOn                     :: !Bool+    , diagnosticsOnChange         :: !Bool+    , maxNumberOfProblems         :: !Int+    , diagnosticsDebounceDuration :: !Int+    , liquidOn                    :: !Bool+    , completionSnippetsOn        :: !Bool+    , formatOnImportOn            :: !Bool+    , formattingProvider          :: !T.Text+    , maxCompletions              :: !Int+    , plugins                     :: !(Map.Map T.Text PluginConfig)+    } deriving (Show,Eq)++instance Default Config where+  def = Config+    { checkParents                = CheckOnSaveAndClose+    , checkProject                = True+    , hlintOn                     = True+    , diagnosticsOnChange         = True+    , maxNumberOfProblems         = 100+    , diagnosticsDebounceDuration = 350000+    , liquidOn                    = False+    , completionSnippetsOn        = True+    , formatOnImportOn            = True+    -- , formattingProvider          = "brittany"+    , formattingProvider          = "ormolu"+    -- , formattingProvider          = "floskell"+    -- , formattingProvider          = "stylish-haskell"+    , maxCompletions              = 40+    , plugins                     = Map.empty+    }++-- TODO: Add API for plugins to expose their own LSP config options+parseConfig :: Config -> Value -> A.Parser Config+parseConfig defValue = A.withObject "Config" $ \v -> do+    -- Officially, we use "haskell" as the section name but for+    -- backwards compatibility we also accept "languageServerHaskell"+    c <- v .: "haskell" <|> v .:? "languageServerHaskell"+    case c of+      Nothing -> return defValue+      Just s -> flip (A.withObject "Config.settings") s $ \o -> Config+        <$> (o .:? "checkParents" <|> v .:? "checkParents") .!= checkParents defValue+        <*> (o .:? "checkProject" <|> v .:? "checkProject") .!= checkProject defValue+        <*> o .:? "hlintOn"                                 .!= hlintOn defValue+        <*> o .:? "diagnosticsOnChange"                     .!= diagnosticsOnChange defValue+        <*> o .:? "maxNumberOfProblems"                     .!= maxNumberOfProblems defValue+        <*> o .:? "diagnosticsDebounceDuration"             .!= diagnosticsDebounceDuration defValue+        <*> o .:? "liquidOn"                                .!= liquidOn defValue+        <*> o .:? "completionSnippetsOn"                    .!= completionSnippetsOn defValue+        <*> o .:? "formatOnImportOn"                        .!= formatOnImportOn defValue+        <*> o .:? "formattingProvider"                      .!= formattingProvider defValue+        <*> o .:? "maxCompletions"                          .!= maxCompletions defValue+        <*> o .:? "plugin"                                  .!= plugins defValue++instance A.ToJSON Config where+  toJSON Config{..} =+      object [ "haskell" .= r ]+    where+      r = object [ "checkParents"                .= checkParents+                 , "checkProject"                .= checkProject+                 , "hlintOn"                     .= hlintOn+                 , "diagnosticsOnChange"         .= diagnosticsOnChange+                 , "maxNumberOfProblems"         .= maxNumberOfProblems+                 , "diagnosticsDebounceDuration" .= diagnosticsDebounceDuration+                 , "liquidOn"                    .= liquidOn+                 , "completionSnippetsOn"        .= completionSnippetsOn+                 , "formatOnImportOn"            .= formatOnImportOn+                 , "formattingProvider"          .= formattingProvider+                 , "plugin"                      .= plugins+                 ]++-- ---------------------------------------------------------------------++-- | A PluginConfig is a generic configuration for a given HLS plugin.  It+-- provides a "big switch" to turn it on or off as a whole, as well as small+-- switches per feature, and a slot for custom config.+-- This provides a regular naming scheme for all plugin config.+data PluginConfig =+    PluginConfig+      { plcGlobalOn      :: !Bool+      , plcCodeActionsOn :: !Bool+      , plcCodeLensOn    :: !Bool+      , plcDiagnosticsOn :: !Bool+      , plcHoverOn       :: !Bool+      , plcSymbolsOn     :: !Bool+      , plcCompletionOn  :: !Bool+      , plcRenameOn      :: !Bool+      , plcConfig        :: !A.Object+      } deriving (Show,Eq)++instance Default PluginConfig where+  def = PluginConfig+      { plcGlobalOn      = True+      , plcCodeActionsOn = True+      , plcCodeLensOn    = True+      , plcDiagnosticsOn = True+      , plcHoverOn       = True+      , plcSymbolsOn     = True+      , plcCompletionOn  = True+      , plcRenameOn      = True+      , plcConfig        = mempty+      }++instance A.ToJSON PluginConfig where+    toJSON (PluginConfig g ca cl d h s c rn cfg) = r+      where+        r = object [ "globalOn"      .= g+                   , "codeActionsOn" .= ca+                   , "codeLensOn"    .= cl+                   , "diagnosticsOn" .= d+                   , "hoverOn"       .= h+                   , "symbolsOn"     .= s+                   , "completionOn"  .= c+                   , "renameOn"      .= rn+                   , "config"        .= cfg+                   ]++instance A.FromJSON PluginConfig where+  parseJSON = A.withObject "PluginConfig" $ \o  -> PluginConfig+      <$> o .:? "globalOn"      .!= plcGlobalOn def+      <*> o .:? "codeActionsOn" .!= plcCodeActionsOn def+      <*> o .:? "codeLensOn"    .!= plcCodeLensOn    def+      <*> o .:? "diagnosticsOn" .!= plcDiagnosticsOn def -- AZ+      <*> o .:? "hoverOn"       .!= plcHoverOn       def+      <*> o .:? "symbolsOn"     .!= plcSymbolsOn     def+      <*> o .:? "completionOn"  .!= plcCompletionOn  def+      <*> o .:? "renameOn"      .!= plcRenameOn      def+      <*> o .:? "config"        .!= plcConfig        def++-- ---------------------------------------------------------------------

@@ -1,273 +1,220 @@-{-# LANGUAGE CPP               #-}
-{-# LANGUAGE OverloadedStrings #-}
-module Ide.PluginUtils
-  ( WithDeletions(..),
-    getProcessID,
-    normalize,
-    makeDiffTextEdit,
-    makeDiffTextEditAdditive,
-    diffText,
-    diffText',
-    pluginDescToIdePlugins,
-    responseError,
-    getClientConfig,
-    getPluginConfig,
-    configForPlugin,
-    pluginEnabled,
-    extractRange,
-    fullRange,
-    mkLspCommand,
-    mkLspCmdId,
-  allLspCmdIds,allLspCmdIds',installSigUsr1Handler, subRange)
-where
-
-
-import           Data.Algorithm.Diff
-import           Data.Algorithm.DiffOutput
-import qualified Data.HashMap.Strict                     as H
-import           Data.Maybe
-import qualified Data.Text                               as T
-import           Ide.Types
-import           Language.Haskell.LSP.Types
-import qualified Language.Haskell.LSP.Types              as J
-import           Language.Haskell.LSP.Types.Capabilities
-
-#ifdef mingw32_HOST_OS
-import qualified System.Win32.Process                    as P (getCurrentProcessId)
-#else
-import           System.Posix.Signals
-import qualified System.Posix.Process                    as P (getProcessID)
-#endif
-import qualified Data.Aeson                              as J
-import qualified Data.Default
-import qualified Data.Map.Strict                         as Map
-import           Ide.Plugin.Config
-import qualified Language.Haskell.LSP.Core               as LSP
-import Control.Monad (void)
-
--- ---------------------------------------------------------------------
-
--- | Extend to the line below and above to replace newline character.
-normalize :: Range -> Range
-normalize (Range (Position sl _) (Position el _)) =
-  Range (Position sl 0) (Position (el + 1) 0)
-
--- ---------------------------------------------------------------------
-
-data WithDeletions = IncludeDeletions | SkipDeletions
-  deriving Eq
-
--- | Generate a 'WorkspaceEdit' value from a pair of source Text
-diffText :: ClientCapabilities -> (Uri,T.Text) -> T.Text -> WithDeletions -> WorkspaceEdit
-diffText clientCaps old new withDeletions =
-  let
-    supports = clientSupportsDocumentChanges clientCaps
-  in diffText' supports old new withDeletions
-
-makeDiffTextEdit :: T.Text -> T.Text -> List TextEdit
-makeDiffTextEdit f1 f2 = diffTextEdit f1 f2 IncludeDeletions
-
-makeDiffTextEditAdditive :: T.Text -> T.Text -> List TextEdit
-makeDiffTextEditAdditive f1 f2 = diffTextEdit f1 f2 SkipDeletions
-
-diffTextEdit :: T.Text -> T.Text -> WithDeletions -> List TextEdit
-diffTextEdit fText f2Text withDeletions = J.List r
-  where
-    r = map diffOperationToTextEdit diffOps
-    d = getGroupedDiff (lines $ T.unpack fText) (lines $ T.unpack f2Text)
-
-    diffOps = filter (\x -> (withDeletions == IncludeDeletions) || not (isDeletion x))
-                     (diffToLineRanges d)
-
-    isDeletion (Deletion _ _) = True
-    isDeletion _              = False
-
-
-    diffOperationToTextEdit :: DiffOperation LineRange -> J.TextEdit
-    diffOperationToTextEdit (Change fm to) = J.TextEdit range nt
-      where
-        range = calcRange fm
-        nt = T.pack $ init $ unlines $ lrContents to
-
-    {-
-      In order to replace everything including newline characters,
-      the end range should extend below the last line. From the specification:
-      "If you want to specify a range that contains a line including
-      the line ending character(s) then use an end position denoting
-      the start of the next line"
-    -}
-    diffOperationToTextEdit (Deletion (LineRange (sl, el) _) _) = J.TextEdit range ""
-      where
-        range = J.Range (J.Position (sl - 1) 0)
-                        (J.Position el 0)
-
-    diffOperationToTextEdit (Addition fm l) = J.TextEdit range nt
-    -- fm has a range wrt to the changed file, which starts in the current file at l + 1
-    -- So the range has to be shifted to start at l + 1
-      where
-        range = J.Range (J.Position l 0)
-                        (J.Position l 0)
-        nt = T.pack $ unlines $ lrContents fm
-
-
-    calcRange fm = J.Range s e
-      where
-        sl = fst $ lrNumbers fm
-        sc = 0
-        s = J.Position (sl - 1) sc -- Note: zero-based lines
-        el = snd $ lrNumbers fm
-        ec = length $ last $ lrContents fm
-        e = J.Position (el - 1) ec  -- Note: zero-based lines
-
-
--- | A pure version of 'diffText' for testing
-diffText' :: Bool -> (Uri,T.Text) -> T.Text -> WithDeletions -> WorkspaceEdit
-diffText' supports (f,fText) f2Text withDeletions  =
-  if supports
-    then WorkspaceEdit Nothing (Just docChanges)
-    else WorkspaceEdit (Just h) Nothing
-  where
-    diff = diffTextEdit fText f2Text withDeletions
-    h = H.singleton f diff
-    docChanges = J.List [docEdit]
-    docEdit = J.TextDocumentEdit (J.VersionedTextDocumentIdentifier f (Just 0)) diff
-
--- ---------------------------------------------------------------------
-
-clientSupportsDocumentChanges :: ClientCapabilities -> Bool
-clientSupportsDocumentChanges caps =
-  let ClientCapabilities mwCaps _ _ _ = caps
-      supports = do
-        wCaps <- mwCaps
-        WorkspaceEditClientCapabilities mDc <- _workspaceEdit wCaps
-        mDc
-  in
-    fromMaybe False supports
-
--- ---------------------------------------------------------------------
-
-pluginDescToIdePlugins :: [PluginDescriptor ideState] -> IdePlugins ideState
-pluginDescToIdePlugins plugins = IdePlugins $ Map.fromList $ map (\p -> (pluginId p, p)) plugins
-
-
--- ---------------------------------------------------------------------
-
-responseError :: T.Text -> ResponseError
-responseError txt = ResponseError InvalidParams txt Nothing
-
-
--- ---------------------------------------------------------------------
--- | Returns the current client configuration. It is not wise to permanently
--- cache the returned value of this function, as clients can at runitime change
--- their configuration.
---
--- If no custom configuration has been set by the client, this function returns
--- our own defaults.
-getClientConfig :: LSP.LspFuncs Config -> IO Config
-getClientConfig lf = fromMaybe Data.Default.def <$> LSP.config lf
-
--- ---------------------------------------------------------------------
-
--- | Returns the current plugin configuration. It is not wise to permanently
--- cache the returned value of this function, as clients can change their
--- configuration at runtime.
---
--- If no custom configuration has been set by the client, this function returns
--- our own defaults.
-getPluginConfig :: LSP.LspFuncs Config -> PluginId -> IO PluginConfig
-getPluginConfig lf plugin = do
-    config <- getClientConfig lf
-    return $ configForPlugin config plugin
-
-configForPlugin :: Config -> PluginId -> PluginConfig
-configForPlugin config (PluginId plugin)
-    = Map.findWithDefault Data.Default.def plugin (plugins config)
-
--- ---------------------------------------------------------------------
-
--- | Checks that a given plugin is both enabled and the specific feature is
--- enabled
-pluginEnabled :: PluginConfig -> (PluginConfig -> Bool) -> Bool
-pluginEnabled pluginConfig f = plcGlobalOn pluginConfig && f pluginConfig
-
--- ---------------------------------------------------------------------
-
-extractRange :: Range -> T.Text -> T.Text
-extractRange (Range (Position sl _) (Position el _)) s = newS
-  where focusLines = take (el-sl+1) $ drop sl $ T.lines s
-        newS = T.unlines focusLines
-
--- | Gets the range that covers the entire text
-fullRange :: T.Text -> Range
-fullRange s = Range startPos endPos
-  where startPos = Position 0 0
-        endPos = Position lastLine 0
-        {-
-        In order to replace everything including newline characters,
-        the end range should extend below the last line. From the specification:
-        "If you want to specify a range that contains a line including
-        the line ending character(s) then use an end position denoting
-        the start of the next line"
-        -}
-        lastLine = length $ T.lines s
-
-subRange :: Range -> Range -> Bool
-subRange smallRange range =
-     positionInRange (_start smallRange) range
-  && positionInRange (_end smallRange) range
-
-positionInRange :: Position -> Range -> Bool
-positionInRange (Position pl po) (Range (Position sl so) (Position el eo)) =
-     pl >  sl && pl <  el
-  || pl == sl && pl == el && po >= so && po <= eo
-  || pl == sl && po >= so
-  || pl == el && po <= eo
-
--- ---------------------------------------------------------------------
-
-allLspCmdIds' :: T.Text -> IdePlugins ideState -> [T.Text]
-allLspCmdIds' pid mp = mkPlugin (allLspCmdIds pid) (Just . pluginCommands)
-    where
-        justs (p, Just x)  = [(p, x)]
-        justs (_, Nothing) = []
-
-        ls = Map.toList (ipMap mp)
-
-        mkPlugin maker selector
-            = maker $ concatMap (\(pid, p) -> justs (pid, selector p)) ls
-
-
-allLspCmdIds :: T.Text -> [(PluginId, [PluginCommand ideState])] -> [T.Text]
-allLspCmdIds pid commands = concat $ map go commands
-  where
-    go (plid, cmds) = map (mkLspCmdId pid plid . commandId) cmds
-
-mkLspCommand :: PluginId -> CommandId -> T.Text -> Maybe [J.Value] -> IO Command
-mkLspCommand plid cn title args' = do
-  pid <- getPid
-  let cmdId = mkLspCmdId pid plid cn
-  let args = List <$> args'
-  return $ Command title cmdId args
-
-mkLspCmdId :: T.Text -> PluginId -> CommandId -> T.Text
-mkLspCmdId pid (PluginId plid) (CommandId cid)
-  = pid <> ":" <> plid <> ":" <> cid
-
--- | Get the operating system process id for the running server
--- instance. This should be the same for the lifetime of the instance,
--- and different from that of any other currently running instance.
-getPid :: IO T.Text
-getPid = T.pack . show <$> getProcessID
-
-getProcessID :: IO Int
-installSigUsr1Handler :: IO () -> IO ()
-
-#ifdef mingw32_HOST_OS
-getProcessID = fromIntegral <$> P.getCurrentProcessId
-installSigUsr1Handler _ = return ()
-
-#else
-getProcessID = fromIntegral <$> P.getProcessID
-
-installSigUsr1Handler h = void $ installHandler sigUSR1 (Catch h) Nothing
-#endif
+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE FlexibleContexts #-}+module Ide.PluginUtils+  ( WithDeletions(..),+    getProcessID,+    normalize,+    makeDiffTextEdit,+    makeDiffTextEditAdditive,+    diffText,+    diffText',+    pluginDescToIdePlugins,+    responseError,+    getClientConfig,+    getPluginConfig,+    configForPlugin,+    pluginEnabled,+    extractRange,+    fullRange,+    mkLspCommand,+    mkLspCmdId,+    getPid,+  allLspCmdIds,allLspCmdIds',installSigUsr1Handler, subRange)+where+++import           Data.Algorithm.Diff+import           Data.Algorithm.DiffOutput+import qualified Data.HashMap.Strict                     as H+import           Data.Maybe+import qualified Data.Text                               as T+import           Ide.Types+import           Language.LSP.Types+import qualified Language.LSP.Types              as J+import           Language.LSP.Types.Capabilities++import qualified Data.Default+import qualified Data.Map.Strict                         as Map+import           Ide.Plugin.Config+import Language.LSP.Server++-- ---------------------------------------------------------------------++-- | Extend to the line below and above to replace newline character.+normalize :: Range -> Range+normalize (Range (Position sl _) (Position el _)) =+  Range (Position sl 0) (Position (el + 1) 0)++-- ---------------------------------------------------------------------++data WithDeletions = IncludeDeletions | SkipDeletions+  deriving Eq++-- | Generate a 'WorkspaceEdit' value from a pair of source Text+diffText :: ClientCapabilities -> (Uri,T.Text) -> T.Text -> WithDeletions -> WorkspaceEdit+diffText clientCaps old new withDeletions =+  let+    supports = clientSupportsDocumentChanges clientCaps+  in diffText' supports old new withDeletions++makeDiffTextEdit :: T.Text -> T.Text -> List TextEdit+makeDiffTextEdit f1 f2 = diffTextEdit f1 f2 IncludeDeletions++makeDiffTextEditAdditive :: T.Text -> T.Text -> List TextEdit+makeDiffTextEditAdditive f1 f2 = diffTextEdit f1 f2 SkipDeletions++diffTextEdit :: T.Text -> T.Text -> WithDeletions -> List TextEdit+diffTextEdit fText f2Text withDeletions = J.List r+  where+    r = map diffOperationToTextEdit diffOps+    d = getGroupedDiff (lines $ T.unpack fText) (lines $ T.unpack f2Text)++    diffOps = filter (\x -> (withDeletions == IncludeDeletions) || not (isDeletion x))+                     (diffToLineRanges d)++    isDeletion (Deletion _ _) = True+    isDeletion _              = False+++    diffOperationToTextEdit :: DiffOperation LineRange -> J.TextEdit+    diffOperationToTextEdit (Change fm to) = J.TextEdit range nt+      where+        range = calcRange fm+        nt = T.pack $ init $ unlines $ lrContents to++    {-+      In order to replace everything including newline characters,+      the end range should extend below the last line. From the specification:+      "If you want to specify a range that contains a line including+      the line ending character(s) then use an end position denoting+      the start of the next line"+    -}+    diffOperationToTextEdit (Deletion (LineRange (sl, el) _) _) = J.TextEdit range ""+      where+        range = J.Range (J.Position (sl - 1) 0)+                        (J.Position el 0)++    diffOperationToTextEdit (Addition fm l) = J.TextEdit range nt+    -- fm has a range wrt to the changed file, which starts in the current file at l + 1+    -- So the range has to be shifted to start at l + 1+      where+        range = J.Range (J.Position l 0)+                        (J.Position l 0)+        nt = T.pack $ unlines $ lrContents fm+++    calcRange fm = J.Range s e+      where+        sl = fst $ lrNumbers fm+        sc = 0+        s = J.Position (sl - 1) sc -- Note: zero-based lines+        el = snd $ lrNumbers fm+        ec = length $ last $ lrContents fm+        e = J.Position (el - 1) ec  -- Note: zero-based lines+++-- | A pure version of 'diffText' for testing+diffText' :: Bool -> (Uri,T.Text) -> T.Text -> WithDeletions -> WorkspaceEdit+diffText' supports (f,fText) f2Text withDeletions  =+  if supports+    then WorkspaceEdit Nothing (Just docChanges)+    else WorkspaceEdit (Just h) Nothing+  where+    diff = diffTextEdit fText f2Text withDeletions+    h = H.singleton f diff+    docChanges = J.List [InL docEdit]+    docEdit = J.TextDocumentEdit (J.VersionedTextDocumentIdentifier f (Just 0)) diff++-- ---------------------------------------------------------------------++clientSupportsDocumentChanges :: ClientCapabilities -> Bool+clientSupportsDocumentChanges caps =+  let ClientCapabilities mwCaps _ _ _ = caps+      supports = do+        wCaps <- mwCaps+        WorkspaceEditClientCapabilities mDc _ _ <- _workspaceEdit wCaps+        mDc+  in+    fromMaybe False supports++-- ---------------------------------------------------------------------++pluginDescToIdePlugins :: [PluginDescriptor ideState] -> IdePlugins ideState+pluginDescToIdePlugins plugins = IdePlugins $ Map.fromList $ map (\p -> (pluginId p, p)) plugins+++-- ---------------------------------------------------------------------+-- | Returns the current client configuration. It is not wise to permanently+-- cache the returned value of this function, as clients can at runitime change+-- their configuration.+--+-- If no custom configuration has been set by the client, this function returns+-- our own defaults.+getClientConfig :: MonadLsp Config m => m Config+getClientConfig = fromMaybe Data.Default.def <$> getConfig++-- ---------------------------------------------------------------------++-- | Returns the current plugin configuration. It is not wise to permanently+-- cache the returned value of this function, as clients can change their+-- configuration at runtime.+--+-- If no custom configuration has been set by the client, this function returns+-- our own defaults.+getPluginConfig :: MonadLsp Config m => PluginId -> m PluginConfig+getPluginConfig plugin = do+    config <- getClientConfig+    return $ configForPlugin config plugin++-- ---------------------------------------------------------------------++extractRange :: Range -> T.Text -> T.Text+extractRange (Range (Position sl _) (Position el _)) s = newS+  where focusLines = take (el-sl+1) $ drop sl $ T.lines s+        newS = T.unlines focusLines++-- | Gets the range that covers the entire text+fullRange :: T.Text -> Range+fullRange s = Range startPos endPos+  where startPos = Position 0 0+        endPos = Position lastLine 0+        {-+        In order to replace everything including newline characters,+        the end range should extend below the last line. From the specification:+        "If you want to specify a range that contains a line including+        the line ending character(s) then use an end position denoting+        the start of the next line"+        -}+        lastLine = length $ T.lines s++subRange :: Range -> Range -> Bool+subRange smallRange range =+     positionInRange (_start smallRange) range+  && positionInRange (_end smallRange) range++positionInRange :: Position -> Range -> Bool+positionInRange (Position pl po) (Range (Position sl so) (Position el eo)) =+     pl >  sl && pl <  el+  || pl == sl && pl == el && po >= so && po <= eo+  || pl == sl && po >= so+  || pl == el && po <= eo++-- ---------------------------------------------------------------------++allLspCmdIds' :: T.Text -> IdePlugins ideState -> [T.Text]+allLspCmdIds' pid mp = mkPlugin (allLspCmdIds pid) (Just . pluginCommands)+    where+        justs (p, Just x)  = [(p, x)]+        justs (_, Nothing) = []++        ls = Map.toList (ipMap mp)++        mkPlugin maker selector+            = maker $ concatMap (\(pid, p) -> justs (pid, selector p)) ls+++allLspCmdIds :: T.Text -> [(PluginId, [PluginCommand ideState])] -> [T.Text]+allLspCmdIds pid commands = concat $ map go commands+  where+    go (plid, cmds) = map (mkLspCmdId pid plid . commandId) cmds+

@@ -1,205 +1,379 @@-{-# LANGUAGE GADTs #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
-module Ide.Types
-    (
-      IdePlugins(..)
-    , PluginDescriptor(..)
-    , defaultPluginDescriptor
-    , PluginCommand(..)
-    , PluginId(..)
-    , CommandId(..)
-    , DiagnosticProvider(..)
-    , DiagnosticProviderFunc(..)
-    , SymbolsProvider
-    , FormattingType(..)
-    , FormattingProvider
-    , noneProvider
-    , HoverProvider
-    , CodeActionProvider
-    , CodeLensProvider
-    , CommandFunction
-    , ExecuteCommandProvider
-    , CompletionProvider
-    , RenameProvider
-    , WithSnippets(..)
-    ) where
-
-import           Data.Aeson                    hiding (defaultOptions)
-import qualified Data.Map  as Map
-import qualified Data.Set                      as S
-import           Data.String
-import qualified Data.Text                     as T
-import           Development.Shake
-import           Ide.Plugin.Config
-import qualified Language.Haskell.LSP.Core as LSP
-import           Language.Haskell.LSP.Types
-import           Text.Regex.TDFA.Text()
-
--- ---------------------------------------------------------------------
-
-newtype IdePlugins ideState = IdePlugins
-  { ipMap :: Map.Map PluginId (PluginDescriptor ideState)}
-
--- ---------------------------------------------------------------------
-
-data PluginDescriptor ideState =
-  PluginDescriptor { pluginId                 :: !PluginId
-                   , pluginRules              :: !(Rules ())
-                   , pluginCommands           :: ![PluginCommand ideState]
-                   , pluginCodeActionProvider :: !(Maybe (CodeActionProvider ideState))
-                   , pluginCodeLensProvider   :: !(Maybe (CodeLensProvider ideState))
-                   , pluginDiagnosticProvider :: !(Maybe DiagnosticProvider)
-                     -- ^ TODO: diagnostics are generally provided via rules,
-                     -- this is probably redundant.
-                   , pluginHoverProvider      :: !(Maybe (HoverProvider ideState))
-                   , pluginSymbolsProvider    :: !(Maybe (SymbolsProvider ideState))
-                   , pluginFormattingProvider :: !(Maybe (FormattingProvider ideState IO))
-                   , pluginCompletionProvider :: !(Maybe (CompletionProvider ideState))
-                   , pluginRenameProvider     :: !(Maybe (RenameProvider ideState))
-                   }
-
-defaultPluginDescriptor :: PluginId -> PluginDescriptor ideState
-defaultPluginDescriptor plId =
-  PluginDescriptor
-    plId
-    mempty
-    mempty
-    Nothing
-    Nothing
-    Nothing
-    Nothing
-    Nothing
-    Nothing
-    Nothing
-    Nothing
-
--- instance Show PluginCommand where
---   show (PluginCommand i _ _) = "PluginCommand { name = " ++ show i ++ " }"
-
--- newtype CommandId = CommandId T.Text
---   deriving (Show, Read, Eq, Ord)
--- instance IsString CommandId where
---   fromString = CommandId . T.pack
-
--- data PluginCommand = forall a b. (FromJSON a, ToJSON b, Typeable b) =>
---   PluginCommand { commandId   :: CommandId
---                 , commandDesc :: T.Text
---                 , commandFunc :: a -> IO (Either ResponseError b)
---                 }
-
-newtype CommandId = CommandId T.Text
-  deriving (Show, Read, Eq, Ord)
-instance IsString CommandId where
-  fromString = CommandId . T.pack
-
-data PluginCommand ideState = forall a. (FromJSON a) =>
-  PluginCommand { commandId   :: CommandId
-                , commandDesc :: T.Text
-                , commandFunc :: CommandFunction ideState a
-                }
-
-
--- ---------------------------------------------------------------------
-
-type CommandFunction ideState a = LSP.LspFuncs Config
-                       -> ideState
-                       -> a
-                       -> IO (Either ResponseError Value, Maybe (ServerMethod, ApplyWorkspaceEditParams))
-
-type CodeActionProvider ideState = LSP.LspFuncs Config
-                        -> ideState
-                        -> PluginId
-                        -> TextDocumentIdentifier
-                        -> Range
-                        -> CodeActionContext
-                        -> IO (Either ResponseError (List CAResult))
-
-type CompletionProvider ideState = LSP.LspFuncs Config
-                        -> ideState
-                        -> CompletionParams
-                        -> IO (Either ResponseError CompletionResponseResult)
-
-
-
-type CodeLensProvider ideState = LSP.LspFuncs Config
-                      -> ideState
-                      -> PluginId
-                      -> CodeLensParams
-                      -> IO (Either ResponseError (List CodeLens))
-
-type RenameProvider ideState = LSP.LspFuncs Config
-                    -> ideState
-                    -> RenameParams
-                    -> IO (Either ResponseError WorkspaceEdit)
-
-type DiagnosticProviderFuncSync
-  = DiagnosticTrigger -> Uri
-  -> IO (Either ResponseError (Map.Map Uri (S.Set Diagnostic)))
-
-type DiagnosticProviderFuncAsync
-  = DiagnosticTrigger -> Uri
-  -> (Map.Map Uri (S.Set Diagnostic) -> IO ())
-  -> IO (Either ResponseError ())
-
-data DiagnosticProviderFunc
-  = DiagnosticProviderSync  DiagnosticProviderFuncSync
-  | DiagnosticProviderAsync DiagnosticProviderFuncAsync
-
-
-data DiagnosticProvider = DiagnosticProvider
-     { dpTrigger :: S.Set DiagnosticTrigger -- AZ:should this be a NonEmptyList?
-     , dpFunc    :: DiagnosticProviderFunc
-     }
-
-data DiagnosticTrigger = DiagnosticOnOpen
-                       | DiagnosticOnChange
-                       | DiagnosticOnSave
-                       deriving (Show,Ord,Eq)
-
--- type HoverProvider = Uri -> Position -> IO (Either ResponseError [Hover])
-type HoverProvider ideState = ideState -> TextDocumentPositionParams -> IO (Either ResponseError (Maybe Hover))
-
-type SymbolsProvider ideState = LSP.LspFuncs Config
-                     -> ideState
-                     -> DocumentSymbolParams
-                     -> IO (Either ResponseError [DocumentSymbol])
-
-type ExecuteCommandProvider ideState = ideState
-                            -> ExecuteCommandParams
-                            -> IO (Either ResponseError Value, Maybe (ServerMethod, ApplyWorkspaceEditParams))
-
-newtype WithSnippets = WithSnippets Bool
-
--- ---------------------------------------------------------------------
-
-newtype PluginId = PluginId T.Text
-  deriving (Show, Read, Eq, Ord)
-instance IsString PluginId where
-  fromString = PluginId . T.pack
-
--- ---------------------------------------------------------------------
-
-
--- | Format the given Text as a whole or only a @Range@ of it.
--- Range must be relative to the text to format.
--- To format the whole document, read the Text from the file and use 'FormatText'
--- as the FormattingType.
-data FormattingType = FormatText
-                    | FormatRange Range
-
-
--- | To format a whole document, the 'FormatText' @FormattingType@ can be used.
--- It is required to pass in the whole Document Text for that to happen, an empty text
--- and file uri, does not suffice.
-type FormattingProvider ideState m
-        = LSP.LspFuncs Config
-        -> ideState
-        -> FormattingType  -- ^ How much to format
-        -> T.Text -- ^ Text to format
-        -> NormalizedFilePath -- ^ location of the file being formatted
-        -> FormattingOptions -- ^ Options for the formatter
-        -> m (Either ResponseError (List TextEdit)) -- ^ Result of the formatting
-
-noneProvider :: FormattingProvider ideState IO
-noneProvider _ _ _ _ _ _ = return $ Right (List [])
+{-# LANGUAGE GADTs #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE TupleSections #-}+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE PolyKinds #-}+{-# LANGUAGE ViewPatterns #-}+{-# LANGUAGE DefaultSignatures #-}+{-# LANGUAGE BangPatterns #-}+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE DeriveAnyClass #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE CPP #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE UndecidableInstances #-}++module Ide.Types+    where++#ifdef mingw32_HOST_OS+import qualified System.Win32.Process                    as P (getCurrentProcessId)+#else+import           System.Posix.Signals+import qualified System.Posix.Process                    as P (getProcessID)+#endif+import           Data.Aeson                    hiding (defaultOptions)+import           GHC.Generics+import qualified Data.Map  as Map+import           Data.String+import qualified Data.Text                     as T+import           Development.Shake hiding (command)+import           Ide.Plugin.Config+import           Language.LSP.Types+import           Language.LSP.VFS+import           Language.LSP.Types.Lens as J hiding (id)+import           Language.LSP.Types.Capabilities+import           Language.LSP.Server (LspM, getVirtualFile)+import           Text.Regex.TDFA.Text()+import           Data.Dependent.Map (DMap)+import qualified Data.Dependent.Map as DMap+import Data.List.NonEmpty (NonEmpty(..), toList)+import Data.GADT.Compare+import Data.Maybe+import Data.Semigroup+import Control.Lens ((^.))+import qualified Data.DList as DList+import qualified Data.Default+import System.IO.Unsafe+import Control.Monad+import OpenTelemetry.Eventlog+import Data.Text.Encoding (encodeUtf8)++-- ---------------------------------------------------------------------++newtype IdePlugins ideState = IdePlugins+  { ipMap :: Map.Map PluginId (PluginDescriptor ideState)}++-- ---------------------------------------------------------------------++data PluginDescriptor ideState =+  PluginDescriptor { pluginId          :: !PluginId+                   , pluginRules       :: !(Rules ())+                   , pluginCommands    :: ![PluginCommand ideState]+                   , pluginHandlers    :: PluginHandlers ideState+                   }++-- | Methods that can be handled by plugins.+-- 'ExtraParams' captures any extra data the IDE passes to the handlers for this method+-- Only methods for which we know how to combine responses can be instances of 'PluginMethod'+class HasTracing (MessageParams m) => PluginMethod m where++  -- | Parse the configuration to check if this plugin is enabled+  pluginEnabled :: SMethod m -> PluginId -> Config -> Bool++  -- | How to combine responses from different plugins+  combineResponses+    :: SMethod m+    -> Config -- ^ IDE Configuration+    -> ClientCapabilities+    -> MessageParams m+    -> NonEmpty (ResponseResult m) -> ResponseResult m++  default combineResponses :: Semigroup (ResponseResult m)+    => SMethod m -> Config -> ClientCapabilities -> MessageParams m -> NonEmpty (ResponseResult m) -> ResponseResult m+  combineResponses _method _config _caps _params = sconcat++instance PluginMethod TextDocumentCodeAction where+  pluginEnabled _ = pluginEnabledConfig plcCodeActionsOn+  combineResponses _method _config (ClientCapabilities _ textDocCaps _ _) (CodeActionParams _ _ _ _ context) resps =+      fmap compat $ List $ filter wasRequested $ (\(List x) -> x) $ sconcat resps+    where++      compat :: (Command |? CodeAction) -> (Command |? CodeAction)+      compat x@(InL _) = x+      compat x@(InR action)+        | Just _ <- textDocCaps >>= _codeAction >>= _codeActionLiteralSupport+        = x+        | otherwise = InL cmd+        where+          cmd = mkLspCommand "hls" "fallbackCodeAction" (action ^. title) (Just cmdParams)+          cmdParams = [toJSON (FallbackCodeActionParams (action ^. edit) (action ^. command))]++      wasRequested :: (Command |? CodeAction) -> Bool+      wasRequested (InL _) = True+      wasRequested (InR ca)+        | Nothing <- _only context = True+        | Just (List allowed) <- _only context+        , Just caKind <- ca ^. kind = caKind `elem` allowed+        | otherwise = False++instance PluginMethod TextDocumentCodeLens where+  pluginEnabled _ = pluginEnabledConfig plcCodeLensOn+instance PluginMethod TextDocumentRename where+  pluginEnabled _ = pluginEnabledConfig plcRenameOn+instance PluginMethod TextDocumentHover where+  pluginEnabled _ = pluginEnabledConfig plcHoverOn+  combineResponses _ _ _ _ (catMaybes . toList -> hs) = h+    where+      r = listToMaybe $ mapMaybe (^. range) hs+      h = case foldMap (^. contents) hs of+            HoverContentsMS (List []) -> Nothing+            hh                        -> Just $ Hover hh r++instance PluginMethod TextDocumentDocumentSymbol where+  pluginEnabled _ = pluginEnabledConfig plcSymbolsOn+  combineResponses _ _ (ClientCapabilities _ tdc _ _) params xs = res+    where+      uri' = params ^. textDocument . uri+      supportsHierarchy = Just True == (tdc >>= _documentSymbol >>= _hierarchicalDocumentSymbolSupport)+      dsOrSi = fmap toEither xs+      res+        | supportsHierarchy = InL $ sconcat $ fmap (either id (fmap siToDs)) dsOrSi+        | otherwise = InR $ sconcat $ fmap (either (List . concatMap dsToSi) id) dsOrSi+      siToDs (SymbolInformation name kind dep (Location _uri range) cont)+        = DocumentSymbol name cont kind dep range range Nothing+      dsToSi = go Nothing+      go :: Maybe T.Text -> DocumentSymbol -> [SymbolInformation]+      go parent ds =+        let children' :: [SymbolInformation]+            children' = concatMap (go (Just name')) (fromMaybe mempty (ds ^. children))+            loc = Location uri' (ds ^. range)+            name' = ds ^. name+            si = SymbolInformation name' (ds ^. kind) (ds ^. deprecated) loc parent+        in [si] <> children'++instance PluginMethod TextDocumentCompletion where+  pluginEnabled _ = pluginEnabledConfig plcCompletionOn+  combineResponses _ conf _ _ (toList -> xs) = snd $ consumeCompletionResponse limit $ combine xs+      where+        limit = maxCompletions conf+        combine :: [List CompletionItem |? CompletionList] -> ((List CompletionItem) |? CompletionList)+        combine cs = go True mempty cs++        go !comp acc [] =+          InR (CompletionList comp (List $ DList.toList acc))+        go comp acc (InL (List ls) : rest) =+          go comp (acc <> DList.fromList ls) rest+        go comp acc (InR (CompletionList comp' (List ls)) : rest) =+          go (comp && comp') (acc <> DList.fromList ls) rest++        -- boolean disambiguators+        isCompleteResponse, isIncompleteResponse :: Bool+        isIncompleteResponse = True+        isCompleteResponse = False++        consumeCompletionResponse limit it@(InR (CompletionList _ (List xx))) =+          case splitAt limit xx of+            -- consumed all the items, return the result as is+            (_, []) -> (limit - length xx, it)+            -- need to crop the response, set the 'isIncomplete' flag+            (xx', _) -> (0, InR (CompletionList isIncompleteResponse (List xx')))+        consumeCompletionResponse n (InL (List xx)) =+          consumeCompletionResponse n (InR (CompletionList isCompleteResponse (List xx)))++instance PluginMethod TextDocumentFormatting where+  pluginEnabled _ pid conf = (PluginId $ formattingProvider conf) == pid+  combineResponses _ _ _ _ (x :| _) = x++instance PluginMethod TextDocumentRangeFormatting where+  pluginEnabled _ pid conf = (PluginId $ formattingProvider conf) == pid+  combineResponses _ _ _ _ (x :| _) = x++-- | Methods which have a PluginMethod instance+data IdeMethod (m :: Method FromClient Request) = PluginMethod m => IdeMethod (SMethod m)+instance GEq IdeMethod where+  geq (IdeMethod a) (IdeMethod b) = geq a b+instance GCompare IdeMethod where+  gcompare (IdeMethod a) (IdeMethod b) = gcompare a b++-- | Combine handlers for the+newtype PluginHandler a (m :: Method FromClient Request)+  = PluginHandler (PluginId -> a -> MessageParams m -> LspM Config (NonEmpty (Either ResponseError (ResponseResult m))))++newtype PluginHandlers a = PluginHandlers (DMap IdeMethod (PluginHandler a))++instance Semigroup (PluginHandlers a) where+  (PluginHandlers a) <> (PluginHandlers b) = PluginHandlers $ DMap.unionWithKey go a b+    where+      go _ (PluginHandler f) (PluginHandler g) = PluginHandler $ \pid ide params ->+        (<>) <$> f pid ide params <*> g pid ide params++instance Monoid (PluginHandlers a) where+  mempty = PluginHandlers mempty++type PluginMethodHandler a m = a -> PluginId -> MessageParams m -> LspM Config (Either ResponseError (ResponseResult m))++-- | Make a handler for plugins with no extra data+mkPluginHandler+  :: PluginMethod m+  => SClientMethod m+  -> PluginMethodHandler ideState m+  -> PluginHandlers ideState+mkPluginHandler m f = PluginHandlers $ DMap.singleton (IdeMethod m) (PluginHandler f')+  where+    f' pid ide params = pure <$> f ide pid params++defaultPluginDescriptor :: PluginId -> PluginDescriptor ideState+defaultPluginDescriptor plId =+  PluginDescriptor+    plId+    mempty+    mempty+    mempty++newtype CommandId = CommandId T.Text+  deriving (Show, Read, Eq, Ord)+instance IsString CommandId where+  fromString = CommandId . T.pack++data PluginCommand ideState = forall a. (FromJSON a) =>+  PluginCommand { commandId   :: CommandId+                , commandDesc :: T.Text+                , commandFunc :: CommandFunction ideState a+                }++-- ---------------------------------------------------------------------++type CommandFunction ideState a+  = ideState+  -> a+  -> LspM Config (Either ResponseError Value)++newtype WithSnippets = WithSnippets Bool++-- ---------------------------------------------------------------------++newtype PluginId = PluginId T.Text+  deriving (Show, Read, Eq, Ord)+instance IsString PluginId where+  fromString = PluginId . T.pack++configForPlugin :: Config -> PluginId -> PluginConfig+configForPlugin config (PluginId plugin)+    = Map.findWithDefault Data.Default.def plugin (plugins config)++-- | Checks that a given plugin is both enabled and the specific feature is+-- enabled+pluginEnabledConfig :: (PluginConfig -> Bool) -> PluginId -> Config -> Bool+pluginEnabledConfig f pid config = plcGlobalOn pluginConfig && f pluginConfig+  where+    pluginConfig = configForPlugin config pid++-- ---------------------------------------------------------------------++-- | Format the given Text as a whole or only a @Range@ of it.+-- Range must be relative to the text to format.+-- To format the whole document, read the Text from the file and use 'FormatText'+-- as the FormattingType.+data FormattingType = FormatText+                    | FormatRange Range+++type FormattingMethod m =+  ( J.HasOptions (MessageParams m) FormattingOptions+  , J.HasTextDocument (MessageParams m) TextDocumentIdentifier+  , ResponseResult m ~ List TextEdit+  )++type FormattingHandler a+  =  a+  -> FormattingType+  -> T.Text+  -> NormalizedFilePath+  -> FormattingOptions+  -> LspM Config (Either ResponseError (List TextEdit))++mkFormattingHandlers :: forall a. FormattingHandler a -> PluginHandlers a+mkFormattingHandlers f = mkPluginHandler STextDocumentFormatting (provider STextDocumentFormatting)+                      <> mkPluginHandler STextDocumentRangeFormatting (provider STextDocumentRangeFormatting)+  where+    provider :: forall m. FormattingMethod m => SMethod m -> PluginMethodHandler a m+    provider m ide _pid params+      | Just nfp <- uriToNormalizedFilePath $ toNormalizedUri uri = do+        mf <- getVirtualFile $ toNormalizedUri uri+        case mf of+          Just vf -> do+            let typ = case m of+                  STextDocumentFormatting -> FormatText+                  STextDocumentRangeFormatting -> FormatRange (params ^. J.range)+                  _ -> error "mkFormattingHandlers: impossible"+            f ide typ (virtualFileText vf) nfp opts+          Nothing -> pure $ Left $ responseError $ T.pack $ "Formatter plugin: could not get file contents for " ++ show uri++      | otherwise = pure $ Left $ responseError $ T.pack $ "Formatter plugin: uriToFilePath failed for: " ++ show uri+      where+        uri = params ^. J.textDocument . J.uri+        opts = params ^. J.options++-- ---------------------------------------------------------------------++responseError :: T.Text -> ResponseError+responseError txt = ResponseError InvalidParams txt Nothing++-- ---------------------------------------------------------------------++data FallbackCodeActionParams =+  FallbackCodeActionParams+    { fallbackWorkspaceEdit :: Maybe WorkspaceEdit+    , fallbackCommand       :: Maybe Command+    }+  deriving (Generic, ToJSON, FromJSON)++-- ---------------------------------------------------------------------++otSetUri :: SpanInFlight -> Uri -> IO ()+otSetUri sp (Uri t) = setTag sp "uri" (encodeUtf8 t)++class HasTracing a where+  traceWithSpan :: SpanInFlight -> a -> IO ()+  traceWithSpan _ _ = pure ()++instance {-# OVERLAPPABLE #-} (HasTextDocument a doc, HasUri doc Uri) => HasTracing a where+  traceWithSpan sp a = otSetUri sp (a ^. J.textDocument . J.uri)++instance HasTracing Value+instance HasTracing ExecuteCommandParams+instance HasTracing DidChangeWatchedFilesParams+instance HasTracing DidChangeWorkspaceFoldersParams+instance HasTracing DidChangeConfigurationParams+instance HasTracing InitializeParams+instance HasTracing (Maybe InitializedParams)+instance HasTracing WorkspaceSymbolParams where+  traceWithSpan sp (WorkspaceSymbolParams _ _ query) = setTag sp "query" (encodeUtf8 query)++-- ---------------------------------------------------------------------++{-# NOINLINE pROCESS_ID #-}+pROCESS_ID :: T.Text+pROCESS_ID = unsafePerformIO getPid++mkLspCommand :: PluginId -> CommandId -> T.Text -> Maybe [Value] -> Command+mkLspCommand plid cn title args' = Command title cmdId args+  where+    cmdId = mkLspCmdId pROCESS_ID plid cn+    args = List <$> args'++mkLspCmdId :: T.Text -> PluginId -> CommandId -> T.Text+mkLspCmdId pid (PluginId plid) (CommandId cid)+  = pid <> ":" <> plid <> ":" <> cid++-- | Get the operating system process id for the running server+-- instance. This should be the same for the lifetime of the instance,+-- and different from that of any other currently running instance.+getPid :: IO T.Text+getPid = T.pack . show <$> getProcessID++getProcessID :: IO Int+installSigUsr1Handler :: IO () -> IO ()++#ifdef mingw32_HOST_OS+getProcessID = fromIntegral <$> P.getCurrentProcessId+installSigUsr1Handler _ = return ()++#else+getProcessID = fromIntegral <$> P.getProcessID++installSigUsr1Handler h = void $ installHandler sigUSR1 (Catch h) Nothing+#endif