Safe Haskell	None
Language	Haskell2010

IfaceSyn

Contents

Binding names

Synopsis

module IfaceType
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 :: [IfaceForAllBndr]
  - ifPatExBndrs :: [IfaceForAllBndr]
  - 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
- ifConExTvs :: [IfaceTvBndr]
- ifConUserTvBinders :: [IfaceForAllBndr]
- ifConEqSpec :: IfaceEqSpec
- ifConCtxt :: IfaceContext
- ifConArgTys :: [IfaceType]
- ifConFields :: [FieldLabel]
- ifConStricts :: [IfaceBang]
- ifConSrcStricts :: [IfaceSrcBang]
}
data IfaceConDecls
- = IfAbstractTyCon
- | IfDataTyCon [IfaceConDecl]
- | IfNewTyCon IfaceConDecl
type IfaceEqSpec = [(IfLclName, IfaceType)]
data IfaceExpr
- = IfaceLcl IfLclName
- | IfaceExt IfExtName
- | IfaceType IfaceType
- | IfaceCo IfaceCoercion
- | IfaceTuple TupleSort [IfaceExpr]
- | IfaceLam IfaceLamBndr IfaceExpr
- | IfaceApp IfaceExpr IfaceExpr
- | IfaceCase IfaceExpr IfLclName [IfaceAlt]
- | IfaceECase IfaceExpr IfaceType
- | IfaceLet IfaceBinding IfaceExpr
- | IfaceCast IfaceExpr IfaceCoercion
- | IfaceLit Literal
- | IfaceFCall ForeignCall IfaceType
- | IfaceTick IfaceTickish IfaceExpr
type IfaceAlt = (IfaceConAlt, [IfLclName], IfaceExpr)
data IfaceLetBndr = IfLetBndr IfLclName IfaceType IfaceIdInfo IfaceJoinInfo
data IfaceJoinInfo
- = IfaceNotJoinPoint
- | IfaceJoinPoint JoinArity
data IfaceBinding
- = IfaceNonRec IfaceLetBndr IfaceExpr
- | IfaceRec [(IfaceLetBndr, IfaceExpr)]
data IfaceConAlt
- = IfaceDefault
- | IfaceDataAlt IfExtName
- | IfaceLitAlt Literal
data IfaceIdInfo
- = NoInfo
- | HasInfo [IfaceInfoItem]
data IfaceIdDetails
- = IfVanillaId
- | IfRecSelId (Either IfaceTyCon IfaceDecl) Bool
- | IfDFunId
data IfaceUnfolding
- = IfCoreUnfold Bool IfaceExpr
- | IfCompulsory IfaceExpr
- | IfInlineRule Arity Bool Bool IfaceExpr
- | IfDFunUnfold [IfaceBndr] [IfaceExpr]
data IfaceInfoItem
- = HsArity Arity
- | HsStrictness StrictSig
- | HsInline InlinePragma
- | HsUnfold Bool IfaceUnfolding
- | HsNoCafRefs
- | HsLevity
data IfaceRule = IfaceRule {
- ifRuleName :: RuleName
- ifActivation :: Activation
- ifRuleBndrs :: [IfaceBndr]
- ifRuleHead :: IfExtName
- ifRuleArgs :: [IfaceExpr]
- ifRuleRhs :: IfaceExpr
- ifRuleAuto :: Bool
- ifRuleOrph :: IsOrphan
}
data IfaceAnnotation = IfaceAnnotation {
- ifAnnotatedTarget :: IfaceAnnTarget
- ifAnnotatedValue :: AnnPayload
}
type IfaceAnnTarget = AnnTarget OccName
data IfaceClsInst = IfaceClsInst {
- ifInstCls :: IfExtName
- ifInstTys :: [Maybe IfaceTyCon]
- ifDFun :: IfExtName
- ifOFlag :: OverlapFlag
- ifInstOrph :: IsOrphan
}
data IfaceFamInst = IfaceFamInst {
- ifFamInstFam :: IfExtName
- ifFamInstTys :: [Maybe IfaceTyCon]
- ifFamInstAxiom :: IfExtName
- ifFamInstOrph :: IsOrphan
}
data IfaceTickish
- = IfaceHpcTick Module Int
- | IfaceSCC CostCentre Bool Bool
- | IfaceSource RealSrcSpan String
data IfaceClassBody
- = IfAbstractClass
- | IfConcreteClass {
  - ifClassCtxt :: IfaceContext
  - ifATs :: [IfaceAT]
  - ifSigs :: [IfaceClassOp]
  - ifMinDef :: BooleanFormula IfLclName
  }
