Add CodeLens based dependency version

Author: batkot

plugins/hls-cabal-plugin/src/Ide/Plugin/Cabal.hs

@@ -138,6 +138,7 @@ descriptor recorder plId =
           , mkPluginHandler LSP.SMethod_TextDocumentDefinition gotoDefinition
           , mkPluginHandler LSP.SMethod_TextDocumentHover hover
           , mkPluginHandler LSP.SMethod_TextDocumentInlayHint hints
+          , mkPluginHandler LSP.SMethod_TextDocumentCodeLens lens
           ]
     , pluginNotificationHandlers =
         mconcat
@@ -379,6 +380,15 @@ cabalAddCodeAction state plId (CodeActionParams _ _ (TextDocumentIdentifier uri)
                                                                               gpd
                   pure $ InL $ fmap InR actions
 
+lens :: PluginMethodHandler IdeState LSP.Method_TextDocumentCodeLens
+lens state _plId clp = do
+  let uri = clp ^. JL.textDocument . JL.uri
+  nfp <- getNormalizedFilePathE uri
+  cabalFields <- runActionE "cabal.cabal-code-lens" state $ useE ParseCabalFields nfp
+  (hscEnv -> hsc) <- runActionE "cabal.cabal-code-lens" state $ useE GhcSession nfp
+  pure $ InL $ Dependencies.dependencyVersionLens cabalFields hsc
+
+
 hints :: PluginMethodHandler IdeState LSP.Method_TextDocumentInlayHint
 hints state _plId clp = do
   let uri = clp ^. JL.textDocument . JL.uri

plugins/hls-cabal-plugin/src/Ide/Plugin/Cabal/Dependencies.hs

@@ -1,5 +1,7 @@
-{-# LANGUAGE OverloadedStrings #-}
-module Ide.Plugin.Cabal.Dependencies (dependencyVersionHints, collectPackageDependencyVersions) where
+{-# LANGUAGE DuplicateRecordFields #-}
+{-# LANGUAGE OverloadedStrings     #-}
+
+module Ide.Plugin.Cabal.Dependencies (dependencyVersionHints, collectPackageDependencyVersions, dependencyVersionLens) where
 
 import qualified Data.Char                         as Char
 import qualified Data.List                         as List
@@ -15,9 +17,22 @@ import           Development.IDE.GHC.Compat        (HscEnv, filterUniqMap,
 import qualified Distribution.Fields               as Syntax
 import qualified Distribution.Parsec.Position      as Syntax
 import qualified Ide.Plugin.Cabal.Completion.Types as Types
-import           Language.LSP.Protocol.Types       (InlayHint (..),
+import           Language.LSP.Protocol.Types       (CodeLens (..), Command (..),
+                                                    InlayHint (..),
                                                     InlayHintLabelPart (InlayHintLabelPart),
-                                                    type (|?) (..))
+                                                    Range (..), type (|?) (..))
+
+dependencyVersionLens :: [Syntax.Field Syntax.Position] -> HscEnv -> [CodeLens]
+dependencyVersionLens cabalFields = fmap mkCodeLens . collectPackageDependencyVersions cabalFields
+  where
+    mkCodeLens :: (Syntax.Position, Version) -> CodeLens
+    mkCodeLens (pos, dependencyVersion) =
+      let cPos = Types.cabalPositionToLSPPosition pos
+          command = Command (printVersion dependencyVersion) mempty Nothing
+      in  CodeLens
+            { _range = Range cPos cPos
+            , _command = Just command
+            , _data_ = Nothing }
 
 dependencyVersionHints ::  [Syntax.Field Syntax.Position] -> HscEnv -> [InlayHint]
 dependencyVersionHints cabalFields = fmap mkHint . collectPackageDependencyVersions cabalFields