IfaceSyn
Documentation
module IfaceType
data IfaceDecl
Constructors
IfaceId | |
Fields
| |
IfaceData | |
Fields
| |
IfaceSyn | |
IfaceClass | |
Fields
| |
IfaceForeign | |
Fields
|
Instances
data IfaceConDecl
Constructors
IfCon | |
Fields
|
Instances
data IfaceConDecls
Constructors
IfAbstractTyCon | |
IfOpenDataTyCon | |
IfDataTyCon [IfaceConDecl] | |
IfNewTyCon IfaceConDecl |
Instances
data IfaceExpr
Constructors
type IfaceAlt = (IfaceConAlt, [IfLclName], IfaceExpr)
data IfaceBinding
Constructors
IfaceNonRec IfaceLetBndr IfaceExpr | |
IfaceRec [(IfaceLetBndr, IfaceExpr)] |
Instances
data IfaceConAlt
Constructors
IfaceDefault | |
IfaceDataAlt IfExtName | |
IfaceTupleAlt Boxity | |
IfaceLitAlt Literal |
Instances
data IfaceUnfolding
Constructors
IfCoreUnfold Bool IfaceExpr | |
IfCompulsory IfaceExpr | |
IfInlineRule Arity Bool Bool IfaceExpr | |
IfExtWrapper Arity IfExtName | |
IfLclWrapper Arity IfLclName | |
IfDFunUnfold [DFunArg IfaceExpr] |
Instances
data IfaceInfoItem
Constructors
HsArity Arity | |
HsStrictness StrictSig | |
HsInline InlinePragma | |
HsUnfold Bool IfaceUnfolding | |
HsNoCafRefs |
Instances
data IfaceRule
Constructors
IfaceRule | |
Fields
|
Instances
type IfaceAnnTarget = AnnTarget OccName
data IfaceInst
Constructors
IfaceInst | |
Fields
|
Instances
ifaceDeclSubBndrs :: IfaceDecl -> [OccName]
freeNamesIfDecl :: IfaceDecl -> NameSet
freeNamesIfRule :: IfaceRule -> NameSet
pprIfaceExpr :: (SDoc -> SDoc) -> IfaceExpr -> SDoc
pprIfaceDeclHead :: IfaceContext -> OccName -> [IfaceTvBndr] -> SDoc