Language.Haskell.Tools.AST.FromGHC.Modules

Functions that convert the module-related elements (modules, imports, exports) of the GHC AST to corresponding elements in the Haskell-tools AST representation Also contains the entry point of the transformation that collects the information from different GHC AST representations.

Documentation

createModuleInfo :: ModSummary -> Trf (ModuleInfo Name)

trfModule :: ModSummary -> Located (HsModule RdrName) -> Trf (Ann UModule (Dom RdrName) RangeStage)

trfModuleRename :: ModSummary -> Ann UModule (Dom RdrName) RangeStage -> (HsGroup Name, [LImportDecl Name], Maybe [LIE Name], Maybe LHsDocString) -> Located (HsModule RdrName) -> Trf (Ann UModule (Dom Name) RangeStage)

loadSplices :: ModSummary -> HsModule RdrName -> HsGroup Name -> Trf a -> Trf a

trfModuleHead :: TransformName n r => Maybe (Located ModuleName) -> Maybe (Located [LIE n]) -> Maybe (Located WarningTxt) -> Trf (AnnMaybeG UModuleHead (Dom r) RangeStage)

trfFilePragmas :: Trf (AnnListG UFilePragma (Dom r) RangeStage)

trfLanguagePragma :: Located String -> Trf (Ann UFilePragma (Dom r) RangeStage)

trfOptionsPragma :: Located String -> Trf (Ann UFilePragma (Dom r) RangeStage)

trfModulePragma :: Maybe (Located WarningTxt) -> Trf (AnnMaybeG UModulePragma (Dom r) RangeStage)

trfText' :: StringLiteral -> Trf (UStringNode (Dom r) RangeStage)

trfExportList :: TransformName n r => SrcLoc -> Maybe (Located [LIE n]) -> Trf (AnnMaybeG UExportSpecs (Dom r) RangeStage)

trfExportList' :: TransformName n r => [LIE n] -> Trf (UExportSpecs (Dom r) RangeStage)

trfExport :: TransformName n r => LIE n -> Trf (Maybe (Ann UExportSpec (Dom r) RangeStage))

trfImports :: TransformName n r => [LImportDecl n] -> Trf (AnnListG UImportDecl (Dom r) RangeStage)

trfImport :: TransformName n r => LImportDecl n -> Trf (Ann UImportDecl (Dom r) RangeStage)

trfImportSpecs :: TransformName n r => Maybe (Bool, Located [LIE n]) -> Trf (AnnMaybeG UImportSpec (Dom r) RangeStage)

trfIESpec :: TransformName n r => LIE n -> Trf (Maybe (Ann UIESpec (Dom r) RangeStage))

trfIESpec' :: TransformName n r => IE n -> Trf (Maybe (UIESpec (Dom r) RangeStage))

trfModuleName :: Located ModuleName -> Trf (Ann UModuleName (Dom r) RangeStage)

trfModuleName' :: ModuleName -> Trf (UModuleName (Dom r) RangeStage)