IfaceSyn

Documentation

Constructors

IfaceId
Fields ifName :: OccName ifType :: IfaceType ifIdDetails :: IfaceIdDetails ifIdInfo :: IfaceIdInfo
IfaceData
Fields ifName :: OccName ifTyVars :: [IfaceTvBndr] ifCtxt :: IfaceContext ifCons :: IfaceConDecls ifRec :: RecFlag ifGadtSyntax :: Bool ifGeneric :: Bool ifFamInst :: Maybe (IfaceTyCon, [IfaceType])
IfaceSyn
Fields ifName :: OccName ifTyVars :: [IfaceTvBndr] ifSynKind :: IfaceKind ifSynRhs :: Maybe IfaceType ifFamInst :: Maybe (IfaceTyCon, [IfaceType])
IfaceClass
Fields ifCtxt :: IfaceContext ifName :: OccName ifTyVars :: [IfaceTvBndr] ifFDs :: [FunDep FastString] ifATs :: [IfaceDecl] ifSigs :: [IfaceClassOp] ifRec :: RecFlag
IfaceForeign
Fields ifName :: OccName ifExtName :: Maybe FastString

data IfaceClassOp

Constructors

IfaceClassOp OccName DefMethSpec IfaceType

data IfaceConDecl

Constructors

IfCon
Fields ifConOcc :: OccName ifConWrapper :: Bool ifConInfix :: Bool ifConUnivTvs :: [IfaceTvBndr] ifConExTvs :: [IfaceTvBndr] ifConEqSpec :: [(OccName, IfaceType)] ifConCtxt :: IfaceContext ifConArgTys :: [IfaceType] ifConFields :: [OccName] ifConStricts :: [HsBang]

data IfaceConDecls

Constructors

IfAbstractTyCon
IfOpenDataTyCon
IfDataTyCon [IfaceConDecl]
IfNewTyCon IfaceConDecl

type IfaceAlt = (IfaceConAlt, [IfLclName], IfaceExpr)

data IfaceNote

Constructors

IfaceSCC CostCentre
IfaceCoreNote String

data IfaceLetBndr

Constructors

IfLetBndr IfLclName IfaceType IfaceIdInfo

data IfaceBinding

Constructors

IfaceNonRec IfaceLetBndr IfaceExpr
IfaceRec [(IfaceLetBndr, IfaceExpr)]

data IfaceConAlt

Constructors

IfaceDefault
IfaceDataAlt IfExtName
IfaceTupleAlt Boxity
IfaceLitAlt Literal

data IfaceIdInfo

Constructors

NoInfo
HasInfo [IfaceInfoItem]

data IfaceIdDetails

Constructors

IfVanillaId
IfRecSelId IfaceTyCon Bool
IfDFunId Int

data IfaceUnfolding

Constructors

IfCoreUnfold Bool IfaceExpr
IfCompulsory IfaceExpr
IfInlineRule Arity Bool Bool IfaceExpr
IfExtWrapper Arity IfExtName
IfLclWrapper Arity IfLclName
IfDFunUnfold [DFunArg IfaceExpr]

data IfaceInfoItem

Constructors

HsArity Arity
HsStrictness StrictSig
HsInline InlinePragma
HsUnfold Bool IfaceUnfolding
HsNoCafRefs

data IfaceRule

Constructors

IfaceRule
Fields ifRuleName :: RuleName ifActivation :: Activation ifRuleBndrs :: [IfaceBndr] ifRuleHead :: IfExtName ifRuleArgs :: [IfaceExpr] ifRuleRhs :: IfaceExpr ifRuleAuto :: Bool ifRuleOrph :: Maybe OccName

data IfaceAnnotation

Constructors

IfaceAnnotation
Fields ifAnnotatedTarget :: IfaceAnnTarget ifAnnotatedValue :: Serialized

type IfaceAnnTarget = AnnTarget OccName

data IfaceInst

Constructors

IfaceInst
Fields ifInstCls :: IfExtName ifInstTys :: [Maybe IfaceTyCon] ifDFun :: IfExtName ifOFlag :: OverlapFlag ifInstOrph :: Maybe OccName

data IfaceFamInst

Constructors

IfaceFamInst
Fields ifFamInstFam :: IfExtName 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

IfaceLcl IfLclName
IfaceExt IfExtName
IfaceType IfaceType
IfaceTuple Boxity [IfaceExpr]
IfaceLam IfaceBndr IfaceExpr
IfaceApp IfaceExpr IfaceExpr
IfaceCase IfaceExpr IfLclName IfaceType [IfaceAlt]
IfaceLet IfaceBinding IfaceExpr
IfaceNote IfaceNote IfaceExpr
IfaceCast IfaceExpr IfaceCoercion
IfaceLit Literal
IfaceFCall ForeignCall IfaceType
IfaceTick Module Int