ghc-6.12.1: 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
data IfaceClassOp Source
Constructors
IfaceClassOp OccName DefMeth IfaceType
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]
data IfaceConDecls Source
Constructors
IfAbstractTyCon
IfOpenDataTyCon
IfDataTyCon [IfaceConDecl]
IfNewTyCon IfaceConDecl
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
type IfaceAlt = (IfaceConAlt, [FastString], IfaceExpr)Source
data IfaceNote Source
Constructors
IfaceSCC CostCentre
IfaceInlineMe
IfaceCoreNote String
data IfaceLetBndr Source
Constructors
IfLetBndr FastString IfaceType IfaceIdInfo
data IfaceBinding Source
Constructors
IfaceNonRec IfaceLetBndr IfaceExpr
IfaceRec [(IfaceLetBndr, IfaceExpr)]
data IfaceConAlt Source
Constructors
IfaceDefault
IfaceDataAlt Name
IfaceTupleAlt Boxity
IfaceLitAlt Literal
data IfaceIdInfo Source
Constructors
NoInfo
HasInfo [IfaceInfoItem]
data IfaceIdDetails Source
Constructors
IfVanillaId
IfRecSelId IfaceTyCon Bool
IfDFunId
data IfaceInfoItem Source
Constructors
HsArity Arity
HsStrictness StrictSig
HsInline InlinePragma
HsUnfold IfaceExpr
HsNoCafRefs
HsWorker Name Arity
data IfaceRule Source
Constructors
IfaceRule
ifRuleName :: RuleName
ifActivation :: Activation
ifRuleBndrs :: [IfaceBndr]
ifRuleHead :: Name
ifRuleArgs :: [IfaceExpr]
ifRuleRhs :: IfaceExpr
ifRuleOrph :: Maybe OccName
data IfaceAnnotation Source
Constructors
IfaceAnnotation
ifAnnotatedTarget :: IfaceAnnTarget
ifAnnotatedValue :: Serialized
type IfaceAnnTarget = AnnTarget OccNameSource
data IfaceInst Source
Constructors
IfaceInst
ifInstCls :: Name
ifInstTys :: [Maybe IfaceTyCon]
ifDFun :: Name
ifOFlag :: OverlapFlag
ifInstOrph :: Maybe OccName
data IfaceFamInst Source
Constructors
IfaceFamInst
ifFamInstFam :: Name
ifFamInstTys :: [Maybe IfaceTyCon]
ifFamInstTyCon :: IfaceTyCon
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.0