Safe Haskell | None |
---|---|
Language | GHC2021 |
Synopsis
- module GHC.Iface.Type
- data IfaceDecl
- = IfaceId { }
- | IfaceData { }
- | IfaceSynonym {
- ifName :: IfaceTopBndr
- ifRoles :: [Role]
- ifBinders :: [IfaceTyConBinder]
- ifResKind :: IfaceKind
- ifSynRhs :: IfaceType
- | IfaceFamily { }
- | 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
- 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
- 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 IfaceLetBndr) IfaceExpr
- | IfaceCast IfaceExpr IfaceCoercion
- | IfaceLit Literal
- | IfaceLitRubbish TypeOrConstraint IfaceType
- | IfaceFCall ForeignCall IfaceType
- | IfaceTick IfaceTickish IfaceExpr
- data IfaceAlt = IfaceAlt IfaceConAlt [IfLclName] IfaceExpr
- data IfaceLetBndr = IfLetBndr IfLclName IfaceType IfaceIdInfo JoinPointHood
- type IfaceBinding b = IfaceBindingX IfaceExpr b
- data IfaceBindingX r b
- = IfaceNonRec b r
- | IfaceRec [(b, r)]
- data IfaceMaybeRhs
- data IfaceConAlt
- type IfaceIdInfo = [IfaceInfoItem]
- data IfaceIdDetails
- data IfaceUnfolding
- = IfCoreUnfold UnfoldingSource IfUnfoldingCache IfGuidance IfaceExpr
- | IfDFunUnfold [IfaceBndr] [IfaceExpr]
- data IfGuidance
- data IfaceInfoItem
- data IfaceRule = IfaceRule {}
- data IfaceAnnotation = IfaceAnnotation {}
- type IfaceAnnTarget = AnnTarget OccName
- data IfaceWarnings
- data IfaceWarningTxt
- data IfaceStringLiteral = IfStringLiteral SourceText FastString
- data IfaceDefault = IfaceDefault {}
- data IfaceClsInst = IfaceClsInst {}
- data IfaceFamInst = IfaceFamInst {}
- data IfaceTickish
- data IfaceClassBody
- = IfAbstractClass
- | IfConcreteClass {
- ifClassCtxt :: IfaceContext
- ifATs :: [IfaceAT]
- ifSigs :: [IfaceClassOp]
- ifMinDef :: IfaceBooleanFormula
- data IfaceBooleanFormula
- data IfaceBang
- data IfaceSrcBang = IfSrcBang SrcUnpackedness SrcStrictness
- data SrcUnpackedness
- data SrcStrictness
- data IfaceAxBranch = IfaceAxBranch {
- ifaxbTyVars :: [IfaceTvBndr]
- ifaxbEtaTyVars :: [IfaceTvBndr]
- ifaxbCoVars :: [IfaceIdBndr]
- ifaxbLHS :: IfaceAppArgs
- ifaxbRoles :: [Role]
- ifaxbRHS :: IfaceType
- ifaxbIncomps :: [BranchIndex]
- data IfaceTyConParent
- data IfaceCompleteMatch = IfaceCompleteMatch [IfExtName] (Maybe IfExtName)
- data IfaceLFInfo
- = IfLFReEntrant !RepArity
- | IfLFThunk !Bool !Bool
- | IfLFCon !Name
- | IfLFUnknown !Bool
- | IfLFUnlifted
- data IfaceTopBndrInfo
- data IfaceImport = IfaceImport ImpDeclSpec ImpIfaceList
- data ImpIfaceList
- type IfaceTopBndr = Name
- putIfaceTopBndr :: WriteBinHandle -> IfaceTopBndr -> IO ()
- getIfaceTopBndr :: ReadBinHandle -> IO IfaceTopBndr
- ifaceDeclImplicitBndrs :: IfaceDecl -> [OccName]
- visibleIfConDecls :: IfaceConDecls -> [IfaceConDecl]
- ifaceDeclFingerprints :: Fingerprint -> IfaceDecl -> [(OccName, Fingerprint)]
- fromIfaceWarnings :: IfaceWarnings -> Warnings GhcRn
- fromIfaceWarningTxt :: IfaceWarningTxt -> WarningTxt GhcRn
- freeNamesIfDecl :: IfaceDecl -> NameSet
- freeNamesIfRule :: IfaceRule -> NameSet
- freeNamesIfFamInst :: IfaceFamInst -> NameSet
- freeNamesIfConDecls :: IfaceConDecls -> NameSet
- pprIfaceExpr :: (SDoc -> SDoc) -> IfaceExpr -> SDoc
- pprIfaceDecl :: ShowSub -> IfaceDecl -> SDoc
- newtype AltPpr = AltPpr (Maybe (OccName -> SDoc))
- data ShowSub = ShowSub {}
- data ShowHowMuch
- showToIface :: ShowSub
- showToHeader :: ShowSub
Documentation
module GHC.Iface.Type
data IfaceFamTyConFlav Source #
IfaceDataFamilyTyCon | |
IfaceOpenSynFamilyTyCon | |
IfaceClosedSynFamilyTyCon (Maybe (IfExtName, [IfaceAxBranch])) | Name of associated axiom and branches for pretty printing purposes,
or |
IfaceAbstractClosedSynFamilyTyCon | |
IfaceBuiltInSynFamTyCon |
Instances
NFData IfaceFamTyConFlav Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceFamTyConFlav -> () Source # | |
Binary IfaceFamTyConFlav Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceFamTyConFlav -> IO () Source # put :: WriteBinHandle -> IfaceFamTyConFlav -> IO (Bin IfaceFamTyConFlav) Source # get :: ReadBinHandle -> IO IfaceFamTyConFlav Source # |
data IfaceClassOp Source #
Instances
NFData IfaceClassOp Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceClassOp -> () Source # | |
NamedThing IfaceClassOp Source # | |
Defined in GHC.Iface.Syntax getOccName :: IfaceClassOp -> OccName Source # getName :: IfaceClassOp -> Name Source # | |
HasOccName IfaceClassOp Source # | |
Defined in GHC.Iface.Syntax occName :: IfaceClassOp -> OccName Source # | |
Binary IfaceClassOp Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceClassOp -> IO () Source # put :: WriteBinHandle -> IfaceClassOp -> IO (Bin IfaceClassOp) Source # get :: ReadBinHandle -> IO IfaceClassOp Source # | |
Outputable IfaceClassOp Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceClassOp -> SDoc Source # |
data IfaceConDecl Source #
IfCon | |
|
Instances
NFData IfaceConDecl Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceConDecl -> () Source # | |
NamedThing IfaceConDecl Source # | |
Defined in GHC.Iface.Syntax getOccName :: IfaceConDecl -> OccName Source # getName :: IfaceConDecl -> Name Source # | |
HasOccName IfaceConDecl Source # | |
Defined in GHC.Iface.Syntax occName :: IfaceConDecl -> OccName Source # | |
Binary IfaceConDecl Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceConDecl -> IO () Source # put :: WriteBinHandle -> IfaceConDecl -> IO (Bin IfaceConDecl) Source # get :: ReadBinHandle -> IO IfaceConDecl Source # |
data IfaceConDecls Source #
Instances
NFData IfaceConDecls Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceConDecls -> () Source # | |
Binary IfaceConDecls Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceConDecls -> IO () Source # put :: WriteBinHandle -> IfaceConDecls -> IO (Bin IfaceConDecls) Source # get :: ReadBinHandle -> IO IfaceConDecls Source # |
type IfaceEqSpec = [(IfLclName, IfaceType)] Source #
Instances
data IfaceLetBndr Source #
Instances
NFData IfaceLetBndr Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceLetBndr -> () Source # | |
Binary IfaceLetBndr Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceLetBndr -> IO () Source # put :: WriteBinHandle -> IfaceLetBndr -> IO (Bin IfaceLetBndr) Source # get :: ReadBinHandle -> IO IfaceLetBndr Source # |
type IfaceBinding b = IfaceBindingX IfaceExpr b Source #
data IfaceBindingX r b Source #
IfaceNonRec b r | |
IfaceRec [(b, r)] |
Instances
data IfaceMaybeRhs Source #
Instances
NFData IfaceMaybeRhs Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceMaybeRhs -> () Source # | |
Binary IfaceMaybeRhs Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceMaybeRhs -> IO () Source # put :: WriteBinHandle -> IfaceMaybeRhs -> IO (Bin IfaceMaybeRhs) Source # get :: ReadBinHandle -> IO IfaceMaybeRhs Source # | |
Outputable IfaceMaybeRhs Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceMaybeRhs -> SDoc Source # |
data IfaceConAlt Source #
Instances
NFData IfaceConAlt Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceConAlt -> () Source # | |
Binary IfaceConAlt Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceConAlt -> IO () Source # put :: WriteBinHandle -> IfaceConAlt -> IO (Bin IfaceConAlt) Source # get :: ReadBinHandle -> IO IfaceConAlt Source # | |
Outputable IfaceConAlt Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceConAlt -> SDoc Source # |
type IfaceIdInfo = [IfaceInfoItem] Source #
data IfaceIdDetails Source #
Instances
NFData IfaceIdDetails Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceIdDetails -> () Source # | |
Binary IfaceIdDetails Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceIdDetails -> IO () Source # put :: WriteBinHandle -> IfaceIdDetails -> IO (Bin IfaceIdDetails) Source # get :: ReadBinHandle -> IO IfaceIdDetails Source # | |
Outputable IfaceIdDetails Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceIdDetails -> SDoc Source # |
data IfaceUnfolding Source #
IfCoreUnfold UnfoldingSource IfUnfoldingCache IfGuidance IfaceExpr | |
IfDFunUnfold [IfaceBndr] [IfaceExpr] |
Instances
NFData IfaceUnfolding Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceUnfolding -> () Source # | |
Binary IfaceUnfolding Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceUnfolding -> IO () Source # put :: WriteBinHandle -> IfaceUnfolding -> IO (Bin IfaceUnfolding) Source # get :: ReadBinHandle -> IO IfaceUnfolding Source # | |
Outputable IfaceUnfolding Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceUnfolding -> SDoc Source # |
data IfGuidance Source #
Instances
NFData IfGuidance Source # | |
Defined in GHC.Iface.Syntax rnf :: IfGuidance -> () Source # | |
Binary IfGuidance Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfGuidance -> IO () Source # put :: WriteBinHandle -> IfGuidance -> IO (Bin IfGuidance) Source # get :: ReadBinHandle -> IO IfGuidance Source # | |
Outputable IfGuidance Source # | |
Defined in GHC.Iface.Syntax ppr :: IfGuidance -> SDoc Source # |
data IfaceInfoItem Source #
HsArity Arity | |
HsDmdSig DmdSig | |
HsCprSig CprSig | |
HsInline InlinePragma | |
HsUnfold Bool IfaceUnfolding | |
HsNoCafRefs | |
HsLFInfo IfaceLFInfo | |
HsTagSig TagSig |
Instances
NFData IfaceInfoItem Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceInfoItem -> () Source # | |
Binary IfaceInfoItem Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceInfoItem -> IO () Source # put :: WriteBinHandle -> IfaceInfoItem -> IO (Bin IfaceInfoItem) Source # get :: ReadBinHandle -> IO IfaceInfoItem Source # | |
Outputable IfaceInfoItem Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceInfoItem -> SDoc Source # |
IfaceRule | |
|
data IfaceAnnotation Source #
Instances
NFData IfaceAnnotation Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceAnnotation -> () Source # | |
Binary IfaceAnnotation Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceAnnotation -> IO () Source # put :: WriteBinHandle -> IfaceAnnotation -> IO (Bin IfaceAnnotation) Source # get :: ReadBinHandle -> IO IfaceAnnotation Source # | |
Outputable IfaceAnnotation Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceAnnotation -> SDoc Source # |
type IfaceAnnTarget = AnnTarget OccName Source #
data IfaceWarnings Source #
Instances
NFData IfaceWarnings Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceWarnings -> () Source # | |
Binary IfaceWarnings Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceWarnings -> IO () Source # put :: WriteBinHandle -> IfaceWarnings -> IO (Bin IfaceWarnings) Source # get :: ReadBinHandle -> IO IfaceWarnings Source # | |
Outputable IfaceWarnings Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceWarnings -> SDoc Source # |
data IfaceWarningTxt Source #
IfWarningTxt (Maybe WarningCategory) SourceText [(IfaceStringLiteral, [IfExtName])] | |
IfDeprecatedTxt SourceText [(IfaceStringLiteral, [IfExtName])] |
Instances
NFData IfaceWarningTxt Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceWarningTxt -> () Source # | |
Binary IfaceWarningTxt Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceWarningTxt -> IO () Source # put :: WriteBinHandle -> IfaceWarningTxt -> IO (Bin IfaceWarningTxt) Source # get :: ReadBinHandle -> IO IfaceWarningTxt Source # | |
Outputable IfaceWarningTxt Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceWarningTxt -> SDoc Source # |
data IfaceStringLiteral Source #
Instances
NFData IfaceStringLiteral Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceStringLiteral -> () Source # | |
Binary IfaceStringLiteral Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceStringLiteral -> IO () Source # put :: WriteBinHandle -> IfaceStringLiteral -> IO (Bin IfaceStringLiteral) Source # get :: ReadBinHandle -> IO IfaceStringLiteral Source # | |
Outputable IfaceStringLiteral Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceStringLiteral -> SDoc Source # |
data IfaceDefault Source #
Exported named defaults
Instances
NFData IfaceDefault Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceDefault -> () Source # | |
Binary IfaceDefault Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceDefault -> IO () Source # put :: WriteBinHandle -> IfaceDefault -> IO (Bin IfaceDefault) Source # get :: ReadBinHandle -> IO IfaceDefault Source # | |
Outputable IfaceDefault Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceDefault -> SDoc Source # |
data IfaceClsInst Source #
IfaceClsInst | |
|
Instances
NFData IfaceClsInst Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceClsInst -> () Source # | |
Binary IfaceClsInst Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceClsInst -> IO () Source # put :: WriteBinHandle -> IfaceClsInst -> IO (Bin IfaceClsInst) Source # get :: ReadBinHandle -> IO IfaceClsInst Source # | |
Outputable IfaceClsInst Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceClsInst -> SDoc Source # |
data IfaceFamInst Source #
Instances
NFData IfaceFamInst Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceFamInst -> () Source # | |
Binary IfaceFamInst Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceFamInst -> IO () Source # put :: WriteBinHandle -> IfaceFamInst -> IO (Bin IfaceFamInst) Source # get :: ReadBinHandle -> IO IfaceFamInst Source # | |
Outputable IfaceFamInst Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceFamInst -> SDoc Source # |
data IfaceTickish Source #
IfaceHpcTick Module Int | |
IfaceSCC CostCentre Bool Bool | |
IfaceSource RealSrcSpan FastString | |
IfaceBreakpoint Int [IfaceExpr] Module |
Instances
NFData IfaceTickish Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceTickish -> () Source # | |
Binary IfaceTickish Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceTickish -> IO () Source # put :: WriteBinHandle -> IfaceTickish -> IO (Bin IfaceTickish) Source # get :: ReadBinHandle -> IO IfaceTickish Source # |
data IfaceClassBody Source #
IfAbstractClass | |
IfConcreteClass | |
|
Instances
NFData IfaceClassBody Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceClassBody -> () Source # |
data IfaceBooleanFormula Source #
Instances
NFData IfaceBooleanFormula Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceBooleanFormula -> () Source # | |
Binary IfaceBooleanFormula Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceBooleanFormula -> IO () Source # put :: WriteBinHandle -> IfaceBooleanFormula -> IO (Bin IfaceBooleanFormula) Source # get :: ReadBinHandle -> IO IfaceBooleanFormula Source # | |
Eq IfaceBooleanFormula Source # | |
Defined in GHC.Iface.Syntax (==) :: IfaceBooleanFormula -> IfaceBooleanFormula -> Bool # (/=) :: IfaceBooleanFormula -> IfaceBooleanFormula -> Bool # |
This corresponds to an HsImplBang; that is, the final implementation decision about the data constructor arg
data IfaceSrcBang Source #
This corresponds to HsSrcBang
Instances
NFData IfaceSrcBang Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceSrcBang -> () Source # | |
Binary IfaceSrcBang Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceSrcBang -> IO () Source # put :: WriteBinHandle -> IfaceSrcBang -> IO (Bin IfaceSrcBang) Source # get :: ReadBinHandle -> IO IfaceSrcBang Source # |
data SrcUnpackedness Source #
Source Unpackedness
What unpackedness the user requested
SrcUnpack | {-# UNPACK #-} specified |
SrcNoUnpack | {-# NOUNPACK #-} specified |
NoSrcUnpack | no unpack pragma |
Instances
data SrcStrictness Source #
Source Strictness
What strictness annotation the user wrote
SrcLazy | Lazy, ie |
SrcStrict | Strict, ie |
NoSrcStrict | no strictness annotation |
Instances
data IfaceAxBranch Source #
IfaceAxBranch | |
|
Instances
NFData IfaceAxBranch Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceAxBranch -> () Source # | |
Binary IfaceAxBranch Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceAxBranch -> IO () Source # put :: WriteBinHandle -> IfaceAxBranch -> IO (Bin IfaceAxBranch) Source # get :: ReadBinHandle -> IO IfaceAxBranch Source # |
data IfaceTyConParent Source #
Instances
NFData IfaceTyConParent Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceTyConParent -> () Source # | |
Binary IfaceTyConParent Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceTyConParent -> IO () Source # put :: WriteBinHandle -> IfaceTyConParent -> IO (Bin IfaceTyConParent) Source # get :: ReadBinHandle -> IO IfaceTyConParent Source # | |
Outputable IfaceTyConParent Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceTyConParent -> SDoc Source # |
data IfaceCompleteMatch Source #
Instances
NFData IfaceCompleteMatch Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceCompleteMatch -> () Source # | |
Binary IfaceCompleteMatch Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceCompleteMatch -> IO () Source # put :: WriteBinHandle -> IfaceCompleteMatch -> IO (Bin IfaceCompleteMatch) Source # get :: ReadBinHandle -> IO IfaceCompleteMatch Source # | |
Outputable IfaceCompleteMatch Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceCompleteMatch -> SDoc Source # |
data IfaceLFInfo Source #
Iface type for LambdaFormInfo. Fields not relevant for imported Ids are omitted in this type.
Instances
Binary IfaceLFInfo Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceLFInfo -> IO () Source # put :: WriteBinHandle -> IfaceLFInfo -> IO (Bin IfaceLFInfo) Source # get :: ReadBinHandle -> IO IfaceLFInfo Source # | |
Outputable IfaceLFInfo Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceLFInfo -> SDoc Source # |
data IfaceTopBndrInfo Source #
Instances
NFData IfaceTopBndrInfo Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceTopBndrInfo -> () Source # | |
Binary IfaceTopBndrInfo Source # | |
Defined in GHC.Iface.Syntax put_ :: WriteBinHandle -> IfaceTopBndrInfo -> IO () Source # put :: WriteBinHandle -> IfaceTopBndrInfo -> IO (Bin IfaceTopBndrInfo) Source # get :: ReadBinHandle -> IO IfaceTopBndrInfo Source # | |
Outputable IfaceTopBndrInfo Source # | |
Defined in GHC.Iface.Syntax ppr :: IfaceTopBndrInfo -> SDoc Source # |
data IfaceImport Source #
Instances
NFData IfaceImport Source # | |
Defined in GHC.Iface.Syntax rnf :: IfaceImport -> () Source # |
data ImpIfaceList Source #
ImpIfaceAll | no user import list |
ImpIfaceExplicit !IfGlobalRdrEnv | |
ImpIfaceEverythingBut !NameSet |
Instances
NFData ImpIfaceList Source # | |
Defined in GHC.Iface.Syntax rnf :: ImpIfaceList -> () Source # |
Binding names
type IfaceTopBndr = Name Source #
putIfaceTopBndr :: WriteBinHandle -> IfaceTopBndr -> IO () Source #
ifaceDeclImplicitBndrs :: IfaceDecl -> [OccName] Source #
ifaceDeclFingerprints :: Fingerprint -> IfaceDecl -> [(OccName, Fingerprint)] Source #
freeNamesIfDecl :: IfaceDecl -> NameSet Source #
freeNamesIfRule :: IfaceRule -> 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)
data ShowHowMuch Source #
ShowHeader AltPpr | Header information only, not rhs |
ShowSome (Maybe (OccName -> Bool)) AltPpr | Show the declaration and its RHS. The |
ShowIface | Everything including GHC-internal information (used in --show-iface) |
Instances
Outputable ShowHowMuch Source # | |
Defined in GHC.Iface.Type ppr :: ShowHowMuch -> SDoc Source # |
showToIface :: ShowSub Source #
Show declaration and its RHS, including GHc-internal information (e.g.
for --show-iface
).
showToHeader :: ShowSub Source #
Show a declaration but not its RHS.