ghc-6.12.1: The GHC API Contents Index

IfaceSyn

Documentation

module IfaceType

data IfaceDecl

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

Constructors IfaceClassOp OccName DefMeth IfaceType

data IfaceConDecl

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

Constructors IfAbstractTyCon IfOpenDataTyCon IfDataTyCon [IfaceConDecl] IfNewTyCon IfaceConDecl

data IfaceExpr

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)

data IfaceNote

Constructors IfaceSCC CostCentre IfaceInlineMe IfaceCoreNote String

data IfaceLetBndr

Constructors IfLetBndr FastString IfaceType IfaceIdInfo

data IfaceBinding

Constructors IfaceNonRec IfaceLetBndr IfaceExpr IfaceRec [(IfaceLetBndr, IfaceExpr)]

data IfaceConAlt

Constructors IfaceDefault IfaceDataAlt Name IfaceTupleAlt Boxity IfaceLitAlt Literal

data IfaceIdInfo

Constructors NoInfo HasInfo [IfaceInfoItem]

data IfaceIdDetails

Constructors IfVanillaId IfRecSelId IfaceTyCon Bool IfDFunId

data IfaceInfoItem

Constructors HsArity Arity HsStrictness StrictSig HsInline InlinePragma HsUnfold IfaceExpr HsNoCafRefs HsWorker Name Arity

data IfaceRule

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

data IfaceAnnotation

Constructors IfaceAnnotation ifAnnotatedTarget :: IfaceAnnTarget ifAnnotatedValue :: Serialized

type IfaceAnnTarget = AnnTarget OccName

data IfaceInst

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

data IfaceFamInst

Constructors IfaceFamInst ifFamInstFam :: Name ifFamInstTys :: [Maybe IfaceTyCon] ifFamInstTyCon :: IfaceTyCon

ifaceDeclSubBndrs :: IfaceDecl -> [OccName]

visibleIfConDecls :: IfaceConDecls -> [IfaceConDecl]

freeNamesIfDecl :: IfaceDecl -> NameSet

freeNamesIfRule :: IfaceRule -> NameSet

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

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

Produced by Haddock version 2.6.0