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
trfModule :: ModSummary -> Located (HsModule RdrName) -> Trf (Ann UModule (Dom RdrName) RangeStage) Source #
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) Source #
trfModuleHead :: TransformName n r => Maybe (Located ModuleName) -> Maybe (Located [LIE n]) -> Maybe (Located WarningTxt) -> Trf (AnnMaybeG UModuleHead (Dom r) RangeStage) Source #
trfFilePragmas :: Trf (AnnListG UFilePragma (Dom r) RangeStage) Source #
trfLanguagePragma :: Located String -> Trf (Ann UFilePragma (Dom r) RangeStage) Source #
trfOptionsPragma :: Located String -> Trf (Ann UFilePragma (Dom r) RangeStage) Source #
trfModulePragma :: SrcLoc -> Maybe (Located WarningTxt) -> Trf (AnnMaybeG UModulePragma (Dom r) RangeStage) Source #
trfText' :: StringLiteral -> Trf (UStringNode (Dom r) RangeStage) Source #
trfExportList :: TransformName n r => Trf SrcLoc -> Maybe (Located [LIE n]) -> Trf (AnnMaybeG UExportSpecs (Dom r) RangeStage) Source #
trfExportList' :: TransformName n r => [LIE n] -> Trf (UExportSpecs (Dom r) RangeStage) Source #
trfExport :: TransformName n r => LIE n -> Trf (Maybe (Ann UExportSpec (Dom r) RangeStage)) Source #
trfImports :: TransformName n r => [LImportDecl n] -> Trf (AnnListG UImportDecl (Dom r) RangeStage) Source #
trfImport :: TransformName n r => LImportDecl n -> Trf (Ann UImportDecl (Dom r) RangeStage) Source #
trfImportSpecs :: TransformName n r => Maybe (Bool, Located [LIE n]) -> Trf (AnnMaybeG UImportSpec (Dom r) RangeStage) Source #
trfIESpec :: TransformName n r => LIE n -> Trf (Maybe (Ann UIESpec (Dom r) RangeStage)) Source #
trfIESpec' :: TransformName n r => IE n -> Trf (Maybe (UIESpec (Dom r) RangeStage)) Source #
trfImportModifier :: Trf (AnnMaybeG UImportModifier (Dom r) RangeStage) Source #
trfModuleName :: Located ModuleName -> Trf (Ann UModuleName (Dom r) RangeStage) Source #
trfModuleName' :: ModuleName -> Trf (UModuleName (Dom r) RangeStage) Source #