Moduleghc-10.0.0.20260917GHC2024

GHC.Iface.Syntax

Contents

Binding names

Synopsis

data IfaceDecl
data IfaceFamTyConFlav
data IfaceClassOp
data IfaceAT
data IfaceConDecl
data IfaceConDecls
type IfaceEqSpec
data IfaceExpr
data IfaceAlt
data IfaceLetBndr
type IfaceBinding
data IfaceBindingX
data IfaceMaybeRhs
data IfaceConAlt
type IfaceIdInfo
data IfaceIdDetails
data IfaceUnfolding
data IfGuidance
data IfaceInfoItem
data IfaceRule
data IfaceAnnotation
type IfaceAnnTarget
data IfaceWarnings
data IfaceWarningTxt
data IfaceStringLiteral
data IfaceDefault
data IfaceClsInst
data IfaceFamInst
data IfaceTickish
data IfaceClassBody
data IfaceBooleanFormula
data IfaceBang
data IfaceSrcBang
data SrcUnpackedness
data SrcStrictness
data IfaceAxBranch
data IfaceTyConParent
data IfaceCompleteMatch
data IfaceLFInfo
data IfaceTopBndrInfo
data IfaceImport
value ifImpModule
data ImpIfaceList
type IfaceExport
type IfaceTopBndr
value putIfaceTopBndr
value getIfaceTopBndr
value ifaceDeclImplicitBndrs
value visibleIfConDecls
value ifaceDeclFingerprints
value fromIfaceWarnings
value fromIfaceWarningTxt
value freeNamesIfDecl
value freeNamesIfRule
value freeNamesIfFamInst
value freeNamesIfConDecls
value pprIfaceExpr
value pprIfaceDecl
newtype AltPpr
data ShowSub
data ShowHowMuch
value showToIface
value showToHeader

Packageghc-10.0.0.20260917
Exports63
LanguageGHC2024
LicenceBSD-3-Clause
SourceSyntax.hs

module GHC.Iface.Type

datadata IfaceDecl

Constructors

IfaceId
- ifName :: IfaceTopBndr
- ifType :: IfaceType
- ifIdDetails :: IfaceIdDetails
- ifIdInfo :: IfaceIdInfo
IfaceData
- ifName :: IfaceTopBndr
- ifKind :: IfaceType
- ifBinders :: [IfaceTyConBinder]
- ifNbEtaBinders :: Int
  number of binders introduced by eta-expansion
- ifResKind :: IfaceType
- ifCType :: Maybe (CType GhcTc)
- ifRoles :: [Role]
- ifCtxt :: IfaceContext
- ifCons :: IfaceConDecls
- ifGadtSyntax :: Bool
- ifParent :: IfaceTyConParent
IfaceSynonym
- ifName :: IfaceTopBndr
- ifKind :: IfaceType
- ifRoles :: [Role]
- ifBinders :: [IfaceTyConBinder]
- ifResKind :: IfaceKind
- ifSynRhs :: IfaceType
IfaceFamily
- ifName :: IfaceTopBndr
- ifKind :: IfaceType
- ifResVar :: Maybe IfLclName
- ifBinders :: [IfaceTyConBinder]
- ifNbEtaBinders :: Int
  number of binders introduced by eta-expansion
- ifResKind :: IfaceKind
- ifFamFlav :: IfaceFamTyConFlav
- ifFamInj :: Injectivity
IfaceClass
- ifName :: IfaceTopBndr
- ifKind :: IfaceType
- 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]

Instances5NFData, NamedThing, Outputable, Binary, HasOccName

NFData IfaceDeclDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
NamedThing IfaceDeclDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceDeclDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceDeclDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
HasOccName IfaceDeclDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceFamTyConFlav

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

Instances2NFData, Binary

NFData IfaceFamTyConFlavDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceFamTyConFlavDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceClassOp

Constructors

IfaceClassOp IfaceTopBndr IfaceType (Maybe (DefMethSpec IfaceType))

Instances5NFData, NamedThing, Outputable, Binary, HasOccName

NFData IfaceClassOpDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
NamedThing IfaceClassOpDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceClassOpDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceClassOpDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
HasOccName IfaceClassOpDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceAT

Constructors

IfaceAT IfaceDecl (Maybe IfaceType)

Instances3NFData, Outputable, Binary

NFData IfaceATDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceATDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceATDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceConDecl

