Safe Haskell	None
Language	GHC2021

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 :: [IfaceForAllBndr]
- ifConEqSpec :: IfaceEqSpec
- ifConCtxt :: IfaceContext
- ifConArgTys :: [(IfaceMult, IfaceType)]
- ifConFields :: [FieldLabel]
- ifConStricts :: [IfaceBang]
- ifConSrcStricts :: [IfaceSrcBang]
}
data IfaceConDecls
- = IfAbstractTyCon
- | IfDataTyCon !Bool [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 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
- = IfUseUnfoldingRhs
- | IfRhs IfaceExpr
data IfaceConAlt
- = IfaceDefaultAlt
- | IfaceDataAlt IfExtName
- | IfaceLitAlt Literal
type IfaceIdInfo = [IfaceInfoItem]
data IfaceIdDetails
- = IfVanillaId
- | IfWorkerLikeId [CbvMark]
- | IfRecSelId {
  }
- | IfDFunId
data IfaceUnfolding
- = IfCoreUnfold UnfoldingSource IfUnfoldingCache IfGuidance IfaceExpr
- | IfDFunUnfold [IfaceBndr] [IfaceExpr]
data IfGuidance
- = IfNoGuidance
- | IfWhen Arity Bool Bool
data IfaceInfoItem
- = HsArity Arity
- | HsDmdSig DmdSig
- | HsCprSig CprSig
- | HsInline InlinePragma
- | HsUnfold Bool IfaceUnfolding
- | HsNoCafRefs
- | HsLFInfo IfaceLFInfo
- | HsTagSig TagSig
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 IfaceWarnings
- = IfWarnAll IfaceWarningTxt
- | IfWarnSome [(OccName, IfaceWarningTxt)] [(IfExtName, IfaceWarningTxt)]
data IfaceWarningTxt
- = IfWarningTxt (Maybe WarningCategory) SourceText [(IfaceStringLiteral, [IfExtName])]
- | IfDeprecatedTxt SourceText [(IfaceStringLiteral, [IfExtName])]
data IfaceStringLiteral = IfStringLiteral SourceText FastString
data IfaceDefault = IfaceDefault {
- ifDefaultCls :: IfExtName
- ifDefaultTys :: [IfaceType]
- ifDefaultWarn :: Maybe IfaceWarningTxt
}
data IfaceClsInst = IfaceClsInst {
- ifInstCls :: IfExtName
- ifInstTys :: [Maybe IfaceTyCon]
- ifDFun :: IfExtName
- ifOFlag :: OverlapFlag
- ifInstOrph :: IsOrphan
- ifInstWarn :: Maybe IfaceWarningTxt
}
data IfaceFamInst = IfaceFamInst {
- ifFamInstFam :: IfExtName
- ifFamInstTys :: [Maybe IfaceTyCon]
- ifFamInstAxiom :: IfExtName
- ifFamInstOrph :: IsOrphan
}
data IfaceTickish
- = IfaceHpcTick Module Int
- | IfaceSCC CostCentre Bool Bool
- | IfaceSource RealSrcSpan FastString
- | IfaceBreakpoint BreakpointId [IfaceExpr]
data IfaceClassBody
- = IfAbstractClass
- | IfConcreteClass {
  - ifClassCtxt :: IfaceContext
  - ifATs :: [IfaceAT]
  - ifSigs :: [IfaceClassOp]
  - ifMinDef :: IfaceBooleanFormula
  - ifUnary :: Bool
  }
data IfaceBooleanFormula
- = IfVar IfLclName
- | IfAnd [IfaceBooleanFormula]
- | IfOr [IfaceBooleanFormula]
- | IfParens IfaceBooleanFormula
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 IfExtName)
data IfaceLFInfo
- = IfLFReEntrant !RepArity
- | IfLFThunk !Bool !Bool
- | IfLFCon !Name
- | IfLFUnknown !Bool
- | IfLFUnlifted
data IfaceTopBndrInfo
- = IfLclTopBndr IfLclName IfaceType IfaceIdInfo IfaceIdDetails
- | IfGblTopBndr IfaceTopBndr
data IfaceImport = IfaceImport ImpDeclSpec ImpIfaceList
ifImpModule :: IfaceImport -> Module
data ImpIfaceList
- = ImpIfaceAll
- | ImpIfaceExplicit {
  - iil_avails :: !DetOrdAvails
  - iil_non_explicit_parents :: ![Name]
  }
- | ImpIfaceEverythingBut ![Name]
type IfaceExport = AvailInfo
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 {
- ss_how_much :: ShowHowMuch
- ss_forall :: ShowForAllFlag
}
data ShowHowMuch
- = ShowHeader AltPpr
- | ShowSome (Maybe (OccName -> Bool)) AltPpr
- | ShowIface
showToIface :: ShowSub
showToHeader :: ShowSub

Documentation

module GHC.Iface.Type