data IfaceBang
- = IfNoBang
- | IfStrict
- | IfUnpack
- | IfUnpackCo IfaceCoercion
data IfaceSrcBang = IfSrcBang SrcUnpackedness SrcStrictness
data SrcUnpackedness
- = SrcUnpack
- | SrcNoUnpack
- | NoSrcUnpack
data SrcStrictness
- = SrcLazy
- | SrcStrict
- | NoSrcStrict
data IfaceAxBranch = IfaceAxBranch {
- ifaxbTyVars :: [IfaceTvBndr]
- ifaxbCoVars :: [IfaceIdBndr]
- ifaxbLHS :: IfaceTcArgs
- ifaxbRoles :: [Role]
- ifaxbRHS :: IfaceType
- ifaxbIncomps :: [BranchIndex]
}
data IfaceTyConParent
- = IfNoParent
- | IfDataInstance IfExtName IfaceTyCon IfaceTcArgs
data IfaceCompleteMatch = IfaceCompleteMatch [IfExtName] IfExtName
type IfaceTopBndr = Name
putIfaceTopBndr :: BinHandle -> IfaceTopBndr -> IO ()
getIfaceTopBndr :: BinHandle -> IO IfaceTopBndr
ifaceDeclImplicitBndrs :: IfaceDecl -> [OccName]
visibleIfConDecls :: IfaceConDecls -> [IfaceConDecl]
ifaceDeclFingerprints :: Fingerprint -> IfaceDecl -> [(OccName, Fingerprint)]
freeNamesIfDecl :: IfaceDecl -> NameSet
freeNamesIfRule :: IfaceRule -> NameSet
freeNamesIfFamInst :: IfaceFamInst -> NameSet
pprIfaceExpr :: (SDoc -> SDoc) -> IfaceExpr -> SDoc
pprIfaceDecl :: ShowSub -> IfaceDecl -> SDoc
newtype AltPpr = AltPpr (Maybe (OccName -> SDoc))
data ShowSub = ShowSub {
- ss_how_much :: ShowHowMuch
- ss_forall :: ShowForAllFlag
}
data ShowHowMuch
- = ShowHeader AltPpr
- | ShowSome [OccName] AltPpr
- | ShowIface
showToIface :: ShowSub
showToHeader :: ShowSub

Documentation

module IfaceType

data IfaceDecl Source #

Constructors

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

Instances

Outputable IfaceDecl #
Instance details Defined in IfaceSyn Methods ppr :: IfaceDecl -> SDoc Source # pprPrec :: Rational -> IfaceDecl -> SDoc Source #
Binary IfaceDecl #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceDecl -> IO () Source # put :: BinHandle -> IfaceDecl -> IO (Bin IfaceDecl) Source # get :: BinHandle -> IO IfaceDecl Source #
HasOccName IfaceDecl #
Instance details Defined in IfaceSyn Methods occName :: IfaceDecl -> OccName Source #
NamedThing IfaceDecl #
Instance details Defined in IfaceSyn Methods getOccName :: IfaceDecl -> OccName Source # getName :: IfaceDecl -> Name Source #

data IfaceFamTyConFlav Source #

Constructors

IfaceDataFamilyTyCon
IfaceOpenSynFamilyTyCon
IfaceClosedSynFamilyTyCon (Maybe (IfExtName, [IfaceAxBranch]))	Name of associated axiom and branches for pretty printing purposes, or `Nothing` for an empty closed family without an axiom
IfaceAbstractClosedSynFamilyTyCon
IfaceBuiltInSynFamTyCon

