IfaceSyn

Synopsis

• module IfaceType
• data IfaceDecl
  • = IfaceId {
    • ifName :: OccName
    • ifType :: IfaceType
    • ifIdDetails :: IfaceIdDetails
    • ifIdInfo :: IfaceIdInfo
    }
  • | IfaceData {
    • ifName :: OccName
    • ifTyVars :: [IfaceTvBndr]
    • ifCtxt :: IfaceContext
    • ifCons :: IfaceConDecls
    • ifRec :: RecFlag
    • ifGadtSyntax :: 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 = IfaceClassOp OccName DefMethSpec IfaceType
• data IfaceConDecl = IfCon {
  • ifConOcc :: OccName
  • ifConWrapper :: Bool
  • ifConInfix :: Bool
  • ifConUnivTvs :: [IfaceTvBndr]
  • ifConExTvs :: [IfaceTvBndr]
  • ifConEqSpec :: [(OccName, IfaceType)]
  • ifConCtxt :: IfaceContext
  • ifConArgTys :: [IfaceType]
  • ifConFields :: [OccName]
  • ifConStricts :: [HsBang]
  }
• data IfaceConDecls
  • = IfAbstractTyCon
  • | IfOpenDataTyCon
  • | IfDataTyCon [IfaceConDecl]
  • | IfNewTyCon IfaceConDecl
• data IfaceExpr
  • = IfaceLcl IfLclName
  • | IfaceExt IfExtName
  • | IfaceType IfaceType
  • | IfaceCo IfaceType
  • | IfaceTuple Boxity [IfaceExpr]
  • | IfaceLam IfaceBndr IfaceExpr
  • | IfaceApp IfaceExpr IfaceExpr
  • | IfaceCase IfaceExpr IfLclName [IfaceAlt]
  • | IfaceLet IfaceBinding IfaceExpr
  • | IfaceNote IfaceNote IfaceExpr
  • | IfaceCast IfaceExpr IfaceCoercion
  • | IfaceLit Literal
  • | IfaceFCall ForeignCall IfaceType
  • | IfaceTick Module Int
• type IfaceAlt = (IfaceConAlt, [IfLclName], IfaceExpr)
• data IfaceNote
  • = IfaceSCC CostCentre
  • | IfaceCoreNote String
• data IfaceLetBndr = IfLetBndr IfLclName IfaceType IfaceIdInfo
• data IfaceBinding
  • = IfaceNonRec IfaceLetBndr IfaceExpr
  • | IfaceRec [(IfaceLetBndr, IfaceExpr)]
• data IfaceConAlt
  • = IfaceDefault
  • | IfaceDataAlt IfExtName
  • | IfaceTupleAlt Boxity
  • | IfaceLitAlt Literal
• data IfaceIdInfo
  • = NoInfo
  • | HasInfo [IfaceInfoItem]
• data IfaceIdDetails
  • = IfVanillaId
  • | IfRecSelId IfaceTyCon Bool
  • | IfDFunId
• data IfaceUnfolding
  • = IfCoreUnfold Bool IfaceExpr
  • | IfCompulsory IfaceExpr
  • | IfInlineRule Arity Bool Bool IfaceExpr
  • | IfExtWrapper Arity IfExtName
  • | IfLclWrapper Arity IfLclName
  • | IfDFunUnfold [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 :: Serialized
  }
• type IfaceAnnTarget = AnnTarget OccName
• data IfaceInst = IfaceInst {
  • ifInstCls :: IfExtName
  • ifInstTys :: [Maybe IfaceTyCon]
  • ifDFun :: IfExtName
  • ifOFlag :: OverlapFlag
  • ifInstOrph :: Maybe OccName
  }
• data IfaceFamInst = IfaceFamInst {
  • 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

Documentation