Safe Haskell	None
Language	Haskell2010

GHC.Iface.Syntax

Contents

Binding names

Synopsis

module GHC.Iface.Type
data IfaceDecl
- = IfaceId {
  - ifName :: IfaceTopBndr
  - ifType :: IfaceType
  - ifIdDetails :: IfaceIdDetails
  - ifIdInfo :: IfaceIdInfo
  }
- | IfaceData {
  - ifName :: IfaceTopBndr
  - ifBinders :: [IfaceTyConBinder]
  - ifResKind :: IfaceType
  - ifCType :: Maybe CType
  - ifRoles :: [Role]
  - ifCtxt :: IfaceContext
  - ifCons :: IfaceConDecls
  - ifGadtSyntax :: Bool
  - ifParent :: IfaceTyConParent
  }
- | IfaceSynonym {
  - ifName :: IfaceTopBndr
  - ifRoles :: [Role]
  - ifBinders :: [IfaceTyConBinder]
  - ifResKind :: IfaceKind
  - ifSynRhs :: IfaceType
  }
- | IfaceFamily {
  - ifName :: IfaceTopBndr
  - ifResVar :: Maybe IfLclName
  - ifBinders :: [IfaceTyConBinder]
  - ifResKind :: IfaceKind
  - ifFamFlav :: IfaceFamTyConFlav
  - ifFamInj :: Injectivity
  }
- | IfaceClass {
  - ifName :: IfaceTopBndr
  - ifRoles :: [Role]
  - ifBinders :: [IfaceTyConBinder]
  - ifFDs :: [FunDep IfLclName]
  - ifBody :: IfaceClassBody
  }
- | IfaceAxiom {
  - ifName :: IfaceTopBndr
  - ifTyCon :: IfaceTyCon
  - ifRole :: Role
  - ifAxBranches :: [IfaceAxBranch]
  }
- | IfacePatSyn {
  - ifName :: IfaceTopBndr
  - ifPatIsInfix :: Bool
  - ifPatMatcher :: (IfExtName, Bool)
  - ifPatBuilder :: Maybe (IfExtName, Bool)
  - ifPatUnivBndrs :: [IfaceForAllSpecBndr]
  - ifPatExBndrs :: [IfaceForAllSpecBndr]
  - ifPatProvCtxt :: IfaceContext
  - ifPatReqCtxt :: IfaceContext
  - ifPatArgs :: [IfaceType]
  - ifPatTy :: IfaceType
  - ifFieldLabels :: [FieldLabel]
  }
