mkClass, classTyVars,
classKey, className, classSelIds, classTyCon,
- classBigSig, classExtraBigSig, classInstEnv, classTvsFds
+ classBigSig, classExtraBigSig, classTvsFds
) where
#include "HsVersions.h"
import {-# SOURCE #-} TyCon ( TyCon )
import {-# SOURCE #-} TypeRep ( Type )
-import {-# SOURCE #-} InstEnv ( InstEnv )
import Var ( Id, TyVar )
import Name ( NamedThing(..), Name )
classOpStuff :: [ClassOpItem], -- Ordered by tag
- classInstEnv :: InstEnv, -- All the instances of this class
-
classTyCon :: TyCon -- The data type constructor for dictionaries
} -- of this class
-> [(Class,[Type])] -> [Id]
-> [(Id, Id, Bool)]
-> TyCon
- -> InstEnv
-> Class
mkClass name tyvars fds super_classes superdict_sels
- op_stuff tycon class_insts
+ op_stuff tycon
= Class { classKey = getUnique name,
className = name,
classTyVars = tyvars,
classSCTheta = super_classes,
classSCSels = superdict_sels,
classOpStuff = op_stuff,
- classInstEnv = class_insts,
classTyCon = tycon }
\end{code}