Instances

Binary IfaceFamTyConFlav #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceFamTyConFlav -> IO () Source # put :: BinHandle -> IfaceFamTyConFlav -> IO (Bin IfaceFamTyConFlav) Source # get :: BinHandle -> IO IfaceFamTyConFlav Source #

data IfaceClassOp Source #

Constructors

IfaceClassOp IfaceTopBndr IfaceType (Maybe (DefMethSpec IfaceType))

Instances

Outputable IfaceClassOp #
Instance details Defined in IfaceSyn Methods ppr :: IfaceClassOp -> SDoc Source # pprPrec :: Rational -> IfaceClassOp -> SDoc Source #
Binary IfaceClassOp #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceClassOp -> IO () Source # put :: BinHandle -> IfaceClassOp -> IO (Bin IfaceClassOp) Source # get :: BinHandle -> IO IfaceClassOp Source #
HasOccName IfaceClassOp #
Instance details Defined in IfaceSyn Methods occName :: IfaceClassOp -> OccName Source #
NamedThing IfaceClassOp #
Instance details Defined in IfaceSyn Methods getOccName :: IfaceClassOp -> OccName Source # getName :: IfaceClassOp -> Name Source #

data IfaceAT Source #

Constructors

IfaceAT IfaceDecl (Maybe IfaceType)

Instances

Outputable IfaceAT #
Instance details Defined in IfaceSyn Methods ppr :: IfaceAT -> SDoc Source # pprPrec :: Rational -> IfaceAT -> SDoc Source #
Binary IfaceAT #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceAT -> IO () Source # put :: BinHandle -> IfaceAT -> IO (Bin IfaceAT) Source # get :: BinHandle -> IO IfaceAT Source #

data IfaceConDecl Source #

Constructors

IfCon
Fields ifConName :: IfaceTopBndr ifConWrapper :: Bool ifConInfix :: Bool ifConExTvs :: [IfaceTvBndr] ifConUserTvBinders :: [IfaceForAllBndr] ifConEqSpec :: IfaceEqSpec ifConCtxt :: IfaceContext ifConArgTys :: [IfaceType] ifConFields :: [FieldLabel] ifConStricts :: [IfaceBang] ifConSrcStricts :: [IfaceSrcBang]

Instances

Binary IfaceConDecl #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceConDecl -> IO () Source # put :: BinHandle -> IfaceConDecl -> IO (Bin IfaceConDecl) Source # get :: BinHandle -> IO IfaceConDecl Source #
HasOccName IfaceConDecl #
Instance details Defined in IfaceSyn Methods occName :: IfaceConDecl -> OccName Source #
NamedThing IfaceConDecl #
Instance details Defined in IfaceSyn Methods getOccName :: IfaceConDecl -> OccName Source # getName :: IfaceConDecl -> Name Source #

data IfaceConDecls Source #

Constructors

IfAbstractTyCon
IfDataTyCon [IfaceConDecl]
IfNewTyCon IfaceConDecl

Instances

Binary IfaceConDecls #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceConDecls -> IO () Source # put :: BinHandle -> IfaceConDecls -> IO (Bin IfaceConDecls) Source # get :: BinHandle -> IO IfaceConDecls Source #

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

data IfaceExpr Source #

Instances

Outputable IfaceExpr #
Instance details Defined in IfaceSyn Methods ppr :: IfaceExpr -> SDoc Source # pprPrec :: Rational -> IfaceExpr -> SDoc Source #
Binary IfaceExpr #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceExpr -> IO () Source # put :: BinHandle -> IfaceExpr -> IO (Bin IfaceExpr) Source # get :: BinHandle -> IO IfaceExpr Source #

type IfaceAlt = (IfaceConAlt, [IfLclName], IfaceExpr) Source #

data IfaceLetBndr Source #

Constructors

IfLetBndr IfLclName IfaceType IfaceIdInfo IfaceJoinInfo

Instances

Binary IfaceLetBndr #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceLetBndr -> IO () Source # put :: BinHandle -> IfaceLetBndr -> IO (Bin IfaceLetBndr) Source # get :: BinHandle -> IO IfaceLetBndr Source #

