module GHC.Driver.Backpack.Syntax (
HsUnitId(..),
LHsUnitId,
HsModuleSubst,
LHsModuleSubst,
HsModuleId(..),
LHsModuleId,
HsComponentId(..),
LHsUnit, HsUnit(..),
LHsUnitDecl, HsUnitDecl(..),
IncludeDecl(..),
LRenaming, Renaming(..),
) where
import GHC.Prelude
import GHC.Hs
import GHC.Types.SrcLoc
import GHC.Types.SourceFile
import GHC.Unit.Module.Name
import GHC.Unit.Types
import GHC.Unit.Info
import GHC.Utils.Outputable
data HsComponentId = HsComponentId {
HsComponentId -> PackageName
hsPackageName :: PackageName,
HsComponentId -> IndefUnitId
hsComponentId :: IndefUnitId
}
instance Outputable HsComponentId where
ppr :: HsComponentId -> SDoc
ppr (HsComponentId PackageName
_pn IndefUnitId
cid) = forall a. Outputable a => a -> SDoc
ppr IndefUnitId
cid
data HsUnitId n = HsUnitId (Located n) [LHsModuleSubst n]
type LHsUnitId n = Located (HsUnitId n)
type HsModuleSubst n = (Located ModuleName, LHsModuleId n)
type LHsModuleSubst n = Located (HsModuleSubst n)
data HsModuleId n = HsModuleVar (Located ModuleName)
| HsModuleId (LHsUnitId n) (Located ModuleName)
type LHsModuleId n = Located (HsModuleId n)
data HsUnit n = HsUnit {
forall n. HsUnit n -> Located n
hsunitName :: Located n,
forall n. HsUnit n -> [LHsUnitDecl n]
hsunitBody :: [LHsUnitDecl n]
}
type LHsUnit n = Located (HsUnit n)
data HsUnitDecl n
= DeclD HscSource (Located ModuleName) (Maybe (Located HsModule))
| IncludeD (IncludeDecl n)
type LHsUnitDecl n = Located (HsUnitDecl n)
data IncludeDecl n = IncludeDecl {
forall n. IncludeDecl n -> LHsUnitId n
idUnitId :: LHsUnitId n,
forall n. IncludeDecl n -> Maybe [LRenaming]
idModRenaming :: Maybe [ LRenaming ],
forall n. IncludeDecl n -> Bool
idSignatureInclude :: Bool
}
data Renaming = Renaming { Renaming -> Located ModuleName
renameFrom :: Located ModuleName
, Renaming -> Maybe (Located ModuleName)
renameTo :: Maybe (Located ModuleName) }
type LRenaming = Located Renaming