data IfaceFamTyConFlav
- = IfaceDataFamilyTyCon
- | IfaceOpenSynFamilyTyCon
- | IfaceClosedSynFamilyTyCon (Maybe (IfExtName, [IfaceAxBranch]))
- | IfaceAbstractClosedSynFamilyTyCon
- | IfaceBuiltInSynFamTyCon
data IfaceClassOp = IfaceClassOp IfaceTopBndr IfaceType (Maybe (DefMethSpec IfaceType))
data IfaceAT = IfaceAT IfaceDecl (Maybe IfaceType)
data IfaceConDecl = IfCon {
- ifConName :: IfaceTopBndr
- ifConWrapper :: Bool
- ifConInfix :: Bool
- ifConExTCvs :: [IfaceBndr]
- ifConUserTvBinders :: [IfaceForAllSpecBndr]
- ifConEqSpec :: IfaceEqSpec
- ifConCtxt :: IfaceContext
- ifConArgTys :: [(IfaceMult, IfaceType)]
- ifConFields :: [FieldLabel]
- ifConStricts :: [IfaceBang]
- ifConSrcStricts :: [IfaceSrcBang]
}
data IfaceConDecls
- = IfAbstractTyCon
- | IfDataTyCon [IfaceConDecl]
- | IfNewTyCon IfaceConDecl
type IfaceEqSpec = [(IfLclName, IfaceType)]
data IfaceExpr
- = IfaceLcl IfLclName
- | IfaceExt IfExtName
- | IfaceType IfaceType
- | IfaceCo IfaceCoercion
- | IfaceTuple TupleSort [IfaceExpr]
- | IfaceLam IfaceLamBndr IfaceExpr
- | IfaceApp IfaceExpr IfaceExpr
- | IfaceCase IfaceExpr IfLclName [IfaceAlt]
- | IfaceECase IfaceExpr IfaceType
- | IfaceLet IfaceBinding IfaceExpr
- | IfaceCast IfaceExpr IfaceCoercion
- | IfaceLit Literal
- | IfaceFCall ForeignCall IfaceType
- | IfaceTick IfaceTickish IfaceExpr
data IfaceAlt = IfaceAlt IfaceConAlt [IfLclName] IfaceExpr
data IfaceLetBndr = IfLetBndr IfLclName IfaceType IfaceIdInfo IfaceJoinInfo
data IfaceJoinInfo
- = IfaceNotJoinPoint
- | IfaceJoinPoint JoinArity
data IfaceBinding
- = IfaceNonRec IfaceLetBndr IfaceExpr
- | IfaceRec [(IfaceLetBndr, IfaceExpr)]
data IfaceConAlt
- = IfaceDefault
- | IfaceDataAlt IfExtName
- | IfaceLitAlt Literal
type IfaceIdInfo = [IfaceInfoItem]
data IfaceIdDetails
- = IfVanillaId
- | IfRecSelId (Either IfaceTyCon IfaceDecl) Bool
- | IfDFunId
data IfaceUnfolding
- = IfCoreUnfold Bool IfaceExpr
- | IfCompulsory IfaceExpr
- | IfInlineRule Arity Bool Bool IfaceExpr
- | IfDFunUnfold [IfaceBndr] [IfaceExpr]
data IfaceInfoItem
- = HsArity Arity
- | HsStrictness StrictSig
- | HsCpr CprSig
- | HsInline InlinePragma
- | HsUnfold Bool IfaceUnfolding
- | HsNoCafRefs
- | HsLevity
- | HsLFInfo IfaceLFInfo
data IfaceRule = IfaceRule {
- ifRuleName :: RuleName
- ifActivation :: Activation
- ifRuleBndrs :: [IfaceBndr]
- ifRuleHead :: IfExtName
- ifRuleArgs :: [IfaceExpr]
- ifRuleRhs :: IfaceExpr
- ifRuleAuto :: Bool
- ifRuleOrph :: IsOrphan
}
data IfaceAnnotation = IfaceAnnotation {
- ifAnnotatedTarget :: IfaceAnnTarget
- ifAnnotatedValue :: AnnPayload
}
type IfaceAnnTarget = AnnTarget OccName
data IfaceClsInst = IfaceClsInst {
- ifInstCls :: IfExtName
- ifInstTys :: [Maybe IfaceTyCon]
- ifDFun :: IfExtName
- ifOFlag :: OverlapFlag
- ifInstOrph :: IsOrphan
}
data IfaceFamInst = IfaceFamInst {
- ifFamInstFam :: IfExtName
- ifFamInstTys :: [Maybe IfaceTyCon]
- ifFamInstAxiom :: IfExtName
- ifFamInstOrph :: IsOrphan
}
data IfaceTickish
- = IfaceHpcTick Module Int
- | IfaceSCC CostCentre Bool Bool
- | IfaceSource RealSrcSpan String
data IfaceClassBody
- = IfAbstractClass
- | IfConcreteClass {
  - ifClassCtxt :: IfaceContext
  - ifATs :: [IfaceAT]
  - ifSigs :: [IfaceClassOp]
  - ifMinDef :: BooleanFormula IfLclName
  }