data IfaceJoinInfo Source #

Constructors

IfaceNotJoinPoint
IfaceJoinPoint JoinArity

Instances

Outputable IfaceJoinInfo #
Instance details Defined in IfaceSyn Methods ppr :: IfaceJoinInfo -> SDoc Source # pprPrec :: Rational -> IfaceJoinInfo -> SDoc Source #
Binary IfaceJoinInfo #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceJoinInfo -> IO () Source # put :: BinHandle -> IfaceJoinInfo -> IO (Bin IfaceJoinInfo) Source # get :: BinHandle -> IO IfaceJoinInfo Source #

data IfaceBinding Source #

Constructors

IfaceNonRec IfaceLetBndr IfaceExpr
IfaceRec [(IfaceLetBndr, IfaceExpr)]

Instances

Binary IfaceBinding #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceBinding -> IO () Source # put :: BinHandle -> IfaceBinding -> IO (Bin IfaceBinding) Source # get :: BinHandle -> IO IfaceBinding Source #

data IfaceConAlt Source #

Constructors

IfaceDefault
IfaceDataAlt IfExtName
IfaceLitAlt Literal

Instances

Outputable IfaceConAlt #
Instance details Defined in IfaceSyn Methods ppr :: IfaceConAlt -> SDoc Source # pprPrec :: Rational -> IfaceConAlt -> SDoc Source #
Binary IfaceConAlt #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceConAlt -> IO () Source # put :: BinHandle -> IfaceConAlt -> IO (Bin IfaceConAlt) Source # get :: BinHandle -> IO IfaceConAlt Source #

data IfaceIdInfo Source #

Constructors

NoInfo
HasInfo [IfaceInfoItem]

Instances

Outputable IfaceIdInfo #
Instance details Defined in IfaceSyn Methods ppr :: IfaceIdInfo -> SDoc Source # pprPrec :: Rational -> IfaceIdInfo -> SDoc Source #
Binary IfaceIdInfo #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceIdInfo -> IO () Source # put :: BinHandle -> IfaceIdInfo -> IO (Bin IfaceIdInfo) Source # get :: BinHandle -> IO IfaceIdInfo Source #

data IfaceIdDetails Source #

Constructors

IfVanillaId
IfRecSelId (Either IfaceTyCon IfaceDecl) Bool
IfDFunId

Instances

Outputable IfaceIdDetails #
Instance details Defined in IfaceSyn Methods ppr :: IfaceIdDetails -> SDoc Source # pprPrec :: Rational -> IfaceIdDetails -> SDoc Source #
Binary IfaceIdDetails #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceIdDetails -> IO () Source # put :: BinHandle -> IfaceIdDetails -> IO (Bin IfaceIdDetails) Source # get :: BinHandle -> IO IfaceIdDetails Source #

data IfaceUnfolding Source #

Constructors

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

Instances

Outputable IfaceUnfolding #
Instance details Defined in IfaceSyn Methods ppr :: IfaceUnfolding -> SDoc Source # pprPrec :: Rational -> IfaceUnfolding -> SDoc Source #
Binary IfaceUnfolding #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceUnfolding -> IO () Source # put :: BinHandle -> IfaceUnfolding -> IO (Bin IfaceUnfolding) Source # get :: BinHandle -> IO IfaceUnfolding Source #

data IfaceInfoItem Source #

Constructors

HsArity Arity
HsStrictness StrictSig
HsInline InlinePragma
HsUnfold Bool IfaceUnfolding
HsNoCafRefs
HsLevity

Instances

Outputable IfaceInfoItem #
Instance details Defined in IfaceSyn Methods ppr :: IfaceInfoItem -> SDoc Source # pprPrec :: Rational -> IfaceInfoItem -> SDoc Source #
Binary IfaceInfoItem #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceInfoItem -> IO () Source # put :: BinHandle -> IfaceInfoItem -> IO (Bin IfaceInfoItem) Source # get :: BinHandle -> IO IfaceInfoItem Source #

