ghc-6.12.3: The GHC API Source code Contents Index

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 Instances Outputable IfaceDecl Binary IfaceDecl

data IfaceClassOp Source

Constructors IfaceClassOp OccName DefMeth IfaceType Instances Outputable IfaceClassOp Binary IfaceClassOp

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] Instances Binary IfaceConDecl

data IfaceConDecls Source

Constructors IfAbstractTyCon IfOpenDataTyCon IfDataTyCon [IfaceConDecl] IfNewTyCon IfaceConDecl Instances Binary IfaceConDecls

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 Instances Outputable IfaceExpr Binary IfaceExpr

type IfaceAlt = (IfaceConAlt, [FastString], IfaceExpr) Source

data IfaceNote Source

Constructors IfaceSCC CostCentre IfaceInlineMe IfaceCoreNote String Instances Outputable IfaceNote Binary IfaceNote

data IfaceLetBndr Source

Constructors IfLetBndr FastString IfaceType IfaceIdInfo Instances Binary IfaceLetBndr

data IfaceBinding Source

Constructors IfaceNonRec IfaceLetBndr IfaceExpr IfaceRec [(IfaceLetBndr, IfaceExpr)] Instances Binary IfaceBinding

data IfaceConAlt Source

Constructors IfaceDefault IfaceDataAlt Name IfaceTupleAlt Boxity IfaceLitAlt Literal Instances Outputable IfaceConAlt Binary IfaceConAlt

data IfaceIdInfo Source

Constructors NoInfo HasInfo [IfaceInfoItem] Instances Outputable IfaceIdInfo Binary IfaceIdInfo

data IfaceIdDetails Source

Constructors IfVanillaId IfRecSelId IfaceTyCon Bool IfDFunId Instances Outputable IfaceIdDetails Binary IfaceIdDetails

data IfaceInfoItem Source

Constructors HsArity Arity HsStrictness StrictSig HsInline InlinePragma HsUnfold IfaceExpr HsNoCafRefs HsWorker Name Arity Instances Outputable IfaceInfoItem Binary IfaceInfoItem

data IfaceRule Source

Constructors IfaceRule ifRuleName :: RuleName ifActivation :: Activation ifRuleBndrs :: [IfaceBndr] ifRuleHead :: Name ifRuleArgs :: [IfaceExpr] ifRuleRhs :: IfaceExpr ifRuleOrph :: Maybe OccName Instances Outputable IfaceRule Binary IfaceRule

data IfaceAnnotation Source

Constructors IfaceAnnotation ifAnnotatedTarget :: IfaceAnnTarget ifAnnotatedValue :: Serialized Instances Binary IfaceAnnotation

type IfaceAnnTarget = AnnTarget OccName Source

data IfaceInst Source

Constructors IfaceInst ifInstCls :: Name ifInstTys :: [Maybe IfaceTyCon] ifDFun :: Name ifOFlag :: OverlapFlag ifInstOrph :: Maybe OccName Instances Outputable IfaceInst Binary IfaceInst

data IfaceFamInst Source

Constructors IfaceFamInst ifFamInstFam :: Name ifFamInstTys :: [Maybe IfaceTyCon] ifFamInstTyCon :: IfaceTyCon Instances Outputable IfaceFamInst Binary IfaceFamInst

ifaceDeclSubBndrs :: IfaceDecl -> [OccName] Source

visibleIfConDecls :: IfaceConDecls -> [IfaceConDecl] Source

freeNamesIfDecl :: IfaceDecl -> NameSet Source

freeNamesIfRule :: IfaceRule -> NameSet Source

pprIfaceExpr :: (SDoc -> SDoc) -> IfaceExpr -> SDoc Source

pprIfaceDeclHead :: IfaceContext -> OccName -> [IfaceTvBndr] -> SDoc Source

Produced by Haddock version 2.6.1