GHC.Driver.Backpack.Syntax
This is the syntax for bkp files which are parsed in 'ghc --backpack' mode. This syntax is used purely for testing purposes.
Backpack abstract syntax
type HsModuleSubst n = (Located ModuleName, LHsModuleId n) Source #
type LHsModuleSubst n = Located (HsModuleSubst n) Source #
data HsModuleId n Source #
Constructors
| HsModuleVar (Located ModuleName) | |
| HsModuleId (LHsUnitId n) (Located ModuleName) |
type LHsModuleId n = Located (HsModuleId n) Source #
data HsComponentId Source #
Constructors
| HsComponentId | |
Fields | |
Instances
| Outputable HsComponentId Source # | |
Defined in GHC.Driver.Backpack.Syntax Methods ppr :: HsComponentId -> SDoc Source # | |
Top level unit declaration in a Backpack file.
Constructors
| HsUnit | |
Fields
| |
type LHsUnitDecl n = Located (HsUnitDecl n) Source #
data HsUnitDecl n Source #
A declaration in a package, e.g. a module or signature definition, or an include.
Constructors
| DeclD HscSource (Located ModuleName) (Located HsModule) | |
| IncludeD (IncludeDecl n) |
data IncludeDecl n Source #
An include of another unit
Constructors
| IncludeDecl | |
Fields
| |
Rename a module from one name to another. The identity renaming means that the module should be brought into scope.
Constructors
| Renaming | |
Fields | |