Constructors

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

Instances4NFData, NamedThing, Binary, HasOccName

NFData IfaceConDeclDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
NamedThing IfaceConDeclDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceConDeclDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
HasOccName IfaceConDeclDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceConDecls

Instances2NFData, Binary

NFData IfaceConDeclsDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceConDeclsDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

typetype IfaceEqSpec = [(IfLclName, IfaceType)]

datadata IfaceExpr

Instances3NFData, Outputable, Binary

NFData IfaceExprDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceExprDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceExprDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceAlt

Constructors

IfaceAlt IfaceConAlt [IfLclName] IfaceExpr

Instances2NFData, Binary

NFData IfaceAltDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceAltDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceLetBndr

Constructors

IfLetBndr IfLclName IfaceType IfaceIdInfo JoinPointHood

Instances2NFData, Binary

NFData IfaceLetBndrDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceLetBndrDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

typetype IfaceBinding b = IfaceBindingX IfaceExpr b

datadata IfaceBindingX r b

Constructors

IfaceNonRec b r
IfaceRec [(b, r)]

Instances8Functor, Foldable, Traversable, Eq, Ord, NFData, …

Functor (IfaceBindingX r)Defined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Foldable (IfaceBindingX r)Defined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Traversable (IfaceBindingX r)Defined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
(Eq b, Eq r) => Eq (IfaceBindingX r b)Defined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
(Ord b, Ord r) => Ord (IfaceBindingX r b)Defined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
(NFData b, NFData a) => NFData (IfaceBindingX a b)Defined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
(Outputable r, Outputable b) => Outputable (IfaceBindingX r b)Defined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
(Binary r, Binary b) => Binary (IfaceBindingX b r)Defined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceMaybeRhs

Constructors

IfUseUnfoldingRhs
IfRhs IfaceExpr

Instances3NFData, Outputable, Binary

NFData IfaceMaybeRhsDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceMaybeRhsDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceMaybeRhsDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceConAlt

Constructors

IfaceDefaultAlt
IfaceDataAlt IfExtName
IfaceLitAlt Literal

Instances3NFData, Outputable, Binary

NFData IfaceConAltDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceConAltDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceConAltDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

typetype IfaceIdInfo = [IfaceInfoItem]

datadata IfaceIdDetails

Constructors

IfVanillaId
IfWorkerLikeId [CbvMark]
IfRecSelId
- ifRecSelIdParent :: Either IfaceTyCon IfaceDecl
- ifRecSelFirstCon :: IfaceTopBndr
- ifRecSelIdIsNaughty :: Bool
- ifRecSelIdFieldLabel :: FieldLabel
IfDFunId

Instances3NFData, Outputable, Binary

NFData IfaceIdDetailsDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceIdDetailsDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceIdDetailsDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceUnfolding

Constructors

IfCoreUnfold UnfoldingSource IfUnfoldingCache IfGuidance IfaceExpr
IfDFunUnfold [IfaceBndr] [IfaceExpr]

Instances3NFData, Outputable, Binary

NFData IfaceUnfoldingDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceUnfoldingDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceUnfoldingDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfGuidance

Constructors

IfNoGuidance
IfWhen Arity Bool Bool

Instances3NFData, Outputable, Binary

NFData IfGuidanceDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfGuidanceDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfGuidanceDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceInfoItem

Constructors

HsArity Arity
HsDmdSig DmdSig
HsCprSig CprSig
HsInline InlinePragmaInfo
HsUnfold Bool IfaceUnfolding
HsNoCafRefs
HsLFInfo IfaceLFInfo
HsTagSig TagSig

Instances3NFData, Outputable, Binary

NFData IfaceInfoItemDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceInfoItemDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceInfoItemDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceRule

Constructors

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

Instances3NFData, Outputable, Binary

NFData IfaceRuleDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceRuleDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceRuleDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceAnnotation

Constructors

IfaceAnnotation
- ifAnnotatedTarget :: IfaceAnnTarget
- ifAnnotatedValue :: AnnPayload

Instances3NFData, Outputable, Binary

NFData IfaceAnnotationDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceAnnotationDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceAnnotationDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

typetype IfaceAnnTarget = AnnTarget OccName

datadata IfaceWarnings

Constructors