data IfaceDecl #

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 #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceDecl -> () Source #
NamedThing IfaceDecl #
Instance details Defined in GHC.Iface.Syntax Methods getOccName :: IfaceDecl -> OccName # getName :: IfaceDecl -> Name #
HasOccName IfaceDecl #
Instance details Defined in GHC.Iface.Syntax Methods occName :: IfaceDecl -> OccName #
Binary IfaceDecl #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: WriteBinHandle -> IfaceDecl -> IO () # put :: WriteBinHandle -> IfaceDecl -> IO (Bin IfaceDecl) # get :: ReadBinHandle -> IO IfaceDecl #
Outputable IfaceDecl #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceDecl -> SDoc #

data 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

Instances

Instances details

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

data IfaceClassOp #

Constructors

IfaceClassOp IfaceTopBndr IfaceType (Maybe (DefMethSpec IfaceType))

Instances

Instances details

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

data IfaceAT #

Constructors

IfaceAT IfaceDecl (Maybe IfaceType)

Instances

Instances details

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

data IfaceConDecl #

Constructors

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

Instances

Instances details

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

data IfaceConDecls #

Constructors

IfAbstractTyCon
IfDataTyCon !Bool [IfaceConDecl]
IfNewTyCon IfaceConDecl

Instances

Instances details

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

type IfaceEqSpec = [(IfLclName, IfaceType)] #

data IfaceExpr #

Instances

Instances details

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

data IfaceAlt #

Constructors

IfaceAlt IfaceConAlt [IfLclName] IfaceExpr

Instances

Instances details

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

data IfaceLetBndr #

Constructors

IfLetBndr IfLclName IfaceType IfaceIdInfo JoinPointHood

Instances

Instances details

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

type IfaceBinding b = IfaceBindingX IfaceExpr b #

data IfaceBindingX r b #

Constructors

IfaceNonRec b r
IfaceRec [(b, r)]

Instances

Instances details

Functor (IfaceBindingX r) #
Instance details Defined in GHC.Iface.Syntax Methods fmap :: (a -> b) -> IfaceBindingX r a -> IfaceBindingX r b Source # (<$) :: a -> IfaceBindingX r b -> IfaceBindingX r a Source #
Foldable (IfaceBindingX r) #
Instance details Defined in GHC.Iface.Syntax Methods fold :: Monoid m => IfaceBindingX r m -> m Source # foldMap :: Monoid m => (a -> m) -> IfaceBindingX r a -> m Source # foldMap' :: Monoid m => (a -> m) -> IfaceBindingX r a -> m Source # foldr :: (a -> b -> b) -> b -> IfaceBindingX r a -> b Source # foldr' :: (a -> b -> b) -> b -> IfaceBindingX r a -> b Source # foldl :: (b -> a -> b) -> b -> IfaceBindingX r a -> b Source # foldl' :: (b -> a -> b) -> b -> IfaceBindingX r a -> b Source # foldr1 :: (a -> a -> a) -> IfaceBindingX r a -> a Source # foldl1 :: (a -> a -> a) -> IfaceBindingX r a -> a Source # toList :: IfaceBindingX r a -> [a] Source # null :: IfaceBindingX r a -> Bool Source # length :: IfaceBindingX r a -> Int Source # elem :: Eq a => a -> IfaceBindingX r a -> Bool Source # maximum :: Ord a => IfaceBindingX r a -> a Source # minimum :: Ord a => IfaceBindingX r a -> a Source # sum :: Num a => IfaceBindingX r a -> a Source # product :: Num a => IfaceBindingX r a -> a Source #
Traversable (IfaceBindingX r) #
Instance details Defined in GHC.Iface.Syntax Methods traverse :: Applicative f => (a -> f b) -> IfaceBindingX r a -> f (IfaceBindingX r b) Source # sequenceA :: Applicative f => IfaceBindingX r (f a) -> f (IfaceBindingX r a) Source # mapM :: Monad m => (a -> m b) -> IfaceBindingX r a -> m (IfaceBindingX r b) Source # sequence :: Monad m => IfaceBindingX r (m a) -> m (IfaceBindingX r a) Source #
(NFData b, NFData a) => NFData (IfaceBindingX a b) #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceBindingX a b -> () Source #
(Binary r, Binary b) => Binary (IfaceBindingX b r) #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: WriteBinHandle -> IfaceBindingX b r -> IO () # put :: WriteBinHandle -> IfaceBindingX b r -> IO (Bin (IfaceBindingX b r)) # get :: ReadBinHandle -> IO (IfaceBindingX b r) #
(Outputable r, Outputable b) => Outputable (IfaceBindingX r b) #
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceBindingX r b -> SDoc #
(Eq b, Eq r) => Eq (IfaceBindingX r b) #
Instance details Defined in GHC.Iface.Syntax Methods (==) :: IfaceBindingX r b -> IfaceBindingX r b -> Bool Source # (/=) :: IfaceBindingX r b -> IfaceBindingX r b -> Bool Source #
(Ord b, Ord r) => Ord (IfaceBindingX r b) #
Instance details Defined in GHC.Iface.Syntax Methods compare :: IfaceBindingX r b -> IfaceBindingX r b -> Ordering Source # (<) :: IfaceBindingX r b -> IfaceBindingX r b -> Bool Source # (<=) :: IfaceBindingX r b -> IfaceBindingX r b -> Bool Source # (>) :: IfaceBindingX r b -> IfaceBindingX r b -> Bool Source # (>=) :: IfaceBindingX r b -> IfaceBindingX r b -> Bool Source # max :: IfaceBindingX r b -> IfaceBindingX r b -> IfaceBindingX r b Source # min :: IfaceBindingX r b -> IfaceBindingX r b -> IfaceBindingX r b Source #

