hsDeclName, instDeclName,
tyClDeclName, tyClDeclNames, tyClDeclSysNames, tyClDeclTyVars,
isClassDecl, isSynDecl, isDataDecl, isIfaceSigDecl, countTyClDecls,
- mkClassDeclSysNames, isIfaceRuleDecl, isIfaceInstDecl, ifaceRuleDeclName,
+ mkClassDeclSysNames, isSourceInstDecl, ifaceRuleDeclName,
getClassDeclSysNames, conDetailsTys,
collectRuleBndrSigTys
) where
import SrcLoc ( SrcLoc )
import FastString
-import Maybe ( isNothing, isJust, fromJust )
+import Maybe ( isNothing, fromJust )
\end{code}
SrcLoc
-isIfaceInstDecl :: InstDecl name pat -> Bool
-isIfaceInstDecl (InstDecl _ _ _ maybe_dfun _) = isJust maybe_dfun
+isSourceInstDecl :: InstDecl name pat -> Bool
+isSourceInstDecl (InstDecl _ _ _ maybe_dfun _) = isNothing maybe_dfun
\end{code}
\begin{code}
name -- Head of LHS
CoreRule
-isIfaceRuleDecl :: RuleDecl name pat -> Bool
-isIfaceRuleDecl (HsRule _ _ _ _ _ _) = False
-isIfaceRuleDecl other = True
-
ifaceRuleDeclName :: RuleDecl name pat -> name
ifaceRuleDeclName (IfaceRule _ _ _ n _ _ _) = n
ifaceRuleDeclName (IfaceRuleOut n r) = n