data IfaceRule Source #

Constructors

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

Instances

Outputable IfaceRule #
Instance details Defined in IfaceSyn Methods ppr :: IfaceRule -> SDoc Source # pprPrec :: Rational -> IfaceRule -> SDoc Source #
Binary IfaceRule #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceRule -> IO () Source # put :: BinHandle -> IfaceRule -> IO (Bin IfaceRule) Source # get :: BinHandle -> IO IfaceRule Source #

data IfaceAnnotation Source #

Constructors

IfaceAnnotation
Fields ifAnnotatedTarget :: IfaceAnnTarget ifAnnotatedValue :: AnnPayload

Instances

Outputable IfaceAnnotation #
Instance details Defined in IfaceSyn Methods ppr :: IfaceAnnotation -> SDoc Source # pprPrec :: Rational -> IfaceAnnotation -> SDoc Source #
Binary IfaceAnnotation #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceAnnotation -> IO () Source # put :: BinHandle -> IfaceAnnotation -> IO (Bin IfaceAnnotation) Source # get :: BinHandle -> IO IfaceAnnotation Source #

type IfaceAnnTarget = AnnTarget OccName Source #

data IfaceClsInst Source #

Constructors

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

Instances

Outputable IfaceClsInst #
Instance details Defined in IfaceSyn Methods ppr :: IfaceClsInst -> SDoc Source # pprPrec :: Rational -> IfaceClsInst -> SDoc Source #
Binary IfaceClsInst #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceClsInst -> IO () Source # put :: BinHandle -> IfaceClsInst -> IO (Bin IfaceClsInst) Source # get :: BinHandle -> IO IfaceClsInst Source #

data IfaceFamInst Source #

Constructors

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

Instances

Outputable IfaceFamInst #
Instance details Defined in IfaceSyn Methods ppr :: IfaceFamInst -> SDoc Source # pprPrec :: Rational -> IfaceFamInst -> SDoc Source #
Binary IfaceFamInst #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceFamInst -> IO () Source # put :: BinHandle -> IfaceFamInst -> IO (Bin IfaceFamInst) Source # get :: BinHandle -> IO IfaceFamInst Source #

data IfaceTickish Source #

Constructors

IfaceHpcTick Module Int
IfaceSCC CostCentre Bool Bool
IfaceSource RealSrcSpan String

Instances

Binary IfaceTickish #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceTickish -> IO () Source # put :: BinHandle -> IfaceTickish -> IO (Bin IfaceTickish) Source # get :: BinHandle -> IO IfaceTickish Source #

data IfaceClassBody Source #

Constructors

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

data IfaceBang Source #

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

Constructors

IfNoBang
IfStrict
IfUnpack
IfUnpackCo IfaceCoercion

Instances

Binary IfaceBang #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceBang -> IO () Source # put :: BinHandle -> IfaceBang -> IO (Bin IfaceBang) Source # get :: BinHandle -> IO IfaceBang Source #

data IfaceSrcBang Source #

This corresponds to HsSrcBang

Constructors

IfSrcBang SrcUnpackedness SrcStrictness

Instances

Binary IfaceSrcBang #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceSrcBang -> IO () Source # put :: BinHandle -> IfaceSrcBang -> IO (Bin IfaceSrcBang) Source # get :: BinHandle -> IO IfaceSrcBang Source #

data SrcUnpackedness Source #

Source Unpackedness

What unpackedness the user requested

Constructors

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

Instances

