\begin{code}
module FamInstEnv (
- FamInst(..), famInstTyCon, pprFamInst, pprFamInstHdr, pprFamInsts,
+ FamInst(..), famInstTyCon, famInstTyVars,
+ pprFamInst, pprFamInstHdr, pprFamInsts,
famInstHead, mkLocalFamInst, mkImportedFamInst,
FamInstEnv, emptyFamInstEnv, extendFamInstEnv, extendFamInstEnvList,
famInstEnvElts, familyInstances,
- lookupFamInstEnvExact, lookupFamInstEnv, lookupFamInstEnvUnify
+ lookupFamInstEnv, lookupFamInstEnvUnify
) where
#include "HsVersions.h"
import Outputable
import Maybe
-import Monad
\end{code}
--
famInstTyCon :: FamInst -> TyCon
famInstTyCon = fi_tycon
+
+famInstTyVars = fi_tvs
\end{code}
\begin{code}
during deriving classes).
\begin{code}
+{- NOT NEEDED ANY MORE
lookupFamInstEnvExact :: (FamInstEnv -- External package inst-env
,FamInstEnv) -- Home-package inst-env
-> TyCon -> [Type] -- What we are looking for
-- No match => try next
| otherwise
= find rest
+-}
\end{code}
@lookupFamInstEnv@ looks up in a @FamInstEnv@, using a one-way match.