data IfaceMaybeRhs #

Constructors

IfUseUnfoldingRhs
IfRhs IfaceExpr

Instances

Instances details

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

data IfaceConAlt #

Constructors

IfaceDefaultAlt
IfaceDataAlt IfExtName
IfaceLitAlt Literal

Instances

Instances details

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

type IfaceIdInfo = [IfaceInfoItem] #

data IfaceIdDetails #

Constructors

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

Instances

Instances details

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

data IfaceUnfolding #

Constructors

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

Instances

Instances details

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

data IfGuidance #

Constructors

IfNoGuidance
IfWhen Arity Bool Bool

Instances

Instances details

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

data IfaceInfoItem #

Constructors

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

Instances

Instances details

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

data IfaceRule #

Constructors

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

Instances

Instances details

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

data IfaceAnnotation #

Constructors

IfaceAnnotation
Fields ifAnnotatedTarget :: IfaceAnnTarget ifAnnotatedValue :: AnnPayload

Instances

Instances details

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

type IfaceAnnTarget = AnnTarget OccName #

data IfaceWarnings #

Constructors

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

Instances

Instances details

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

data IfaceWarningTxt #

Constructors

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

Instances

Instances details

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

data IfaceStringLiteral #

Constructors

IfStringLiteral SourceText FastString

Instances

Instances details

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

data IfaceDefault #

Exported named defaults

Constructors

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

Instances

Instances details

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

data IfaceClsInst #

Constructors

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

Instances

Instances details

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

data IfaceFamInst #

Constructors

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

Instances

Instances details

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

data IfaceTickish #

Constructors

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

Instances

Instances details

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

data IfaceClassBody #

Constructors

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

Instances

Instances details

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

data IfaceBooleanFormula #

Constructors

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

Instances

Instances details

NFData IfaceBooleanFormula #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceBooleanFormula -> () Source #
Binary IfaceBooleanFormula #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: WriteBinHandle -> IfaceBooleanFormula -> IO () # put :: WriteBinHandle -> IfaceBooleanFormula -> IO (Bin IfaceBooleanFormula) # get :: ReadBinHandle -> IO IfaceBooleanFormula #
Eq IfaceBooleanFormula #
Instance details Defined in GHC.Iface.Syntax Methods (==) :: IfaceBooleanFormula -> IfaceBooleanFormula -> Bool Source # (/=) :: IfaceBooleanFormula -> IfaceBooleanFormula -> Bool Source #

data IfaceBang #

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 #
Instance details Defined in GHC.Iface.Syntax Methods rnf :: IfaceBang -> () Source #
Binary IfaceBang #
Instance details Defined in GHC.Iface.Syntax Methods put_ :: WriteBinHandle -> IfaceBang -> IO () # put :: WriteBinHandle -> IfaceBang -> IO (Bin IfaceBang) # get :: ReadBinHandle -> IO IfaceBang #

data IfaceSrcBang #

This corresponds to HsSrcBang

Constructors

IfSrcBang SrcUnpackedness SrcStrictness

Instances

Instances details

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

data SrcUnpackedness #

Source Unpackedness

What unpackedness the user requested

Constructors

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

Instances

Instances details

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

data SrcStrictness #

Source Strictness

What strictness annotation the user wrote

Constructors

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

Instances

Instances details

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

data IfaceAxBranch #

Constructors

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

Instances

Instances details

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

data IfaceTyConParent #

Constructors

IfNoParent
IfDataInstance IfExtName IfaceTyCon IfaceAppArgs

Instances

Instances details

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

data IfaceCompleteMatch #

Constructors

IfaceCompleteMatch [IfExtName] (Maybe IfExtName)

Instances

Instances details

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

data 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

Instances

Instances details

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

data IfaceTopBndrInfo #

Constructors

IfLclTopBndr IfLclName IfaceType IfaceIdInfo IfaceIdDetails
IfGblTopBndr IfaceTopBndr

Instances

Instances details

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

data IfaceImport #

Constructors

IfaceImport ImpDeclSpec ImpIfaceList

Instances

Instances details

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

ifImpModule :: IfaceImport -> Module #

Extract the imported module from an IfaceImport

data ImpIfaceList #

Constructors

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

Instances

Instances details

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

type IfaceExport = AvailInfo #

Binding names

type IfaceTopBndr = Name #

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

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 #

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 #

newtype AltPpr #

Constructors

AltPpr (Maybe (OccName -> SDoc))

data ShowSub #

Constructors

ShowSub
Fields ss_how_much :: ShowHowMuch ss_forall :: ShowForAllFlag

data 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)

Instances

Instances details

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

showToIface :: ShowSub #

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

showToHeader :: ShowSub #

Show a declaration but not its RHS.

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