IfaceSyn

Synopsis

• module IfaceType
• data IfaceDecl
  • = IfaceId {
    • ifName :: OccName
    • ifType :: IfaceType
    • ifIdDetails :: IfaceIdDetails
    • ifIdInfo :: IfaceIdInfo
    }
  • | IfaceData {
    • ifName :: OccName
    • ifCType :: Maybe CType
    • ifTyVars :: [IfaceTvBndr]
    • ifRoles :: [Role]
    • ifCtxt :: IfaceContext
    • ifCons :: IfaceConDecls
    • ifRec :: RecFlag
    • ifPromotable :: Bool
    • ifGadtSyntax :: Bool
    • ifAxiom :: Maybe IfExtName
    }
  • | IfaceSyn {
    • ifName :: OccName
    • ifTyVars :: [IfaceTvBndr]
    • ifRoles :: [Role]
    • ifSynKind :: IfaceKind
    • ifSynRhs :: IfaceSynTyConRhs
    }
  • | IfaceClass {
    • ifCtxt :: IfaceContext
    • ifName :: OccName
    • ifTyVars :: [IfaceTvBndr]
    • ifRoles :: [Role]
    • ifFDs :: [FunDep FastString]
    • ifATs :: [IfaceAT]
    • ifSigs :: [IfaceClassOp]
    • ifMinDef :: BooleanFormula OccName
    • ifRec :: RecFlag
    }
  • | IfaceAxiom {
    • ifName :: OccName
    • ifTyCon :: IfaceTyCon
    • ifRole :: Role
    • ifAxBranches :: [IfaceAxBranch]
    }
  • | IfaceForeign {
    • ifName :: OccName
    • ifExtName :: Maybe FastString
    }
  • | IfacePatSyn {
    • ifName :: OccName
    • ifPatIsInfix :: Bool
    • ifPatMatcher :: IfExtName
    • ifPatWrapper :: Maybe IfExtName
    • ifPatUnivTvs :: [IfaceTvBndr]
    • ifPatExTvs :: [IfaceTvBndr]
    • ifPatProvCtxt :: IfaceContext
    • ifPatReqCtxt :: IfaceContext
    • ifPatArgs :: [IfaceType]
    • ifPatTy :: IfaceType
    }
• data IfaceSynTyConRhs
  • = IfaceOpenSynFamilyTyCon
  • | IfaceClosedSynFamilyTyCon IfExtName
  • | IfaceAbstractClosedSynFamilyTyCon
  • | IfaceSynonymTyCon IfaceType
• data IfaceClassOp = IfaceClassOp OccName DefMethSpec IfaceType
• data IfaceAT = IfaceAT IfaceDecl [IfaceAxBranch]
• data IfaceConDecl = IfCon {
  • ifConOcc :: OccName
  • ifConWrapper :: Bool
  • ifConInfix :: Bool
  • ifConUnivTvs :: [IfaceTvBndr]
  • ifConExTvs :: [IfaceTvBndr]
  • ifConEqSpec :: [(OccName, IfaceType)]
  • ifConCtxt :: IfaceContext
  • ifConArgTys :: [IfaceType]
  • ifConFields :: [OccName]
  • ifConStricts :: [IfaceBang]
  }
• data IfaceConDecls
  • = IfAbstractTyCon Bool
  • | IfDataFamTyCon
  • | IfDataTyCon [IfaceConDecl]
  • | IfNewTyCon IfaceConDecl
• data IfaceExpr
  • = IfaceLcl IfLclName
  • | IfaceExt IfExtName
  • | IfaceType IfaceType
  • | IfaceCo IfaceCoercion
  • | IfaceTuple TupleSort [IfaceExpr]
  • | IfaceLam IfaceBndr IfaceExpr
  • | IfaceApp IfaceExpr IfaceExpr
  • | IfaceCase IfaceExpr IfLclName [IfaceAlt]
  • | IfaceECase IfaceExpr IfaceType
  • | IfaceLet IfaceBinding IfaceExpr
  • | IfaceCast IfaceExpr IfaceCoercion
  • | IfaceLit Literal
  • | IfaceFCall ForeignCall IfaceType
  • | IfaceTick IfaceTickish IfaceExpr
