working test message cabal file

Author: VenInf

ghcide/src/Development/IDE/LSP/Outline.hs

@@ -26,7 +26,7 @@ import           Language.LSP.Protocol.Types             (DocumentSymbol (..),
                                                  DocumentSymbolParams (DocumentSymbolParams, _textDocument),
                                                  SymbolKind (..),
                                                  TextDocumentIdentifier (TextDocumentIdentifier),
-                                                 type (|?) (InL, InR), uriToFilePath)
+                                                 type (|?) (InL, InR), uriToFilePath, mkRange, SymbolInformation (_deprecated))
 import          Language.LSP.Protocol.Message
 
 -- See Note [Guidelines For Using CPP In GHCIDE Import Statements]

haskell-language-server.cabal

@@ -242,6 +242,7 @@ library hls-cabal-plugin
     Ide.Plugin.Cabal.Completion.Types
     Ide.Plugin.Cabal.LicenseSuggest
     Ide.Plugin.Cabal.Orphans
+    Ide.Plugin.Cabal.Outline
     Ide.Plugin.Cabal.Parse
 
 

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

@@ -39,6 +39,7 @@ import qualified Ide.Plugin.Cabal.Diagnostics                as Diagnostics
 import qualified Ide.Plugin.Cabal.LicenseSuggest             as LicenseSuggest
 import           Ide.Plugin.Cabal.Orphans                    ()
 import qualified Ide.Plugin.Cabal.Parse                      as Parse
+import           Ide.Plugin.Cabal.Outline
 import           Ide.Types
 import qualified Language.LSP.Protocol.Lens                  as JL
 import qualified Language.LSP.Protocol.Message               as LSP
@@ -88,6 +89,7 @@ descriptor recorder plId =
         mconcat
           [ mkPluginHandler LSP.SMethod_TextDocumentCodeAction licenseSuggestCodeAction
           , mkPluginHandler LSP.SMethod_TextDocumentCompletion $ completion recorder
+          , mkPluginHandler LSP.SMethod_TextDocumentDocumentSymbol moduleOutline
           ]
     , pluginNotificationHandlers =
         mconcat

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

@@ -0,0 +1,50 @@
+{-# LANGUAGE CPP                   #-}
+
+{-# LANGUAGE DuplicateRecordFields #-}
+{-# LANGUAGE GADTs                 #-}
+
+{-# LANGUAGE DataKinds             #-}
+{-# LANGUAGE ViewPatterns          #-}
+{-# LANGUAGE OverloadedStrings     #-}
+
+
+module Ide.Plugin.Cabal.Outline
+    ( moduleOutline
+    )
+where
+
+import           Control.Monad.IO.Class
+import           Data.Foldable                  (toList)
+import           Data.Functor
+import           Data.List.NonEmpty             (nonEmpty)
+import           Data.Maybe
+import           Development.IDE.Core.Rules
+import           Development.IDE.Core.Shake
+import           Development.IDE.GHC.Compat
+import           Development.IDE.GHC.Error      (rangeToRealSrcSpan,
+                                                 realSrcSpanToRange)
+import           Development.IDE.Types.Location
+import           Development.IDE.GHC.Util       (printOutputable)
+import           Ide.Types
+import           Language.LSP.Protocol.Types             (DocumentSymbol (..),
+                                                 DocumentSymbolParams (DocumentSymbolParams, _textDocument),
+                                                 SymbolKind (..),
+                                                 TextDocumentIdentifier (TextDocumentIdentifier),
+                                                 type (|?) (InL, InR), uriToFilePath, mkRange, SymbolInformation (_deprecated))
+import Language.LSP.Protocol.Message
+    ( Method(Method_TextDocumentDocumentSymbol) )
+
+import qualified Data.Text                      as T
+
+moduleOutline :: PluginMethodHandler IdeState Method_TextDocumentDocumentSymbol
+moduleOutline ideState _ DocumentSymbolParams{ _textDocument = TextDocumentIdentifier uri }
+  = liftIO $ case uriToFilePath uri of
+    Just (toNormalizedFilePath' -> fp) -> pure $ InR (InL [DocumentSymbol {_name="hello!"
+                                                                          ,_detail=Nothing
+                                                                          ,_kind=SymbolKind_Module
+                                                                          ,_tags=Nothing
+                                                                          ,_range=mkRange 1 0 1 11
+                                                                          ,_deprecated=Nothing
+                                                                          ,_selectionRange=mkRange 1 0 1 11
+                                                                          ,_children=Nothing}])
+    Nothing -> pure $ InL []