Safe Haskell | None |
---|---|
Language | Haskell2010 |
IfaceSyn
Contents
Synopsis
- module IfaceType
- 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 :: [IfaceForAllBndr]
- ifPatExBndrs :: [IfaceForAllBndr]
- 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 {}
- 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 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
- data IfaceBinding
- data IfaceConAlt
- data IfaceIdInfo
- = NoInfo
- | HasInfo [IfaceInfoItem]
- data IfaceIdDetails
- data IfaceUnfolding
- data IfaceInfoItem
- data IfaceRule = IfaceRule {}
- data IfaceAnnotation = IfaceAnnotation {}
- type IfaceAnnTarget = AnnTarget OccName
- data IfaceClsInst = IfaceClsInst {}
- data IfaceFamInst = IfaceFamInst {}
- data IfaceTickish
- data IfaceClassBody
- = IfAbstractClass
- | IfConcreteClass {
- ifClassCtxt :: IfaceContext
- ifATs :: [IfaceAT]
- ifSigs :: [IfaceClassOp]
- ifMinDef :: BooleanFormula IfLclName
- data IfaceBang
- data IfaceSrcBang = IfSrcBang SrcUnpackedness SrcStrictness
- data SrcUnpackedness
- data SrcStrictness
- data IfaceAxBranch = IfaceAxBranch {
- ifaxbTyVars :: [IfaceTvBndr]
- ifaxbCoVars :: [IfaceIdBndr]
- ifaxbLHS :: IfaceTcArgs
- ifaxbRoles :: [Role]
- ifaxbRHS :: IfaceType
- ifaxbIncomps :: [BranchIndex]
- data IfaceTyConParent
- 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 {}
- data ShowHowMuch
- showToIface :: ShowSub
- showToHeader :: ShowSub
Documentation
module IfaceType
Constructors
Instances
Outputable IfaceDecl # | |
Binary IfaceDecl # | |
HasOccName IfaceDecl # | |
NamedThing IfaceDecl # | |
data IfaceFamTyConFlav Source #
Constructors
IfaceDataFamilyTyCon | |
IfaceOpenSynFamilyTyCon | |
IfaceClosedSynFamilyTyCon (Maybe (IfExtName, [IfaceAxBranch])) | Name of associated axiom and branches for pretty printing purposes,
or |
IfaceAbstractClosedSynFamilyTyCon | |
IfaceBuiltInSynFamTyCon |
Instances
Binary IfaceFamTyConFlav # | |
Methods put_ :: BinHandle -> IfaceFamTyConFlav -> IO () Source # put :: BinHandle -> IfaceFamTyConFlav -> IO (Bin IfaceFamTyConFlav) Source # |
data IfaceClassOp Source #
Constructors
IfaceClassOp IfaceTopBndr IfaceType (Maybe (DefMethSpec IfaceType)) |
Instances
Outputable IfaceClassOp # | |
Binary IfaceClassOp # | |
Methods put_ :: BinHandle -> IfaceClassOp -> IO () Source # put :: BinHandle -> IfaceClassOp -> IO (Bin IfaceClassOp) Source # | |
HasOccName IfaceClassOp # | |
Methods occName :: IfaceClassOp -> OccName Source # | |
NamedThing IfaceClassOp # | |
data IfaceConDecl Source #
Constructors
IfCon | |
Fields
|
Instances
Binary IfaceConDecl # | |
Methods put_ :: BinHandle -> IfaceConDecl -> IO () Source # put :: BinHandle -> IfaceConDecl -> IO (Bin IfaceConDecl) Source # | |
HasOccName IfaceConDecl # | |
Methods occName :: IfaceConDecl -> OccName Source # | |
NamedThing IfaceConDecl # | |
data IfaceConDecls Source #
Constructors
IfAbstractTyCon | |
IfDataTyCon [IfaceConDecl] | |
IfNewTyCon IfaceConDecl |
Instances
Binary IfaceConDecls # | |
Methods put_ :: BinHandle -> IfaceConDecls -> IO () Source # put :: BinHandle -> IfaceConDecls -> IO (Bin IfaceConDecls) Source # |
type IfaceEqSpec = [(IfLclName, IfaceType)] Source #
Constructors
data IfaceLetBndr Source #
Constructors
IfLetBndr IfLclName IfaceType IfaceIdInfo IfaceJoinInfo |
Instances
Binary IfaceLetBndr # | |
Methods put_ :: BinHandle -> IfaceLetBndr -> IO () Source # put :: BinHandle -> IfaceLetBndr -> IO (Bin IfaceLetBndr) Source # |
data IfaceJoinInfo Source #
Constructors
IfaceNotJoinPoint | |
IfaceJoinPoint JoinArity |
Instances
Outputable IfaceJoinInfo # | |
Binary IfaceJoinInfo # | |
Methods put_ :: BinHandle -> IfaceJoinInfo -> IO () Source # put :: BinHandle -> IfaceJoinInfo -> IO (Bin IfaceJoinInfo) Source # |
data IfaceBinding Source #
Constructors
IfaceNonRec IfaceLetBndr IfaceExpr | |
IfaceRec [(IfaceLetBndr, IfaceExpr)] |
Instances
Binary IfaceBinding # | |
Methods put_ :: BinHandle -> IfaceBinding -> IO () Source # put :: BinHandle -> IfaceBinding -> IO (Bin IfaceBinding) Source # |
data IfaceConAlt Source #
Constructors
IfaceDefault | |
IfaceDataAlt IfExtName | |
IfaceLitAlt Literal |
Instances
Outputable IfaceConAlt # | |
Binary IfaceConAlt # | |
Methods put_ :: BinHandle -> IfaceConAlt -> IO () Source # put :: BinHandle -> IfaceConAlt -> IO (Bin IfaceConAlt) Source # |
data IfaceIdInfo Source #
Constructors
NoInfo | |
HasInfo [IfaceInfoItem] |
Instances
Outputable IfaceIdInfo # | |
Binary IfaceIdInfo # | |
Methods put_ :: BinHandle -> IfaceIdInfo -> IO () Source # put :: BinHandle -> IfaceIdInfo -> IO (Bin IfaceIdInfo) Source # |
data IfaceIdDetails Source #
Constructors
IfVanillaId | |
IfRecSelId (Either IfaceTyCon IfaceDecl) Bool | |
IfDFunId |
Instances
Outputable IfaceIdDetails # | |
Binary IfaceIdDetails # | |
Methods put_ :: BinHandle -> IfaceIdDetails -> IO () Source # put :: BinHandle -> IfaceIdDetails -> IO (Bin IfaceIdDetails) Source # |
data IfaceUnfolding Source #
Constructors
IfCoreUnfold Bool IfaceExpr | |
IfCompulsory IfaceExpr | |
IfInlineRule Arity Bool Bool IfaceExpr | |
IfDFunUnfold [IfaceBndr] [IfaceExpr] |
Instances
Outputable IfaceUnfolding # | |
Binary IfaceUnfolding # | |
Methods put_ :: BinHandle -> IfaceUnfolding -> IO () Source # put :: BinHandle -> IfaceUnfolding -> IO (Bin IfaceUnfolding) Source # |
data IfaceInfoItem Source #
Constructors
HsArity Arity | |
HsStrictness StrictSig | |
HsInline InlinePragma | |
HsUnfold Bool IfaceUnfolding | |
HsNoCafRefs | |
HsLevity |
Instances
Outputable IfaceInfoItem # | |
Binary IfaceInfoItem # | |
Methods put_ :: BinHandle -> IfaceInfoItem -> IO () Source # put :: BinHandle -> IfaceInfoItem -> IO (Bin IfaceInfoItem) Source # |
Constructors
IfaceRule | |
Fields
|
data IfaceAnnotation Source #
Constructors
IfaceAnnotation | |
Fields |
Instances
Outputable IfaceAnnotation # | |
Binary IfaceAnnotation # | |
Methods put_ :: BinHandle -> IfaceAnnotation -> IO () Source # put :: BinHandle -> IfaceAnnotation -> IO (Bin IfaceAnnotation) Source # |
type IfaceAnnTarget = AnnTarget OccName Source #
data IfaceClsInst Source #
Constructors
IfaceClsInst | |
Fields
|
Instances
Outputable IfaceClsInst # | |
Binary IfaceClsInst # | |
Methods put_ :: BinHandle -> IfaceClsInst -> IO () Source # put :: BinHandle -> IfaceClsInst -> IO (Bin IfaceClsInst) Source # |
data IfaceFamInst Source #
Constructors
IfaceFamInst | |
Fields |
Instances
Outputable IfaceFamInst # | |
Binary IfaceFamInst # | |
Methods put_ :: BinHandle -> IfaceFamInst -> IO () Source # put :: BinHandle -> IfaceFamInst -> IO (Bin IfaceFamInst) Source # |
data IfaceTickish Source #
Constructors
IfaceHpcTick Module Int | |
IfaceSCC CostCentre Bool Bool | |
IfaceSource RealSrcSpan String |
Instances
Binary IfaceTickish # | |
Methods put_ :: BinHandle -> IfaceTickish -> IO () Source # put :: BinHandle -> IfaceTickish -> IO (Bin IfaceTickish) Source # |
data IfaceClassBody Source #
Constructors
IfAbstractClass | |
IfConcreteClass | |
Fields
|
This corresponds to an HsImplBang; that is, the final implementation decision about the data constructor arg
Constructors
IfNoBang | |
IfStrict | |
IfUnpack | |
IfUnpackCo IfaceCoercion |
data IfaceSrcBang Source #
This corresponds to HsSrcBang
Constructors
IfSrcBang SrcUnpackedness SrcStrictness |
Instances
Binary IfaceSrcBang # | |
Methods put_ :: BinHandle -> IfaceSrcBang -> IO () Source # put :: BinHandle -> IfaceSrcBang -> IO (Bin IfaceSrcBang) Source # |
data SrcUnpackedness Source #
Source Unpackedness
What unpackedness the user requested
Constructors
SrcUnpack | |
SrcNoUnpack | |
NoSrcUnpack | no unpack pragma |
Instances
data SrcStrictness Source #
Source Strictness
What strictness annotation the user wrote
Constructors
SrcLazy | Lazy, ie '~' |
SrcStrict | Strict, ie |
NoSrcStrict | no strictness annotation |
Instances
data IfaceAxBranch Source #
Constructors
IfaceAxBranch | |
Fields
|
Instances
Binary IfaceAxBranch # | |
Methods put_ :: BinHandle -> IfaceAxBranch -> IO () Source # put :: BinHandle -> IfaceAxBranch -> IO (Bin IfaceAxBranch) Source # |
data IfaceTyConParent Source #
Constructors
IfNoParent | |
IfDataInstance IfExtName IfaceTyCon IfaceTcArgs |
Instances
Outputable IfaceTyConParent # | |
Binary IfaceTyConParent # | |
Methods put_ :: BinHandle -> IfaceTyConParent -> IO () Source # put :: BinHandle -> IfaceTyConParent -> IO (Bin IfaceTyConParent) Source # |
data IfaceCompleteMatch Source #
Constructors
IfaceCompleteMatch [IfExtName] IfExtName |
Instances
Outputable IfaceCompleteMatch # | |
Binary IfaceCompleteMatch # | |
Methods put_ :: BinHandle -> IfaceCompleteMatch -> IO () Source # put :: BinHandle -> IfaceCompleteMatch -> IO (Bin IfaceCompleteMatch) Source # |
Binding names
type IfaceTopBndr = Name Source #
putIfaceTopBndr :: BinHandle -> 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 IfaceExpre
The first argument should be a function that adds parens in context that need an atomic value (e.g. function args)
Constructors
ShowSub | |
Fields |
data ShowHowMuch Source #
Constructors
ShowHeader AltPpr | Header information only, not rhs |
ShowSome [OccName] AltPpr | Show only some sub-components. Specifically,
|
ShowIface | Everything including GHC-internal information (used in --show-iface) |
Instances
Outputable ShowHowMuch # | |