Safe Haskell	Safe-Inferred
Language	GHC2021

ModuleMunging

Documentation

data Module Source #

Constructors

Module
Fields moduleName :: String moduleExports :: [String] moduleImports :: [ModuleImport] moduleDeclarations :: [ModuleDeclaration]

Instances

Instances details

Show Module Source #
Instance details Defined in ModuleMunging Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #
Eq Module Source #
Instance details Defined in ModuleMunging Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #

data ModuleName Source #

Constructors

ModuleNameExact String
ModuleNameFromFilePath FilePath

buildModule :: ModuleName -> ModuleFragment -> Module Source #

displayModule :: Module -> String Source #

data ModuleFragment Source #

Constructors

ModuleFragment
Fields moduleFragmentImports :: [ModuleImport] moduleFragmentDeclarations :: [ModuleDeclaration]

Instances

Instances details

Monoid ModuleFragment Source #
Instance details Defined in ModuleMunging Methods mempty :: ModuleFragment # mappend :: ModuleFragment -> ModuleFragment -> ModuleFragment # mconcat :: [ModuleFragment] -> ModuleFragment #
Semigroup ModuleFragment Source #
Instance details Defined in ModuleMunging Methods (<>) :: ModuleFragment -> ModuleFragment -> ModuleFragment # sconcat :: NonEmpty ModuleFragment -> ModuleFragment # stimes :: Integral b => b -> ModuleFragment -> ModuleFragment #
Show ModuleFragment Source #
Instance details Defined in ModuleMunging Methods showsPrec :: Int -> ModuleFragment -> ShowS # show :: ModuleFragment -> String # showList :: [ModuleFragment] -> ShowS #
Eq ModuleFragment Source #
Instance details Defined in ModuleMunging Methods (==) :: ModuleFragment -> ModuleFragment -> Bool # (/=) :: ModuleFragment -> ModuleFragment -> Bool #

newtype ModuleExport Source #

Constructors

ModuleExport String

Instances

Instances details

IsString ModuleExport Source #
Instance details Defined in ModuleMunging Methods fromString :: String -> ModuleExport #
Show ModuleExport Source #
Instance details Defined in ModuleMunging Methods showsPrec :: Int -> ModuleExport -> ShowS # show :: ModuleExport -> String # showList :: [ModuleExport] -> ShowS #
Eq ModuleExport Source #
Instance details Defined in ModuleMunging Methods (==) :: ModuleExport -> ModuleExport -> Bool # (/=) :: ModuleExport -> ModuleExport -> Bool #

data ModuleImport Source #

Constructors

ModuleImport
Fields moduleImportName :: String moduleImportStyle :: ModuleImportStyle

Instances

Instances details

Show ModuleImport Source #
Instance details Defined in ModuleMunging Methods showsPrec :: Int -> ModuleImport -> ShowS # show :: ModuleImport -> String # showList :: [ModuleImport] -> ShowS #
Eq ModuleImport Source #
Instance details Defined in ModuleMunging Methods (==) :: ModuleImport -> ModuleImport -> Bool # (/=) :: ModuleImport -> ModuleImport -> Bool #
Ord ModuleImport Source #
Instance details Defined in ModuleMunging Methods compare :: ModuleImport -> ModuleImport -> Ordering # (<) :: ModuleImport -> ModuleImport -> Bool # (<=) :: ModuleImport -> ModuleImport -> Bool # (>) :: ModuleImport -> ModuleImport -> Bool # (>=) :: ModuleImport -> ModuleImport -> Bool # max :: ModuleImport -> ModuleImport -> ModuleImport # min :: ModuleImport -> ModuleImport -> ModuleImport #

data ModuleImportStyle Source #

Constructors

ModuleImportStyleOpen
ModuleImportStyleExplicit [String]
ModuleImportStyleQualified (Maybe String)

Instances

Instances details

Show ModuleImportStyle Source #
Instance details Defined in ModuleMunging Methods showsPrec :: Int -> ModuleImportStyle -> ShowS # show :: ModuleImportStyle -> String # showList :: [ModuleImportStyle] -> ShowS #
Eq ModuleImportStyle Source #
Instance details Defined in ModuleMunging Methods (==) :: ModuleImportStyle -> ModuleImportStyle -> Bool # (/=) :: ModuleImportStyle -> ModuleImportStyle -> Bool #
Ord ModuleImportStyle Source #
Instance details Defined in ModuleMunging Methods compare :: ModuleImportStyle -> ModuleImportStyle -> Ordering # (<) :: ModuleImportStyle -> ModuleImportStyle -> Bool # (<=) :: ModuleImportStyle -> ModuleImportStyle -> Bool # (>) :: ModuleImportStyle -> ModuleImportStyle -> Bool # (>=) :: ModuleImportStyle -> ModuleImportStyle -> Bool # max :: ModuleImportStyle -> ModuleImportStyle -> ModuleImportStyle # min :: ModuleImportStyle -> ModuleImportStyle -> ModuleImportStyle #

data ModuleDeclaration Source #

Constructors

ModuleDeclaration
Fields Bool `True` to export, `False` to not export DeclName DeclBody

Instances

Instances details

Show ModuleDeclaration Source #
Instance details Defined in ModuleMunging Methods showsPrec :: Int -> ModuleDeclaration -> ShowS # show :: ModuleDeclaration -> String # showList :: [ModuleDeclaration] -> ShowS #
Eq ModuleDeclaration Source #
Instance details Defined in ModuleMunging Methods (==) :: ModuleDeclaration -> ModuleDeclaration -> Bool # (/=) :: ModuleDeclaration -> ModuleDeclaration -> Bool #

newtype DeclName Source #

Constructors

DeclName String

Instances

Instances details

IsString DeclName Source #
Instance details Defined in ModuleMunging Methods fromString :: String -> DeclName #
Show DeclName Source #
Instance details Defined in ModuleMunging Methods showsPrec :: Int -> DeclName -> ShowS # show :: DeclName -> String # showList :: [DeclName] -> ShowS #
Eq DeclName Source #
Instance details Defined in ModuleMunging Methods (==) :: DeclName -> DeclName -> Bool # (/=) :: DeclName -> DeclName -> Bool #

newtype DeclBody Source #

Constructors

DeclBody String

Instances

Instances details

IsString DeclBody Source #
Instance details Defined in ModuleMunging Methods fromString :: String -> DeclBody #
Show DeclBody Source #
Instance details Defined in ModuleMunging Methods showsPrec :: Int -> DeclBody -> ShowS # show :: DeclBody -> String # showList :: [DeclBody] -> ShowS #
Eq DeclBody Source #
Instance details Defined in ModuleMunging Methods (==) :: DeclBody -> DeclBody -> Bool # (/=) :: DeclBody -> DeclBody -> Bool #