data IfaceBang
- = IfNoBang
- | IfStrict
- | IfUnpack
- | IfUnpackCo IfaceCoercion
data IfaceSrcBang = IfSrcBang SrcUnpackedness SrcStrictness
data SrcUnpackedness
- = SrcUnpack
- | SrcNoUnpack
- | NoSrcUnpack
data SrcStrictness
- = SrcLazy
- | SrcStrict
- | NoSrcStrict
data IfaceAxBranch = IfaceAxBranch {
- ifaxbTyVars :: [IfaceTvBndr]
- ifaxbEtaTyVars :: [IfaceTvBndr]
- ifaxbCoVars :: [IfaceIdBndr]
- ifaxbLHS :: IfaceAppArgs
- ifaxbRoles :: [Role]
- ifaxbRHS :: IfaceType
- ifaxbIncomps :: [BranchIndex]
}
data IfaceTyConParent
- = IfNoParent
- | IfDataInstance IfExtName IfaceTyCon IfaceAppArgs
data IfaceCompleteMatch = IfaceCompleteMatch [IfExtName] (Maybe IfaceTyCon)
data IfaceLFInfo
- = IfLFReEntrant !RepArity
- | IfLFThunk !Bool !Bool
- | IfLFCon !Name
- | IfLFUnknown !Bool
- | IfLFUnlifted
type IfaceTopBndr = Name
putIfaceTopBndr :: BinHandle -> IfaceTopBndr -> IO ()
getIfaceTopBndr :: BinHandle -> IO IfaceTopBndr
ifaceDeclImplicitBndrs :: IfaceDecl -> [OccName]
visibleIfConDecls :: IfaceConDecls -> [IfaceConDecl]
ifaceDeclFingerprints :: Fingerprint -> IfaceDecl -> [(OccName, Fingerprint)]
freeNamesIfDecl :: IfaceDecl -> NameSet
freeNamesIfRule :: IfaceRule -> NameSet
freeNamesIfFamInst :: IfaceFamInst -> NameSet
pprIfaceExpr :: (SDoc -> SDoc) -> IfaceExpr -> SDoc
pprIfaceDecl :: ShowSub -> IfaceDecl -> SDoc
newtype AltPpr = AltPpr (Maybe (OccName -> SDoc))
data ShowSub = ShowSub {
- ss_how_much :: ShowHowMuch
- ss_forall :: ShowForAllFlag
}
data ShowHowMuch
- = ShowHeader AltPpr
- | ShowSome [OccName] AltPpr
- | ShowIface
showToIface :: ShowSub
showToHeader :: ShowSub

Documentation

module GHC.Iface.Type

data IfaceDecl Source #

Constructors

IfaceId
Fields ifName :: IfaceTopBndr ifType :: IfaceType ifIdDetails :: IfaceIdDetails ifIdInfo :: IfaceIdInfo
IfaceData
Fields ifName :: IfaceTopBndr ifBinders :: [IfaceTyConBinder] ifResKind :: IfaceType ifCType :: Maybe CType ifRoles :: [Role] ifCtxt :: IfaceContext ifCons :: IfaceConDecls ifGadtSyntax :: Bool ifParent :: IfaceTyConParent
IfaceSynonym
Fields ifName :: IfaceTopBndr ifRoles :: [Role] ifBinders :: [IfaceTyConBinder] ifResKind :: IfaceKind ifSynRhs :: IfaceType
IfaceFamily
Fields ifName :: IfaceTopBndr ifResVar :: Maybe IfLclName ifBinders :: [IfaceTyConBinder] ifResKind :: IfaceKind ifFamFlav :: IfaceFamTyConFlav ifFamInj :: Injectivity
IfaceClass
Fields ifName :: IfaceTopBndr ifRoles :: [Role] ifBinders :: [IfaceTyConBinder] ifFDs :: [FunDep IfLclName] ifBody :: IfaceClassBody
IfaceAxiom
Fields ifName :: IfaceTopBndr ifTyCon :: IfaceTyCon ifRole :: Role ifAxBranches :: [IfaceAxBranch]
IfacePatSyn
Fields ifName :: IfaceTopBndr ifPatIsInfix :: Bool ifPatMatcher :: (IfExtName, Bool) ifPatBuilder :: Maybe (IfExtName, Bool) ifPatUnivBndrs :: [IfaceForAllSpecBndr] ifPatExBndrs :: [IfaceForAllSpecBndr] ifPatProvCtxt :: IfaceContext ifPatReqCtxt :: IfaceContext ifPatArgs :: [IfaceType] ifPatTy :: IfaceType ifFieldLabels :: [FieldLabel]

Instances

Instances details

NFData IfaceDecl Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceDecl -> () #
HasOccName IfaceDecl Source #
Instance details Defined in GHC.Iface.Syntax Methods occName :: IfaceDecl -> OccName Source #
Outputable IfaceDecl Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceDecl -> SDoc Source #
NamedThing IfaceDecl Source #
Instance details Defined in GHC.Iface.Syntax Methods getOccName :: IfaceDecl -> OccName Source # getName :: IfaceDecl -> Name Source #
Binary IfaceDecl Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceDecl -> IO () Source # put :: BinHandle -> IfaceDecl -> IO (Bin IfaceDecl) Source # get :: BinHandle -> IO IfaceDecl Source #

