BkpSyn (signature^[?])

Contents

• Backpack abstract syntax

Description

Synopsis

• 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 HsComponentId = HsComponentId {
  • hsPackageName :: PackageName
  • hsComponentId :: ComponentId
  }
• type LHsUnit n = Located (HsUnit n)
• data HsUnit n = HsUnit {
  • hsunitName :: Located n
  • hsunitBody :: [LHsUnitDecl n]
  }
• type LHsUnitDecl n = Located (HsUnitDecl n)
• data HsUnitDecl n
  • = DeclD HsDeclType (Located ModuleName) (Maybe (Located (HsModule RdrName)))
  • | IncludeD (IncludeDecl n)
• data HsDeclType
  • = ModuleD
  • | SignatureD
• data IncludeDecl n = IncludeDecl {
  • idUnitId :: LHsUnitId n
  • idModRenaming :: Maybe [LRenaming]
  • idSignatureInclude :: Bool
  }
• type LRenaming = Located Renaming
• data Renaming = Renaming {
  • renameFrom :: Located ModuleName
  • renameTo :: Maybe (Located ModuleName)
  }

Backpack abstract syntax