ghc-6.12.2: The GHC APISource codeContentsIndex
IfaceSyn
Documentation
module IfaceType
data IfaceDecl Source
Constructors
IfaceId
ifName :: OccName
ifType :: IfaceType
ifIdDetails :: IfaceIdDetails
ifIdInfo :: IfaceIdInfo
IfaceData
ifName :: OccName
ifTyVars :: [IfaceTvBndr]
ifCtxt :: IfaceContext
ifCons :: IfaceConDecls
ifRec :: RecFlag
ifGadtSyntax :: Bool
ifGeneric :: Bool
ifFamInst :: Maybe (IfaceTyCon, [IfaceType])
IfaceSyn
ifName :: OccName
ifTyVars :: [IfaceTvBndr]
ifSynKind :: IfaceKind
ifSynRhs :: Maybe IfaceType
ifFamInst :: Maybe (IfaceTyCon, [IfaceType])
IfaceClass
ifCtxt :: IfaceContext
ifName :: OccName
ifTyVars :: [IfaceTvBndr]
ifFDs :: [FunDep FastString]
ifATs :: [IfaceDecl]
ifSigs :: [IfaceClassOp]
ifRec :: RecFlag
IfaceForeign
ifName :: OccName
ifExtName :: Maybe FastString
show/hide Instances
data IfaceClassOp Source
Constructors
IfaceClassOp OccName DefMeth IfaceType
show/hide Instances
data IfaceConDecl Source
Constructors
IfCon
ifConOcc :: OccName
ifConWrapper :: Bool
ifConInfix :: Bool
ifConUnivTvs :: [IfaceTvBndr]
ifConExTvs :: [IfaceTvBndr]
ifConEqSpec :: [(OccName, IfaceType)]
ifConCtxt :: IfaceContext
ifConArgTys :: [IfaceType]
ifConFields :: [OccName]
ifConStricts :: [StrictnessMark]
show/hide Instances
data IfaceConDecls Source
Constructors
IfAbstractTyCon
IfOpenDataTyCon
IfDataTyCon [IfaceConDecl]
IfNewTyCon IfaceConDecl
show/hide Instances
data IfaceExpr Source
Constructors
IfaceLcl FastString
IfaceExt Name
IfaceType IfaceType
IfaceTuple Boxity [IfaceExpr]
IfaceLam IfaceBndr IfaceExpr
IfaceApp IfaceExpr IfaceExpr
IfaceCase IfaceExpr FastString IfaceType [IfaceAlt]
IfaceLet IfaceBinding IfaceExpr
IfaceNote IfaceNote IfaceExpr
IfaceCast IfaceExpr IfaceCoercion
IfaceLit Literal
IfaceFCall ForeignCall IfaceType
IfaceTick Module Int
show/hide Instances
type IfaceAlt = (IfaceConAlt, [FastString], IfaceExpr)Source
data IfaceNote Source
Constructors
IfaceSCC CostCentre
IfaceInlineMe
IfaceCoreNote String
show/hide Instances
data IfaceLetBndr Source
Constructors
IfLetBndr FastString IfaceType IfaceIdInfo
show/hide Instances
data IfaceBinding Source
Constructors
IfaceNonRec IfaceLetBndr IfaceExpr
IfaceRec [(IfaceLetBndr, IfaceExpr)]
show/hide Instances
data IfaceConAlt Source
Constructors
IfaceDefault
IfaceDataAlt Name
IfaceTupleAlt Boxity
IfaceLitAlt Literal
show/hide Instances
data IfaceIdInfo Source
Constructors
NoInfo
HasInfo [IfaceInfoItem]
show/hide Instances
data IfaceIdDetails Source
Constructors
IfVanillaId
IfRecSelId IfaceTyCon Bool
IfDFunId
show/hide Instances
data IfaceInfoItem Source
Constructors
HsArity Arity
HsStrictness StrictSig
HsInline InlinePragma
HsUnfold IfaceExpr
HsNoCafRefs
HsWorker Name Arity
show/hide Instances
data IfaceRule Source
Constructors
IfaceRule
ifRuleName :: RuleName
ifActivation :: Activation
ifRuleBndrs :: [IfaceBndr]
ifRuleHead :: Name
ifRuleArgs :: [IfaceExpr]
ifRuleRhs :: IfaceExpr
ifRuleOrph :: Maybe OccName
show/hide Instances
data IfaceAnnotation Source
Constructors
IfaceAnnotation
ifAnnotatedTarget :: IfaceAnnTarget
ifAnnotatedValue :: Serialized
show/hide Instances
type IfaceAnnTarget = AnnTarget OccNameSource
data IfaceInst Source
Constructors
IfaceInst
ifInstCls :: Name
ifInstTys :: [Maybe IfaceTyCon]
ifDFun :: Name
ifOFlag :: OverlapFlag
ifInstOrph :: Maybe OccName
show/hide Instances
data IfaceFamInst Source
Constructors
IfaceFamInst
ifFamInstFam :: Name
ifFamInstTys :: [Maybe IfaceTyCon]
ifFamInstTyCon :: IfaceTyCon
show/hide Instances
ifaceDeclSubBndrs :: IfaceDecl -> [OccName]Source
visibleIfConDecls :: IfaceConDecls -> [IfaceConDecl]Source
freeNamesIfDecl :: IfaceDecl -> NameSetSource
freeNamesIfRule :: IfaceRule -> NameSetSource
pprIfaceExpr :: (SDoc -> SDoc) -> IfaceExpr -> SDocSource
pprIfaceDeclHead :: IfaceContext -> OccName -> [IfaceTvBndr] -> SDocSource
Produced by Haddock version 2.6.1