Eq SrcUnpackedness #
Instance details Defined in DataCon Methods (==) :: SrcUnpackedness -> SrcUnpackedness -> Bool # (/=) :: SrcUnpackedness -> SrcUnpackedness -> Bool #
Data SrcUnpackedness #
Instance details Defined in DataCon 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 :: (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 #
Outputable SrcUnpackedness #
Instance details Defined in DataCon Methods ppr :: SrcUnpackedness -> SDoc Source # pprPrec :: Rational -> SrcUnpackedness -> SDoc Source #
Binary SrcUnpackedness #
Instance details Defined in DataCon Methods put_ :: BinHandle -> SrcUnpackedness -> IO () Source # put :: BinHandle -> SrcUnpackedness -> IO (Bin SrcUnpackedness) Source # get :: BinHandle -> IO SrcUnpackedness Source #

data SrcStrictness Source #

Source Strictness

What strictness annotation the user wrote

Constructors

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

Instances

Eq SrcStrictness #
Instance details Defined in DataCon Methods (==) :: SrcStrictness -> SrcStrictness -> Bool # (/=) :: SrcStrictness -> SrcStrictness -> Bool #
Data SrcStrictness #
Instance details Defined in DataCon 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 :: (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 #
Outputable SrcStrictness #
Instance details Defined in DataCon Methods ppr :: SrcStrictness -> SDoc Source # pprPrec :: Rational -> SrcStrictness -> SDoc Source #
Binary SrcStrictness #
Instance details Defined in DataCon Methods put_ :: BinHandle -> SrcStrictness -> IO () Source # put :: BinHandle -> SrcStrictness -> IO (Bin SrcStrictness) Source # get :: BinHandle -> IO SrcStrictness Source #

data IfaceAxBranch Source #

Constructors

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

Instances

Binary IfaceAxBranch #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceAxBranch -> IO () Source # put :: BinHandle -> IfaceAxBranch -> IO (Bin IfaceAxBranch) Source # get :: BinHandle -> IO IfaceAxBranch Source #

data IfaceTyConParent Source #

Constructors

IfNoParent
IfDataInstance IfExtName IfaceTyCon IfaceTcArgs

Instances

Outputable IfaceTyConParent #
Instance details Defined in IfaceSyn Methods ppr :: IfaceTyConParent -> SDoc Source # pprPrec :: Rational -> IfaceTyConParent -> SDoc Source #
Binary IfaceTyConParent #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceTyConParent -> IO () Source # put :: BinHandle -> IfaceTyConParent -> IO (Bin IfaceTyConParent) Source # get :: BinHandle -> IO IfaceTyConParent Source #

data IfaceCompleteMatch Source #

Constructors

IfaceCompleteMatch [IfExtName] IfExtName

Instances

Outputable IfaceCompleteMatch #
Instance details Defined in IfaceSyn Methods ppr :: IfaceCompleteMatch -> SDoc Source # pprPrec :: Rational -> IfaceCompleteMatch -> SDoc Source #
Binary IfaceCompleteMatch #
Instance details Defined in IfaceSyn Methods put_ :: BinHandle -> IfaceCompleteMatch -> IO () Source # put :: BinHandle -> IfaceCompleteMatch -> IO (Bin IfaceCompleteMatch) Source # get :: BinHandle -> IO IfaceCompleteMatch Source #

Binding names

type IfaceTopBndr = Name Source #

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

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

getIfaceTopBndr :: BinHandle -> IO IfaceTopBndr Source #

ifaceDeclImplicitBndrs :: IfaceDecl -> [OccName] Source #

visibleIfConDecls :: IfaceConDecls -> [IfaceConDecl] Source #

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

freeNamesIfDecl :: IfaceDecl -> NameSet Source #

freeNamesIfRule :: IfaceRule -> NameSet Source #

freeNamesIfFamInst :: IfaceFamInst -> NameSet Source #

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

Pretty Print an IfaceExpre

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

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

newtype AltPpr Source #

Constructors

AltPpr (Maybe (OccName -> SDoc))

data ShowSub Source #

Constructors

ShowSub
Fields ss_how_much :: ShowHowMuch ss_forall :: ShowForAllFlag

data ShowHowMuch Source #

Constructors

ShowHeader AltPpr

Header information only, not rhs

ShowSome [OccName] AltPpr

Show only some sub-components. Specifically,

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

ShowIface

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

Instances

Outputable ShowHowMuch #
Instance details Defined in IfaceSyn Methods ppr :: ShowHowMuch -> SDoc Source # pprPrec :: Rational -> ShowHowMuch -> SDoc Source #

showToIface :: ShowSub Source #

showToHeader :: ShowSub Source #

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