DeprecDecl(..), DeprecTxt,
hsDeclName, instDeclName, tyClDeclName, tyClDeclNames,
isClassDecl, isSynDecl, isDataDecl, countTyClDecls, toHsRule,
- mkClassDeclSysNames,
+ mkClassDeclSysNames, isIfaceRuleDecl,
getClassDeclSysNames
) where
getClassDeclSysNames (a:b:c:ds) = (a,b,c,ds)
\end{code}
-
\begin{code}
isDataDecl, isSynDecl, isClassDecl :: TyClDecl name pat -> Bool
name -- Name of the constructor's 'worker Id'
-- Filled in as the ConDecl is built
- [HsTyVarBndr name] -- Existentially quantified type variables
+ [HsTyVarBndr name] -- Existentially quantified type variables
(HsContext name) -- ...and context
-- If both are empty then there are no existentials
name -- Head of LHS
CoreRule
+isIfaceRuleDecl (HsRule _ _ _ _ _ _) = False
+isIfaceRuleDecl other = True
data RuleBndr name
= RuleBndr name