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 -> UnitId
hsComponentId :: UnitId
    }
instance Outputable HsComponentId where
    ppr :: HsComponentId -> SDoc
ppr (HsComponentId PackageName
_pn UnitId
cid) = UnitId -> SDoc
forall a. Outputable a => a -> SDoc
ppr UnitId
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) (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