X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2Ftypes%2FClass.lhs;h=2f946d8592a226f5b9104bf2a7545f28f83839bc;hb=30c122df62ec75f9ed7f392f24c2925675bf1d06;hp=abf7e4b7ad5134e311143d70c9307316ef7d2b16;hpb=bb106f283663e9c16a4c72ec9ca57109ae57a0ed;p=ghc-hetmet.git diff --git a/compiler/types/Class.lhs b/compiler/types/Class.lhs index abf7e4b..2f946d8 100644 --- a/compiler/types/Class.lhs +++ b/compiler/types/Class.lhs @@ -1,7 +1,9 @@ % +% (c) The University of Glasgow 2006 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998 % -\section[Class]{The @Class@ datatype} + +The @Class@ datatype \begin{code} module Class ( @@ -20,11 +22,12 @@ module Class ( import {-# SOURCE #-} TyCon ( TyCon ) import {-# SOURCE #-} TypeRep ( PredType ) -import Var ( Id, TyVar ) -import Name ( NamedThing(..), Name ) -import BasicTypes ( Arity ) -import Unique ( Unique, Uniquable(..) ) +import Var +import Name +import BasicTypes +import Unique import Outputable +import FastString \end{code} %************************************************************************ @@ -115,12 +118,16 @@ classMethods :: Class -> [Id] classMethods (Class {classOpStuff = op_stuff}) = [op_sel | (op_sel, _) <- op_stuff] +classTvsFds :: Class -> ([TyVar], [FunDep TyVar]) classTvsFds c = (classTyVars c, classFunDeps c) +classBigSig :: Class -> ([TyVar], [PredType], [Id], [ClassOpItem]) classBigSig (Class {classTyVars = tyvars, classSCTheta = sc_theta, classSCSels = sc_sels, classOpStuff = op_stuff}) = (tyvars, sc_theta, sc_sels, op_stuff) + +classExtraBigSig :: Class -> ([TyVar], [FunDep TyVar], [PredType], [Id], [TyCon], [ClassOpItem]) classExtraBigSig (Class {classTyVars = tyvars, classFunDeps = fundeps, classSCTheta = sc_theta, classSCSels = sc_sels, classATs = ats, classOpStuff = op_stuff})