data IfaceFamTyConFlav Source #

Constructors

IfaceDataFamilyTyCon
IfaceOpenSynFamilyTyCon
IfaceClosedSynFamilyTyCon (Maybe (IfExtName, [IfaceAxBranch]))	Name of associated axiom and branches for pretty printing purposes, or `Nothing` for an empty closed family without an axiom See Note [Pretty printing via Iface syntax] in GHC.Types.TyThing.Ppr
IfaceAbstractClosedSynFamilyTyCon
IfaceBuiltInSynFamTyCon

Instances

Instances details

NFData IfaceFamTyConFlav Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceFamTyConFlav -> () #
Binary IfaceFamTyConFlav Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceFamTyConFlav -> IO () Source # put :: BinHandle -> IfaceFamTyConFlav -> IO (Bin IfaceFamTyConFlav) Source # get :: BinHandle -> IO IfaceFamTyConFlav Source #

data IfaceClassOp Source #

Constructors

IfaceClassOp IfaceTopBndr IfaceType (Maybe (DefMethSpec IfaceType))

Instances

Instances details

NFData IfaceClassOp Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceClassOp -> () #
HasOccName IfaceClassOp Source #
Instance details Defined in GHC.Iface.Syntax Methods occName :: IfaceClassOp -> OccName Source #
Outputable IfaceClassOp Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceClassOp -> SDoc Source #
NamedThing IfaceClassOp Source #
Instance details Defined in GHC.Iface.Syntax Methods getOccName :: IfaceClassOp -> OccName Source # getName :: IfaceClassOp -> Name Source #
Binary IfaceClassOp Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceClassOp -> IO () Source # put :: BinHandle -> IfaceClassOp -> IO (Bin IfaceClassOp) Source # get :: BinHandle -> IO IfaceClassOp Source #

data IfaceAT Source #

Constructors

IfaceAT IfaceDecl (Maybe IfaceType)

Instances

Instances details

NFData IfaceAT Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceAT -> () #
Outputable IfaceAT Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceAT -> SDoc Source #
Binary IfaceAT Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceAT -> IO () Source # put :: BinHandle -> IfaceAT -> IO (Bin IfaceAT) Source # get :: BinHandle -> IO IfaceAT Source #

data IfaceConDecl Source #

Constructors

IfCon
Fields ifConName :: IfaceTopBndr ifConWrapper :: Bool ifConInfix :: Bool ifConExTCvs :: [IfaceBndr] ifConUserTvBinders :: [IfaceForAllSpecBndr] ifConEqSpec :: IfaceEqSpec ifConCtxt :: IfaceContext ifConArgTys :: [(IfaceMult, IfaceType)] ifConFields :: [FieldLabel] ifConStricts :: [IfaceBang] ifConSrcStricts :: [IfaceSrcBang]

Instances

Instances details

NFData IfaceConDecl Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceConDecl -> () #
HasOccName IfaceConDecl Source #
Instance details Defined in GHC.Iface.Syntax Methods occName :: IfaceConDecl -> OccName Source #
NamedThing IfaceConDecl Source #
Instance details Defined in GHC.Iface.Syntax Methods getOccName :: IfaceConDecl -> OccName Source # getName :: IfaceConDecl -> Name Source #
Binary IfaceConDecl Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceConDecl -> IO () Source # put :: BinHandle -> IfaceConDecl -> IO (Bin IfaceConDecl) Source # get :: BinHandle -> IO IfaceConDecl Source #

data IfaceConDecls Source #

Constructors

IfAbstractTyCon
IfDataTyCon [IfaceConDecl]
IfNewTyCon IfaceConDecl

Instances

Instances details

NFData IfaceConDecls Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceConDecls -> () #
Binary IfaceConDecls Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceConDecls -> IO () Source # put :: BinHandle -> IfaceConDecls -> IO (Bin IfaceConDecls) Source # get :: BinHandle -> IO IfaceConDecls Source #

type IfaceEqSpec = [(IfLclName, IfaceType)] Source #

data IfaceExpr Source #

Instances

Instances details

NFData IfaceExpr Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceExpr -> () #
Outputable IfaceExpr Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceExpr -> SDoc Source #
Binary IfaceExpr Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceExpr -> IO () Source # put :: BinHandle -> IfaceExpr -> IO (Bin IfaceExpr) Source # get :: BinHandle -> IO IfaceExpr Source #