IfWarnAll IfaceWarningTxt
IfWarnSome [(OccName, IfaceWarningTxt)] [(IfExtName, IfaceWarningTxt)]

Instances3NFData, Outputable, Binary

NFData IfaceWarningsDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceWarningsDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceWarningsDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceWarningTxt

Constructors

IfWarningTxt SourceText (Maybe WarningCategory) [(IfaceStringLiteral, [IfExtName])]
IfDeprecatedTxt SourceText [(IfaceStringLiteral, [IfExtName])]

Instances3NFData, Outputable, Binary

NFData IfaceWarningTxtDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceWarningTxtDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceWarningTxtDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceStringLiteral

Constructors

IfStringLiteral SourceText FastString

Instances3NFData, Outputable, Binary

NFData IfaceStringLiteralDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceStringLiteralDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceStringLiteralDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceDefault

Source#

Exported named defaults

Constructors

IfaceDefault
- ifDefaultCls :: IfExtName
- ifDefaultTys :: [IfaceType]
- ifDefaultWarn :: Maybe IfaceWarningTxt

Instances3NFData, Outputable, Binary

NFData IfaceDefaultDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceDefaultDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceDefaultDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceClsInst

Constructors

IfaceClsInst
- ifInstCls :: IfExtName
- ifInstTys :: [Maybe IfaceTyCon]
- ifDFun :: IfExtName
- ifOFlag :: OverlapFlag
- ifInstOrph :: IsOrphan
- ifInstWarn :: Maybe IfaceWarningTxt

Instances3NFData, Outputable, Binary

NFData IfaceClsInstDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceClsInstDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceClsInstDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceFamInst

Constructors

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

Instances3NFData, Outputable, Binary

NFData IfaceFamInstDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceFamInstDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceFamInstDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceTickish

Constructors

IfaceHpcTick Module Int
IfaceSCC CostCentre Bool Bool
IfaceSource RealSrcSpan FastString
IfaceBreakpoint BreakpointId [IfaceExpr]

Instances2NFData, Binary

NFData IfaceTickishDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceTickishDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceClassBody

Constructors

IfAbstractClass
IfConcreteClass
- ifClassCtxt :: IfaceContext
- ifATs :: [IfaceAT]
- ifSigs :: [IfaceClassOp]
- ifMinDef :: IfaceBooleanFormula
- ifUnary :: Bool

Instances1NFData

NFData IfaceClassBodyDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceBooleanFormula

Constructors

IfVar IfLclName
IfAnd [IfaceBooleanFormula]
IfOr [IfaceBooleanFormula]
IfParens IfaceBooleanFormula

Instances3Eq, NFData, Binary

Eq IfaceBooleanFormulaDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
NFData IfaceBooleanFormulaDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceBooleanFormulaDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceBang

Source#

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

Constructors

IfNoBang
IfStrict
IfUnpack
IfUnpackCo IfaceCoercion

Instances2NFData, Binary

NFData IfaceBangDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceBangDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceSrcBang

Source#

This corresponds to HsSrcBang

Constructors

IfSrcBang SrcUnpackedness SrcStrictness

Instances2NFData, Binary

NFData IfaceSrcBangDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceSrcBangDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata SrcUnpackedness

Source#

Source Unpackedness

What unpackedness the user requested

Constructors

