Moduleghc-9.10.3GHC2021

GHC.Iface.Syntax

43 types
16 values

Packageghc-9.10.3
Exports59
LanguageGHC2021
LicenceBSD-3-Clause
SourceSyntax.hs

module GHC.Iface.Type

datadata IfaceDecl

Constructors

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]

Instances5NFData, NamedThing, Outputable, Binary, HasOccName

NFData IfaceDeclDefined in ghc-9.10.3 · GHC.Iface.Syntax
NamedThing IfaceDeclDefined in ghc-9.10.3 · GHC.Iface.Syntax
Outputable IfaceDeclDefined in ghc-9.10.3 · GHC.Iface.Syntax
Binary IfaceDeclDefined in ghc-9.10.3 · GHC.Iface.Syntax
HasOccName IfaceDeclDefined in ghc-9.10.3 · 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-9.10.3 · GHC.Iface.Syntax
Binary IfaceFamTyConFlavDefined in ghc-9.10.3 · GHC.Iface.Syntax

datadata IfaceClassOp

Constructors

IfaceClassOp IfaceTopBndr IfaceType (Maybe (DefMethSpec IfaceType))

Instances5NFData, NamedThing, Outputable, Binary, HasOccName

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

datadata IfaceAT

Constructors

IfaceAT IfaceDecl (Maybe IfaceType)

Instances3NFData, Outputable, Binary

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

datadata IfaceConDecl

Constructors

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

Instances4NFData, NamedThing, Binary, HasOccName

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

datadata IfaceConDecls

Instances2NFData, Binary

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

typetype IfaceEqSpec = [(IfLclName, IfaceType)]

datadata IfaceExpr

Instances3NFData, Outputable, Binary

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

datadata IfaceAlt

Constructors

IfaceAlt IfaceConAlt [IfLclName] IfaceExpr

Instances2NFData, Binary

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

datadata IfaceLetBndr

Constructors

IfLetBndr IfLclName IfaceType IfaceIdInfo JoinPointHood

Instances2NFData, Binary

NFData IfaceLetBndrDefined in ghc-9.10.3 · GHC.Iface.Syntax
Binary IfaceLetBndrDefined in ghc-9.10.3 · 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-9.10.3 · GHC.Iface.Syntax
Foldable (IfaceBindingX r)Defined in ghc-9.10.3 · GHC.Iface.Syntax
Traversable (IfaceBindingX r)Defined in ghc-9.10.3 · GHC.Iface.Syntax
(Eq b, Eq r) => Eq (IfaceBindingX r b)Defined in ghc-9.10.3 · GHC.Iface.Syntax
(Ord b, Ord r) => Ord (IfaceBindingX r b)Defined in ghc-9.10.3 · GHC.Iface.Syntax
(NFData b, NFData a) => NFData (IfaceBindingX a b)Defined in ghc-9.10.3 · GHC.Iface.Syntax
(Outputable r, Outputable b) => Outputable (IfaceBindingX r b)Defined in ghc-9.10.3 · GHC.Iface.Syntax
(Binary r, Binary b) => Binary (IfaceBindingX b r)Defined in ghc-9.10.3 · GHC.Iface.Syntax

datadata IfaceMaybeRhs

Constructors

IfUseUnfoldingRhs
IfRhs IfaceExpr

Instances3NFData, Outputable, Binary

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

datadata IfaceConAlt

Constructors

IfaceDefault
IfaceDataAlt IfExtName
IfaceLitAlt Literal

Instances3NFData, Outputable, Binary

NFData IfaceConAltDefined in ghc-9.10.3 · GHC.Iface.Syntax
Outputable IfaceConAltDefined in ghc-9.10.3 · GHC.Iface.Syntax
Binary IfaceConAltDefined in ghc-9.10.3 · 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-9.10.3 · GHC.Iface.Syntax
Outputable IfaceIdDetailsDefined in ghc-9.10.3 · GHC.Iface.Syntax
Binary IfaceIdDetailsDefined in ghc-9.10.3 · GHC.Iface.Syntax

datadata IfaceUnfolding

Constructors

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

Instances3NFData, Outputable, Binary

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

datadata IfGuidance

Constructors

IfNoGuidance
IfWhen Arity Bool Bool

Instances3NFData, Outputable, Binary

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

datadata IfaceInfoItem

Constructors

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

Instances3NFData, Outputable, Binary

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

datadata IfaceRule