• type IfaceAlt = (IfaceConAlt, [IfLclName], IfaceExpr)
• data IfaceLetBndr = IfLetBndr IfLclName IfaceType IfaceIdInfo
• data IfaceBinding
  • = IfaceNonRec IfaceLetBndr IfaceExpr
  • | IfaceRec [(IfaceLetBndr, IfaceExpr)]
• data IfaceConAlt
  • = IfaceDefault
  • | IfaceDataAlt IfExtName
  • | IfaceLitAlt Literal
• data IfaceIdInfo
  • = NoInfo
  • | HasInfo [IfaceInfoItem]
• data IfaceIdDetails
  • = IfVanillaId
  • | IfRecSelId IfaceTyCon Bool
  • | IfDFunId Int
• data IfaceUnfolding
  • = IfCoreUnfold Bool IfaceExpr
  • | IfCompulsory IfaceExpr
  • | IfInlineRule Arity Bool Bool IfaceExpr
  • | IfDFunUnfold [IfaceBndr] [IfaceExpr]
• data IfaceInfoItem
  • = HsArity Arity
  • | HsStrictness StrictSig
  • | HsInline InlinePragma
  • | HsUnfold Bool IfaceUnfolding
  • | HsNoCafRefs
• data IfaceRule = IfaceRule {
  • ifRuleName :: RuleName
  • ifActivation :: Activation
  • ifRuleBndrs :: [IfaceBndr]
  • ifRuleHead :: IfExtName
  • ifRuleArgs :: [IfaceExpr]
  • ifRuleRhs :: IfaceExpr
  • ifRuleAuto :: Bool
  • ifRuleOrph :: Maybe OccName
  }
• data IfaceAnnotation = IfaceAnnotation {
  • ifAnnotatedTarget :: IfaceAnnTarget
  • ifAnnotatedValue :: AnnPayload
  }
• type IfaceAnnTarget = AnnTarget OccName
• data IfaceClsInst = IfaceClsInst {
  • ifInstCls :: IfExtName
  • ifInstTys :: [Maybe IfaceTyCon]
  • ifDFun :: IfExtName
  • ifOFlag :: OverlapFlag
  • ifInstOrph :: Maybe OccName
  }
• data IfaceFamInst = IfaceFamInst {
  • ifFamInstFam :: IfExtName
  • ifFamInstTys :: [Maybe IfaceTyCon]
  • ifFamInstAxiom :: IfExtName
  • ifFamInstOrph :: Maybe OccName
  }
• data IfaceTickish
  • = IfaceHpcTick Module Int
  • | IfaceSCC CostCentre Bool Bool
• data IfaceBang
  • = IfNoBang
  • | IfStrict
  • | IfUnpack
  • | IfUnpackCo IfaceCoercion
• data IfaceAxBranch = IfaceAxBranch {
  • ifaxbTyVars :: [IfaceTvBndr]
  • ifaxbLHS :: [IfaceType]
  • ifaxbRoles :: [Role]
  • ifaxbRHS :: IfaceType
  • ifaxbIncomps :: [BranchIndex]
  }
• ifaceDeclImplicitBndrs :: IfaceDecl -> [OccName]
• visibleIfConDecls :: IfaceConDecls -> [IfaceConDecl]
• ifaceDeclFingerprints :: Fingerprint -> IfaceDecl -> [(OccName, Fingerprint)]
• freeNamesIfDecl :: IfaceDecl -> NameSet
• freeNamesIfRule :: IfaceRule -> NameSet
• freeNamesIfFamInst :: IfaceFamInst -> NameSet
• pprIfaceExpr :: (SDoc -> SDoc) -> IfaceExpr -> SDoc

Documentation