SrcUnpack
{-# UNPACK #-} specified
SrcNoUnpack
{-# NOUNPACK #-} specified
NoSrcUnpack
no unpack pragma

Instances5Eq, Data, NFData, Outputable, Binary

Eq SrcUnpackednessDefined in ghc-10.0.0.20260917 · Language.Haskell.Syntax.Basic
Data SrcUnpackednessDefined in ghc-10.0.0.20260917 · Language.Haskell.Syntax.Basic
NFData SrcUnpackednessDefined in ghc-10.0.0.20260917 · GHC.Core.DataCon · orphan
Outputable SrcUnpackednessDefined in ghc-10.0.0.20260917 · GHC.Core.DataCon · orphan
Binary SrcUnpackednessDefined in ghc-10.0.0.20260917 · GHC.Core.DataCon · orphan

datadata SrcStrictness

Source#

Source Strictness

What strictness annotation the user wrote

Constructors

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

Instances5Eq, Data, NFData, Outputable, Binary

Eq SrcStrictnessDefined in ghc-10.0.0.20260917 · Language.Haskell.Syntax.Basic
Data SrcStrictnessDefined in ghc-10.0.0.20260917 · Language.Haskell.Syntax.Basic
NFData SrcStrictnessDefined in ghc-10.0.0.20260917 · GHC.Core.DataCon · orphan
Outputable SrcStrictnessDefined in ghc-10.0.0.20260917 · GHC.Core.DataCon · orphan
Binary SrcStrictnessDefined in ghc-10.0.0.20260917 · GHC.Core.DataCon · orphan

datadata IfaceAxBranch

Constructors

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

Instances2NFData, Binary

NFData IfaceAxBranchDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceAxBranchDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceTyConParent

Constructors

Instances3NFData, Outputable, Binary

NFData IfaceTyConParentDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceTyConParentDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceTyConParentDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceCompleteMatch

Constructors

IfaceCompleteMatch [IfExtName] (Maybe IfExtName)

Instances3NFData, Outputable, Binary

NFData IfaceCompleteMatchDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceCompleteMatchDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceCompleteMatchDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata 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

Instances3NFData, Outputable, Binary

NFData IfaceLFInfoDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceLFInfoDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceLFInfoDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceTopBndrInfo

Constructors

IfLclTopBndr IfLclName IfaceType IfaceIdInfo IfaceIdDetails
IfGblTopBndr IfaceTopBndr

Instances3NFData, Outputable, Binary

NFData IfaceTopBndrInfoDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Outputable IfaceTopBndrInfoDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceTopBndrInfoDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

datadata IfaceImport

Constructors

IfaceImport ImpDeclSpec ImpIfaceList

Instances2NFData, Binary

NFData IfaceImportDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary IfaceImportDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

valueifImpModule :: IfaceImport -> Module

Source#

Extract the imported module from an IfaceImport

datadata ImpIfaceList

Constructors

ImpIfaceAll
no user import list
ImpIfaceExplicit
- iil_avails :: !DetOrdAvails
- iil_non_explicit_parents :: ![Name]
ImpIfaceEverythingBut ![Name]

Instances2NFData, Binary

NFData ImpIfaceListDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax
Binary ImpIfaceListDefined in ghc-10.0.0.20260917 · GHC.Iface.Syntax

typetype IfaceExport = AvailInfo

Binding names

typetype IfaceTopBndr = Name

Source#

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

valueputIfaceTopBndr :: WriteBinHandle -> IfaceTopBndr -> IO ()

valuegetIfaceTopBndr :: ReadBinHandle -> IO IfaceTopBndr

valueifaceDeclImplicitBndrs :: IfaceDecl -> [OccName]

valuevisibleIfConDecls :: IfaceConDecls -> [IfaceConDecl]

valueifaceDeclFingerprints

valuefromIfaceWarnings :: IfaceWarnings -> Warnings GhcRn

valuefromIfaceWarningTxt :: IfaceWarningTxt -> WarningTxt GhcRn

valuefreeNamesIfDecl :: IfaceDecl -> NameSet

valuefreeNamesIfRule :: IfaceRule -> NameSet

valuefreeNamesIfFamInst :: IfaceFamInst -> NameSet

valuefreeNamesIfConDecls :: IfaceConDecls -> NameSet

valuepprIfaceExpr :: (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)

valuepprIfaceDecl :: ShowSub -> IfaceDecl -> SDoc

newtypenewtype AltPpr

Constructors

AltPpr (Maybe (OccName -> SDoc))

datadata ShowSub

Constructors

ShowSub
- ss_how_much :: ShowHowMuch
- ss_forall :: ShowForAllFlag

datadata ShowHowMuch

Constructors

ShowHeader AltPpr
Header information only, not rhs
ShowSome (Maybe (OccName -> Bool)) AltPpr
Show the declaration and its RHS. The Maybe predicate allows filtering of the sub-components which should be printing; any sub-components filtered out will be elided with ....
ShowIface
Everything including GHC-internal information (used in --show-iface)

Instances1Outputable

Outputable ShowHowMuchDefined in ghc-10.0.0.20260917 · GHC.Iface.Type

valueshowToIface :: ShowSub

Source#

Show declaration and its RHS, including GHC-internal information (e.g. for --show-iface).

valueshowToHeader :: ShowSub

Source#

Show a declaration but not its RHS.