data IfaceAlt Source #

Constructors

IfaceAlt IfaceConAlt [IfLclName] IfaceExpr

Instances

Instances details

NFData IfaceAlt Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceAlt -> () #
Binary IfaceAlt Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceAlt -> IO () Source # put :: BinHandle -> IfaceAlt -> IO (Bin IfaceAlt) Source # get :: BinHandle -> IO IfaceAlt Source #

data IfaceLetBndr Source #

Constructors

IfLetBndr IfLclName IfaceType IfaceIdInfo IfaceJoinInfo

Instances

Instances details

NFData IfaceLetBndr Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceLetBndr -> () #
Binary IfaceLetBndr Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceLetBndr -> IO () Source # put :: BinHandle -> IfaceLetBndr -> IO (Bin IfaceLetBndr) Source # get :: BinHandle -> IO IfaceLetBndr Source #

data IfaceJoinInfo Source #

Constructors

IfaceNotJoinPoint
IfaceJoinPoint JoinArity

Instances

Instances details

NFData IfaceJoinInfo Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceJoinInfo -> () #
Outputable IfaceJoinInfo Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceJoinInfo -> SDoc Source #
Binary IfaceJoinInfo Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceJoinInfo -> IO () Source # put :: BinHandle -> IfaceJoinInfo -> IO (Bin IfaceJoinInfo) Source # get :: BinHandle -> IO IfaceJoinInfo Source #

data IfaceBinding Source #

Constructors

IfaceNonRec IfaceLetBndr IfaceExpr
IfaceRec [(IfaceLetBndr, IfaceExpr)]

Instances

Instances details

NFData IfaceBinding Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceBinding -> () #
Binary IfaceBinding Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceBinding -> IO () Source # put :: BinHandle -> IfaceBinding -> IO (Bin IfaceBinding) Source # get :: BinHandle -> IO IfaceBinding Source #

data IfaceConAlt Source #

Constructors

IfaceDefault
IfaceDataAlt IfExtName
IfaceLitAlt Literal

Instances

Instances details

NFData IfaceConAlt Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceConAlt -> () #
Outputable IfaceConAlt Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceConAlt -> SDoc Source #
Binary IfaceConAlt Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceConAlt -> IO () Source # put :: BinHandle -> IfaceConAlt -> IO (Bin IfaceConAlt) Source # get :: BinHandle -> IO IfaceConAlt Source #

type IfaceIdInfo = [IfaceInfoItem] Source #

data IfaceIdDetails Source #

Constructors

IfVanillaId
IfRecSelId (Either IfaceTyCon IfaceDecl) Bool
IfDFunId

Instances

Instances details

NFData IfaceIdDetails Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceIdDetails -> () #
Outputable IfaceIdDetails Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceIdDetails -> SDoc Source #
Binary IfaceIdDetails Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceIdDetails -> IO () Source # put :: BinHandle -> IfaceIdDetails -> IO (Bin IfaceIdDetails) Source # get :: BinHandle -> IO IfaceIdDetails Source #

data IfaceUnfolding Source #

Constructors

IfCoreUnfold Bool IfaceExpr
IfCompulsory IfaceExpr
IfInlineRule Arity Bool Bool IfaceExpr
IfDFunUnfold [IfaceBndr] [IfaceExpr]

Instances

Instances details

NFData IfaceUnfolding Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceUnfolding -> () #
Outputable IfaceUnfolding Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceUnfolding -> SDoc Source #
Binary IfaceUnfolding Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceUnfolding -> IO () Source # put :: BinHandle -> IfaceUnfolding -> IO (Bin IfaceUnfolding) Source # get :: BinHandle -> IO IfaceUnfolding Source #

data IfaceInfoItem Source #

Constructors

HsArity Arity
HsStrictness StrictSig
HsCpr CprSig
HsInline InlinePragma
HsUnfold Bool IfaceUnfolding
HsNoCafRefs
HsLevity
HsLFInfo IfaceLFInfo

Instances

Instances details

NFData IfaceInfoItem Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceInfoItem -> () #
Outputable IfaceInfoItem Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceInfoItem -> SDoc Source #
Binary IfaceInfoItem Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceInfoItem -> IO () Source # put :: BinHandle -> IfaceInfoItem -> IO (Bin IfaceInfoItem) Source # get :: BinHandle -> IO IfaceInfoItem Source #

