@@ -50,7 +50,9 @@ moduleOutline _lsp ideState DocumentSymbolParams { _textDocument = TextDocumentI
5050 , _kind = SkFile
5151 , _range = Range (Position 0 0) (Position maxBound 0) -- _ltop is 0 0 0 0
5252 }
53− importSymbols = mapMaybe documentSymbolForImport hsmodImports
53+ importSymbols = maybe [] pure $
54+ documentSymbolForImportSummary
55+ (mapMaybe documentSymbolForImport hsmodImports)
5456 allSymbols = case moduleSymbol of
5557 Nothing -> importSymbols <> declSymbols
5658 Just x ->
@@ -167,6 +169,25 @@ documentSymbolForDecl (L l (ForD x)) = Just
167169
168170documentSymbolForDecl _ = Nothing
169171
172+-- | Wrap the Document imports into a hierarchical outline for
173+-- a better overview of symbols in scope.
174+-- If there are no imports, then no hierarchy will be created.
175+documentSymbolForImportSummary :: [DocumentSymbol] -> Maybe DocumentSymbol
176+documentSymbolForImportSummary [] = Nothing
177+documentSymbolForImportSummary importSymbols =
178+ let
179+ -- safe because if we have no ranges then we don't take this branch
180+ mergeRanges xs = Range (minimum $ map _start xs) (maximum $ map _end xs)
181+ importRange = mergeRanges $ map (_range :: DocumentSymbol -> Range) importSymbols
182+ in
183+ Just (defDocumentSymbol empty :: DocumentSymbol)
184+ { _name = "imports"
185+ , _kind = SkModule
186+ , _children = Just (List importSymbols)
187+ , _range = importRange
188+ , _selectionRange = importRange
189+ }
190+
170191documentSymbolForImport :: Located (ImportDecl GhcPs) -> Maybe DocumentSymbol
171192documentSymbolForImport (L l ImportDecl { ideclName, ideclQualified }) = Just
172193 (defDocumentSymbol l :: DocumentSymbol)