{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
module Ormolu.Printer.Meat.Module
( p_hsModule,
)
where
import Control.Monad
import qualified Data.Text as T
import GHC
import Ormolu.Imports
import Ormolu.Parser.Pragma
import Ormolu.Printer.Combinators
import Ormolu.Printer.Comments
import Ormolu.Printer.Meat.Common
import Ormolu.Printer.Meat.Declaration
import Ormolu.Printer.Meat.Declaration.Warning
import Ormolu.Printer.Meat.ImportExport
import Ormolu.Printer.Meat.Pragma
p_hsModule ::
[Located String] ->
[Pragma] ->
Bool ->
ParsedSource ->
R ()
p_hsModule shebangs pragmas qualifiedPost (L moduleSpan HsModule {..}) = do
let exportSpans = maybe [] (\(L s _) -> [s]) hsmodExports
deprecSpan = maybe [] (\(L s _) -> [s]) hsmodDeprecMessage
spans' = exportSpans ++ deprecSpan ++ [moduleSpan]
switchLayout spans' $ do
forM_ shebangs $ \x ->
located x $ \shebang -> do
txt (T.pack shebang)
newline
spitStackHeader
newline
p_pragmas pragmas
newline
case hsmodName of
Nothing -> return ()
Just hsmodName' -> do
located hsmodName' $ \name -> do
forM_ hsmodHaddockModHeader (p_hsDocString Pipe True)
p_hsmodName name
forM_ hsmodDeprecMessage $ \w -> do
breakpoint
located' p_moduleWarning w
case hsmodExports of
Nothing -> return ()
Just hsmodExports' -> do
breakpoint
inci (p_hsmodExports (unLoc hsmodExports'))
breakpoint
txt "where"
newline
newline
forM_ (sortImports hsmodImports) (located' (p_hsmodImport qualifiedPost))
newline
switchLayout (getLoc <$> hsmodDecls) $ do
p_hsDecls Free hsmodDecls
newline
spitRemainingComments