data IfaceRule Source #

Constructors

IfaceRule
Fields ifRuleName :: RuleName ifActivation :: Activation ifRuleBndrs :: [IfaceBndr] ifRuleHead :: IfExtName ifRuleArgs :: [IfaceExpr] ifRuleRhs :: IfaceExpr ifRuleAuto :: Bool ifRuleOrph :: IsOrphan

Instances

Instances details

NFData IfaceRule Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceRule -> () #
Outputable IfaceRule Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceRule -> SDoc Source #
Binary IfaceRule Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceRule -> IO () Source # put :: BinHandle -> IfaceRule -> IO (Bin IfaceRule) Source # get :: BinHandle -> IO IfaceRule Source #

data IfaceAnnotation Source #

Constructors

IfaceAnnotation
Fields ifAnnotatedTarget :: IfaceAnnTarget ifAnnotatedValue :: AnnPayload

Instances

Instances details

NFData IfaceAnnotation Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceAnnotation -> () #
Outputable IfaceAnnotation Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceAnnotation -> SDoc Source #
Binary IfaceAnnotation Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceAnnotation -> IO () Source # put :: BinHandle -> IfaceAnnotation -> IO (Bin IfaceAnnotation) Source # get :: BinHandle -> IO IfaceAnnotation Source #

type IfaceAnnTarget = AnnTarget OccName Source #

data IfaceClsInst Source #

Constructors

IfaceClsInst
Fields ifInstCls :: IfExtName ifInstTys :: [Maybe IfaceTyCon] ifDFun :: IfExtName ifOFlag :: OverlapFlag ifInstOrph :: IsOrphan

Instances

Instances details

NFData IfaceClsInst Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceClsInst -> () #
Outputable IfaceClsInst Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceClsInst -> SDoc Source #
Binary IfaceClsInst Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceClsInst -> IO () Source # put :: BinHandle -> IfaceClsInst -> IO (Bin IfaceClsInst) Source # get :: BinHandle -> IO IfaceClsInst Source #

data IfaceFamInst Source #

Constructors

IfaceFamInst
Fields ifFamInstFam :: IfExtName ifFamInstTys :: [Maybe IfaceTyCon] ifFamInstAxiom :: IfExtName ifFamInstOrph :: IsOrphan

Instances

Instances details

NFData IfaceFamInst Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceFamInst -> () #
Outputable IfaceFamInst Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceFamInst -> SDoc Source #
Binary IfaceFamInst Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceFamInst -> IO () Source # put :: BinHandle -> IfaceFamInst -> IO (Bin IfaceFamInst) Source # get :: BinHandle -> IO IfaceFamInst Source #

data IfaceTickish Source #

Constructors

IfaceHpcTick Module Int
IfaceSCC CostCentre Bool Bool
IfaceSource RealSrcSpan String

Instances

Instances details

NFData IfaceTickish Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceTickish -> () #
Binary IfaceTickish Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceTickish -> IO () Source # put :: BinHandle -> IfaceTickish -> IO (Bin IfaceTickish) Source # get :: BinHandle -> IO IfaceTickish Source #

data IfaceClassBody Source #

Constructors

IfAbstractClass
IfConcreteClass
Fields ifClassCtxt :: IfaceContext ifATs :: [IfaceAT] ifSigs :: [IfaceClassOp] ifMinDef :: BooleanFormula IfLclName

Instances

Instances details

NFData IfaceClassBody Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceClassBody -> () #

data IfaceBang Source #

This corresponds to an HsImplBang; that is, the final implementation decision about the data constructor arg

Constructors

IfNoBang
IfStrict
IfUnpack
IfUnpackCo IfaceCoercion

Instances

Instances details

NFData IfaceBang Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceBang -> () #
Binary IfaceBang Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceBang -> IO () Source # put :: BinHandle -> IfaceBang -> IO (Bin IfaceBang) Source # get :: BinHandle -> IO IfaceBang Source #

data IfaceSrcBang Source #

This corresponds to HsSrcBang

Constructors

IfSrcBang SrcUnpackedness SrcStrictness

Instances

Instances details

