Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
addTypeInfos :: LHsBinds Id -> Ann Module (Dom Name) RangeStage -> Ghc (Ann Module IdDom RangeStage) Source #
createModuleInfo :: ModSummary -> Trf (ModuleInfo Name) Source #
trfModule :: ModSummary -> Located (HsModule RdrName) -> Trf (Ann Module (Dom RdrName) RangeStage) Source #
trfModuleRename :: ModSummary -> Ann Module (Dom RdrName) RangeStage -> (HsGroup Name, [LImportDecl Name], Maybe [LIE Name], Maybe LHsDocString) -> Located (HsModule RdrName) -> Trf (Ann Module (Dom Name) RangeStage) Source #
loadSplices :: ModSummary -> HsModule RdrName -> HsGroup Name -> Trf a -> Trf a Source #
trfModuleHead :: TransformName n r => Maybe (Located ModuleName) -> Maybe (Located [LIE n]) -> Maybe (Located WarningTxt) -> Trf (AnnMaybe ModuleHead (Dom r) RangeStage) Source #
trfFilePragmas :: Trf (AnnList FilePragma (Dom r) RangeStage) Source #
trfLanguagePragma :: Located String -> Trf (Ann FilePragma (Dom r) RangeStage) Source #
trfOptionsPragma :: Located String -> Trf (Ann FilePragma (Dom r) RangeStage) Source #
trfModulePragma :: Maybe (Located WarningTxt) -> Trf (AnnMaybe ModulePragma (Dom r) RangeStage) Source #
trfText' :: StringLiteral -> Trf (StringNode (Dom r) RangeStage) Source #
trfExportList :: TransformName n r => SrcLoc -> Maybe (Located [LIE n]) -> Trf (AnnMaybe ExportSpecList (Dom r) RangeStage) Source #
trfExportList' :: TransformName n r => [LIE n] -> Trf (ExportSpecList (Dom r) RangeStage) Source #
trfExport :: TransformName n r => LIE n -> Trf (Maybe (Ann ExportSpec (Dom r) RangeStage)) Source #
trfImports :: TransformName n r => [LImportDecl n] -> Trf (AnnList ImportDecl (Dom r) RangeStage) Source #
trfImport :: TransformName n r => LImportDecl n -> Trf (Ann ImportDecl (Dom r) RangeStage) Source #
trfImportSpecs :: TransformName n r => Maybe (Bool, Located [LIE n]) -> Trf (AnnMaybe ImportSpec (Dom r) RangeStage) Source #
trfIESpec' :: TransformName n r => IE n -> Trf (Maybe (IESpec (Dom r) RangeStage)) Source #