Constructors

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

Instances3NFData, Outputable, Binary

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

datadata IfaceAnnotation

Constructors

IfaceAnnotation
- ifAnnotatedTarget :: IfaceAnnTarget
- ifAnnotatedValue :: AnnPayload

Instances3NFData, Outputable, Binary

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

typetype IfaceAnnTarget = AnnTarget OccName

datadata IfaceWarnings

Constructors

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

Instances3NFData, Outputable, Binary

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

datadata IfaceWarningTxt

Constructors

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

Instances3NFData, Outputable, Binary

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

datadata IfaceStringLiteral

Constructors

IfStringLiteral SourceText FastString

Instances3NFData, Outputable, Binary

NFData IfaceStringLiteralDefined in ghc-9.10.3 · GHC.Iface.Syntax
Outputable IfaceStringLiteralDefined in ghc-9.10.3 · GHC.Iface.Syntax
Binary IfaceStringLiteralDefined in ghc-9.10.3 · 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-9.10.3 · GHC.Iface.Syntax
Outputable IfaceClsInstDefined in ghc-9.10.3 · GHC.Iface.Syntax
Binary IfaceClsInstDefined in ghc-9.10.3 · GHC.Iface.Syntax

datadata IfaceFamInst

Constructors

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

Instances3NFData, Outputable, Binary

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

datadata IfaceTickish

Constructors

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

Instances2NFData, Binary

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

datadata IfaceClassBody

Constructors

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

Instances1NFData

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

datadata IfaceBooleanFormula

Constructors

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

Instances2NFData, Binary

NFData IfaceBooleanFormulaDefined in ghc-9.10.3 · GHC.Iface.Syntax
Binary IfaceBooleanFormulaDefined in ghc-9.10.3 · GHC.Iface.Syntax

datadata IfaceBang

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-9.10.3 · GHC.Iface.Syntax
Binary IfaceBangDefined in ghc-9.10.3 · GHC.Iface.Syntax

datadata IfaceSrcBang

This corresponds to HsSrcBang

Constructors

IfSrcBang SrcUnpackedness SrcStrictness

Instances2NFData, Binary

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

datadata SrcUnpackedness

Source Unpackedness

What unpackedness the user requested

Constructors

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

Instances4Eq, Data, Outputable, Binary

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

datadata SrcStrictness

Source Strictness

What strictness annotation the user wrote

Constructors

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

Instances4Eq, Data, Outputable, Binary

Eq SrcStrictnessDefined in ghc-9.10.3 · Language.Haskell.Syntax.Basic
Data SrcStrictnessDefined in ghc-9.10.3 · Language.Haskell.Syntax.Basic
Outputable SrcStrictnessDefined in ghc-9.10.3 · GHC.Core.DataCon · orphan
Binary SrcStrictnessDefined in ghc-9.10.3 · 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-9.10.3 · GHC.Iface.Syntax
Binary IfaceAxBranchDefined in ghc-9.10.3 · GHC.Iface.Syntax

datadata IfaceTyConParent

Constructors

Instances3NFData, Outputable, Binary

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

datadata IfaceCompleteMatch

Constructors

IfaceCompleteMatch [IfExtName] (Maybe IfaceTyCon)

Instances3NFData, Outputable, Binary

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

datadata IfaceLFInfo

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

Instances2Outputable, Binary

Outputable IfaceLFInfoDefined in ghc-9.10.3 · GHC.Iface.Syntax
Binary IfaceLFInfoDefined in ghc-9.10.3 · GHC.Iface.Syntax

datadata IfaceTopBndrInfo

Constructors

IfLclTopBndr IfLclName IfaceType IfaceIdInfo IfaceIdDetails
IfGblTopBndr IfaceTopBndr

Instances3NFData, Outputable, Binary

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

Binding names

20 declarations

typetype IfaceTopBndr = Name

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

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

valuegetIfaceTopBndr :: BinHandle -> IO IfaceTopBndr

valueifaceDeclImplicitBndrs :: IfaceDecl -> [OccName]

valuevisibleIfConDecls :: IfaceConDecls -> [IfaceConDecl]

valueifaceDeclFingerprints

valuefromIfaceBooleanFormula :: IfaceBooleanFormula -> BooleanFormula IfLclName

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

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-9.10.3 · GHC.Iface.Type

valueshowToIface :: ShowSub

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

valueshowToHeader :: ShowSub

Show a declaration but not its RHS.