NFData IfaceSrcBang Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceSrcBang -> () #
Binary IfaceSrcBang Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceSrcBang -> IO () Source # put :: BinHandle -> IfaceSrcBang -> IO (Bin IfaceSrcBang) Source # get :: BinHandle -> IO IfaceSrcBang Source #

data SrcUnpackedness Source #

Source Unpackedness

What unpackedness the user requested

Constructors

SrcUnpack	{--} specified
SrcNoUnpack	{--} specified
NoSrcUnpack	no unpack pragma

Instances

Instances details

Eq SrcUnpackedness Source #
Instance details Defined in GHC.Core.DataCon Methods (==) :: SrcUnpackedness -> SrcUnpackedness -> Bool # (/=) :: SrcUnpackedness -> SrcUnpackedness -> Bool #
Data SrcUnpackedness Source #
Instance details Defined in GHC.Core.DataCon Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcUnpackedness -> c SrcUnpackedness # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcUnpackedness # toConstr :: SrcUnpackedness -> Constr # dataTypeOf :: SrcUnpackedness -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SrcUnpackedness) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcUnpackedness) # gmapT :: (forall b. Data b => b -> b) -> SrcUnpackedness -> SrcUnpackedness # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcUnpackedness -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcUnpackedness -> r # gmapQ :: (forall d. Data d => d -> u) -> SrcUnpackedness -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcUnpackedness -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcUnpackedness -> m SrcUnpackedness # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcUnpackedness -> m SrcUnpackedness # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcUnpackedness -> m SrcUnpackedness #
Outputable SrcUnpackedness Source #
Instance details Defined in GHC.Core.DataCon Methods ppr :: SrcUnpackedness -> SDoc Source #
Binary SrcUnpackedness Source #
Instance details Defined in GHC.Core.DataCon Methods put_ :: BinHandle -> SrcUnpackedness -> IO () Source # put :: BinHandle -> SrcUnpackedness -> IO (Bin SrcUnpackedness) Source # get :: BinHandle -> IO SrcUnpackedness Source #

data SrcStrictness Source #

Source Strictness

What strictness annotation the user wrote

Constructors

SrcLazy	Lazy, ie '~'
SrcStrict	Strict, ie `!`
NoSrcStrict	no strictness annotation

Instances

Instances details

Eq SrcStrictness Source #
Instance details Defined in GHC.Core.DataCon Methods (==) :: SrcStrictness -> SrcStrictness -> Bool # (/=) :: SrcStrictness -> SrcStrictness -> Bool #
Data SrcStrictness Source #
Instance details Defined in GHC.Core.DataCon Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcStrictness -> c SrcStrictness # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcStrictness # toConstr :: SrcStrictness -> Constr # dataTypeOf :: SrcStrictness -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SrcStrictness) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcStrictness) # gmapT :: (forall b. Data b => b -> b) -> SrcStrictness -> SrcStrictness # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcStrictness -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcStrictness -> r # gmapQ :: (forall d. Data d => d -> u) -> SrcStrictness -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcStrictness -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcStrictness -> m SrcStrictness # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcStrictness -> m SrcStrictness # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcStrictness -> m SrcStrictness #
Outputable SrcStrictness Source #
Instance details Defined in GHC.Core.DataCon Methods ppr :: SrcStrictness -> SDoc Source #
Binary SrcStrictness Source #
Instance details Defined in GHC.Core.DataCon Methods put_ :: BinHandle -> SrcStrictness -> IO () Source # put :: BinHandle -> SrcStrictness -> IO (Bin SrcStrictness) Source # get :: BinHandle -> IO SrcStrictness Source #

data IfaceAxBranch Source #

Constructors

IfaceAxBranch
Fields ifaxbTyVars :: [IfaceTvBndr] ifaxbEtaTyVars :: [IfaceTvBndr] ifaxbCoVars :: [IfaceIdBndr] ifaxbLHS :: IfaceAppArgs ifaxbRoles :: [Role] ifaxbRHS :: IfaceType ifaxbIncomps :: [BranchIndex]

Instances

Instances details

NFData IfaceAxBranch Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceAxBranch -> () #
Binary IfaceAxBranch Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceAxBranch -> IO () Source # put :: BinHandle -> IfaceAxBranch -> IO (Bin IfaceAxBranch) Source # get :: BinHandle -> IO IfaceAxBranch Source #

data IfaceTyConParent Source #

Constructors

IfNoParent
IfDataInstance IfExtName IfaceTyCon IfaceAppArgs

