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