Instances

Instances details

NFData IfaceTyConParent Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceTyConParent -> () #
Outputable IfaceTyConParent Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceTyConParent -> SDoc Source #
Binary IfaceTyConParent Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceTyConParent -> IO () Source # put :: BinHandle -> IfaceTyConParent -> IO (Bin IfaceTyConParent) Source # get :: BinHandle -> IO IfaceTyConParent Source #

data IfaceCompleteMatch Source #

Constructors

IfaceCompleteMatch [IfExtName] (Maybe IfaceTyCon)

Instances

Instances details

NFData IfaceCompleteMatch Source #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceCompleteMatch -> () #
Outputable IfaceCompleteMatch Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceCompleteMatch -> SDoc Source #
Binary IfaceCompleteMatch Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceCompleteMatch -> IO () Source # put :: BinHandle -> IfaceCompleteMatch -> IO (Bin IfaceCompleteMatch) Source # get :: BinHandle -> IO IfaceCompleteMatch Source #

data IfaceLFInfo Source #

Iface type for LambdaFormInfo. Fields not relevant for imported Ids are omitted in this type.

Constructors

IfLFReEntrant !RepArity
IfLFThunk !Bool !Bool
IfLFCon !Name
IfLFUnknown !Bool
IfLFUnlifted

Instances

Instances details

Outputable IfaceLFInfo Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceLFInfo -> SDoc Source #
Binary IfaceLFInfo Source #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: BinHandle -> IfaceLFInfo -> IO () Source # put :: BinHandle -> IfaceLFInfo -> IO (Bin IfaceLFInfo) Source # get :: BinHandle -> IO IfaceLFInfo Source #

Binding names

type IfaceTopBndr = Name Source #

A binding top-level Name in an interface file (e.g. the name of an IfaceDecl).

putIfaceTopBndr :: BinHandle -> IfaceTopBndr -> IO () Source #

getIfaceTopBndr :: BinHandle -> IO IfaceTopBndr Source #

ifaceDeclImplicitBndrs :: IfaceDecl -> [OccName] Source #

visibleIfConDecls :: IfaceConDecls -> [IfaceConDecl] Source #

ifaceDeclFingerprints :: Fingerprint -> IfaceDecl -> [(OccName, Fingerprint)] Source #

freeNamesIfDecl :: IfaceDecl -> NameSet Source #

freeNamesIfRule :: IfaceRule -> NameSet Source #

freeNamesIfFamInst :: IfaceFamInst -> NameSet Source #

pprIfaceExpr :: (SDoc -> SDoc) -> IfaceExpr -> SDoc Source #

Pretty Print an IfaceExpr

The first argument should be a function that adds parens in context that need an atomic value (e.g. function args)

pprIfaceDecl :: ShowSub -> IfaceDecl -> SDoc Source #

newtype AltPpr Source #

Constructors

AltPpr (Maybe (OccName -> SDoc))

data ShowSub Source #

Constructors

ShowSub
Fields ss_how_much :: ShowHowMuch ss_forall :: ShowForAllFlag

data ShowHowMuch Source #

Constructors

ShowHeader AltPpr

Header information only, not rhs

ShowSome [OccName] AltPpr

Show only some sub-components. Specifically,

[]: Print all sub-components.
(n:ns): Print sub-component n with ShowSub = ns; elide other sub-components to ... May 14: the list is max 1 element long at the moment

ShowIface

Everything including GHC-internal information (used in --show-iface)

Instances

Instances details

Outputable ShowHowMuch Source #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: ShowHowMuch -> SDoc Source #

showToIface :: ShowSub Source #

showToHeader :: ShowSub Source #

IfaceLcl IfLclName
IfaceExt IfExtName
IfaceType IfaceType
IfaceCo IfaceCoercion
IfaceTuple TupleSort [IfaceExpr]
IfaceLam IfaceLamBndr IfaceExpr
IfaceApp IfaceExpr IfaceExpr
IfaceCase IfaceExpr IfLclName [IfaceAlt]
IfaceECase IfaceExpr IfaceType
IfaceLet IfaceBinding IfaceExpr
IfaceCast IfaceExpr IfaceCoercion
IfaceLit Literal
IfaceFCall ForeignCall IfaceType
IfaceTick IfaceTickish IfaceExpr