ghc/compiler/types/Class.lhs

   1 %
   2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1996
   3 %
   4 \section[Class]{The @Class@ datatype}
   5
   6 \begin{code}
   7 #include "HsVersions.h"
   8
   9 module Class (
  10         GenClass(..), Class(..),
  11
  12         mkClass,
  13         getClassKey, getClassOps, getClassSelIds,
  14         getSuperDictSelId, getClassOpId, getDefaultMethodId,
  15         getClassSig, getClassBigSig, getClassInstEnv,
  16         isSuperClassOf,
  17
  18         derivableClassKeys, cCallishClassKeys,
  19         isNumericClass, isStandardClass, isCcallishClass,
  20
  21         GenClassOp(..), ClassOp(..),
  22         mkClassOp,
  23         getClassOpTag, getClassOpString,
  24         getClassOpLocalType,
  25
  26         ClassInstEnv(..)
  27
  28         -- and to make the interface self-sufficient...
  29     ) where
  30
  31 CHK_Ubiq() -- debugging consistency check
  32
  33 import TyLoop
  34
  35 import TyCon            ( TyCon )
  36 import TyVar            ( TyVar(..), GenTyVar )
  37 import Usage            ( GenUsage, Usage(..), UVar(..) )
  38
  39 import Maybes           ( assocMaybe, Maybe )
  40 --import Name           ( Name )
  41 import Unique           -- Keys for built-in classes
  42 --import Outputable     ( Outputable(..), NamedThing(..), ExportFlag )
  43 import Pretty           ( Pretty(..), PrettyRep )
  44 import PprStyle         ( PprStyle )
  45 import SrcLoc           ( SrcLoc )
  46 import Util
  47 \end{code}
  48
  49 %************************************************************************
  50 %*                                                                      *
  51 \subsection[Class-basic]{@Class@: basic definition}
  52 %*                                                                      *
  53 %************************************************************************
  54
  55 A @Class@ corresponds to a Greek kappa in the static semantics:
  56
  57 The parameterisation wrt tyvar and uvar is only necessary to
  58 get appropriately general instances of Ord3 for GenType.
  59
  60 \begin{code}
  61 data GenClassOp ty
  62   = ClassOp     FAST_STRING -- The operation name
  63
  64                 Int     -- Unique within a class; starts at 1
  65
  66                 ty      -- Type; the class tyvar is free (you can find
  67                         -- it from the class). This means that a
  68                         -- ClassOp doesn't make much sense outside the
  69                         -- context of its parent class.
  70
  71 data GenClass tyvar uvar
  72   = Class
  73         Unique          -- Key for fast comparison
  74         Name
  75
  76         tyvar           -- The class type variable
  77
  78         [GenClass tyvar uvar]   -- Immediate superclasses, and the
  79         [Id]                    -- corresponding selector functions to
  80                                 -- extract them from a dictionary of this
  81                                 -- class
  82
  83         [GenClassOp (GenType tyvar uvar)] -- The * class operations
  84         [Id]                              --     * selector functions
  85         [Id]                              --     * default methods
  86                           -- They are all ordered by tag.  The
  87                           -- selector ids are less innocent than they
  88                           -- look, because their IdInfos contains
  89                           -- suitable specialisation information.  In
  90                           -- particular, constant methods are
  91                           -- instances of selectors at suitably simple
  92                           -- types.
  93
  94         ClassInstEnv      -- Gives details of all the instances of this class
  95
  96         [(GenClass tyvar uvar, [GenClass tyvar uvar])]
  97                           -- Indirect superclasses;
  98                           --   (k,[k1,...,kn]) means that
  99                           --   k is an immediate superclass of k1
 100                           --   k1 is an immediate superclass of k2
 101                           --   ... and kn is an immediate superclass
 102                           -- of this class.  (This is all redundant
 103                           -- information, since it can be derived from
 104                           -- the superclass information above.)
 105
 106 type Class        = GenClass TyVar UVar
 107 type ClassOp      = GenClassOp Type
 108
 109 type ClassInstEnv = MatchEnv Type Id            -- The Ids are dfuns
 110 \end{code}
 111
 112 The @mkClass@ function fills in the indirect superclasses.
 113
 114 \begin{code}
 115 mkClass :: Unique -> Name -> TyVar
 116         -> [Class] -> [Id]
 117         -> [ClassOp] -> [Id] -> [Id]
 118         -> ClassInstEnv
 119         -> Class
 120
 121 mkClass uniq full_name tyvar super_classes superdict_sels
 122         class_ops dict_sels defms class_insts
 123   = Class uniq full_name tyvar
 124                 super_classes superdict_sels
 125                 class_ops dict_sels defms
 126                 class_insts
 127                 trans_clos
 128   where
 129     trans_clos :: [(Class,[Class])]
 130     trans_clos = transitiveClosure succ (==) [ (clas, []) | clas <- super_classes ]
 131
 132     succ (clas@(Class _ _ _ super_classes _ _ _ _ _ _), links)
 133       = [(super, (clas:links)) | super <- super_classes]
 134 \end{code}
 135
 136 %************************************************************************
 137 %*                                                                      *
 138 \subsection[Class-selectors]{@Class@: simple selectors}
 139 %*                                                                      *
 140 %************************************************************************
 141
 142 The rest of these functions are just simple selectors.
 143
 144 \begin{code}
 145 getClassKey (Class key _ _ _ _ _ _ _ _ _) = key
 146 getClassOps (Class _ _ _ _ _ ops _ _ _ _) = ops
 147 getClassSelIds (Class _ _ _ _ _ _ sels _ _ _) = sels
 148
 149 getClassOpId (Class _ _ _ _ _ ops op_ids _ _ _) op
 150   = op_ids !! (getClassOpTag op - 1)
 151 getDefaultMethodId (Class _ _ _ _ _ ops _ defm_ids _ _) op
 152   = defm_ids !! (getClassOpTag op - 1)
 153 getSuperDictSelId (Class _ _ _ scs scsel_ids _ _ _ _ _) super_clas
 154   = assoc "getSuperDictSelId" (scs `zip` scsel_ids) super_clas
 155
 156 getClassSig :: GenClass t u -> (t, [GenClass t u], [GenClassOp (GenType t u)])
 157 getClassSig (Class _ _ tyvar super_classes _ ops _ _ _ _)
 158   = (tyvar, super_classes, ops)
 159
 160 getClassBigSig (Class _ _ tyvar super_classes sdsels ops sels defms _ _)
 161   = (tyvar, super_classes, sdsels, ops, sels, defms)
 162
 163 getClassInstEnv (Class _ _ _ _ _ _ _ _ inst_env _) = inst_env
 164 \end{code}
 165
 166 @a `isSuperClassOf` b@ returns @Nothing@ if @a@ is not a superclass of
 167 @b@, but if it is, it returns $@Just@~[k_1,\ldots,k_n]$, where the
 168 $k_1,\ldots,k_n$ are exactly as described in the definition of the
 169 @GenClass@ constructor above.
 170
 171 \begin{code}
 172 isSuperClassOf :: Class -> Class -> Maybe [Class]
 173 clas `isSuperClassOf` (Class _ _ _ _ _ _ _ _ _ links) = assocMaybe links clas
 174 \end{code}
 175
 176 %************************************************************************
 177 %*                                                                      *
 178 \subsection[Class-std-groups]{Standard groups of Prelude classes}
 179 %*                                                                      *
 180 %************************************************************************
 181
 182 @derivableClassKeys@ is also used in checking \tr{deriving} constructs
 183 (@TcDeriv@).
 184
 185 NOTE: @Eq@ and @Text@ do need to appear in @standardClasses@
 186 even though every numeric class has these two as a superclass,
 187 because the list of ambiguous dictionaries hasn't been simplified.
 188
 189 \begin{code}
 190 isNumericClass, isStandardClass :: Class -> Bool
 191
 192 isNumericClass   (Class key _ _ _ _ _ _ _ _ _) = key `is_elem` numericClassKeys
 193 isStandardClass  (Class key _ _ _ _ _ _ _ _ _) = key `is_elem` standardClassKeys
 194 isCcallishClass  (Class key _ _ _ _ _ _ _ _ _) = key `is_elem` cCallishClassKeys
 195 is_elem = isIn "is_X_Class"
 196
 197 numericClassKeys
 198   = [ numClassKey,
 199       realClassKey,
 200       integralClassKey,
 201       fractionalClassKey,
 202       floatingClassKey,
 203       realFracClassKey,
 204       realFloatClassKey ]
 205
 206 derivableClassKeys
 207   = [ eqClassKey,
 208       showClassKey,
 209       ordClassKey,
 210       boundedClassKey,
 211       enumClassKey,
 212       ixClassKey,
 213       readClassKey ]
 214
 215 cCallishClassKeys = [ cCallableClassKey, cReturnableClassKey ]
 216
 217 standardClassKeys
 218   = derivableClassKeys ++ numericClassKeys ++ cCallishClassKeys
 219     --
 220     -- We have to have "CCallable" and "CReturnable" in the standard
 221     -- classes, so that if you go...
 222     --
 223     --      _ccall_ foo ... 93{-numeric literal-} ...
 224     --
 225     -- ... it can do The Right Thing on the 93.
 226 \end{code}
 227
 228 %************************************************************************
 229 %*                                                                      *
 230 \subsection[Class-instances]{Instance declarations for @Class@}
 231 %*                                                                      *
 232 %************************************************************************
 233
 234 We compare @Classes@ by their keys (which include @Uniques@).
 235
 236 \begin{code}
 237 instance Ord3 (GenClass tyvar uvar) where
 238   cmp (Class k1 _ _ _ _ _ _ _ _ _) (Class k2 _ _ _ _ _ _ _ _ _)
 239     = cmp k1 k2
 240
 241 instance Eq (GenClass tyvar uvar) where
 242     (Class k1 _ _ _ _ _ _ _ _ _) == (Class k2 _ _ _ _ _ _ _ _ _) = k1 == k2
 243     (Class k1 _ _ _ _ _ _ _ _ _) /= (Class k2 _ _ _ _ _ _ _ _ _) = k1 /= k2
 244
 245 instance Ord (GenClass tyvar uvar) where
 246     (Class k1 _ _ _ _ _ _ _ _ _) <= (Class k2 _ _ _ _ _ _ _ _ _) = k1 <= k2
 247     (Class k1 _ _ _ _ _ _ _ _ _) <  (Class k2 _ _ _ _ _ _ _ _ _) = k1 <  k2
 248     (Class k1 _ _ _ _ _ _ _ _ _) >= (Class k2 _ _ _ _ _ _ _ _ _) = k1 >= k2
 249     (Class k1 _ _ _ _ _ _ _ _ _) >  (Class k2 _ _ _ _ _ _ _ _ _) = k1 >  k2
 250     _tagCmp a b = case cmp a b of { LT_ -> _LT; EQ_ -> _EQ; GT__ -> _GT }
 251 \end{code}
 252
 253 \begin{code}
 254 instance Uniquable (GenClass tyvar uvar) where
 255     uniqueOf (Class u _ _ _ _ _ _ _ _ _) = u
 256
 257 instance NamedThing (GenClass tyvar uvar) where
 258     getName (Class _ n _ _ _ _ _ _ _ _) = n
 259 \end{code}
 260
 261
 262 %************************************************************************
 263 %*                                                                      *
 264 \subsection[ClassOp-basic]{@ClassOp@: type and basic functions}
 265 %*                                                                      *
 266 %************************************************************************
 267
 268 A @ClassOp@ represents a a class operation.  From it and its parent
 269 class we can construct the dictionary-selector @Id@ for the
 270 operation/superclass dictionary, and the @Id@ for its default method.
 271 It appears in a list inside the @Class@ object.
 272
 273 The type of a method in a @ClassOp@ object is its local type; that is,
 274 without the overloading of the class itself.  For example, in the
 275 declaration
 276 \begin{pseudocode}
 277         class Foo a where
 278                 op :: Ord b => a -> b -> a
 279 \end{pseudocode}
 280 the type recorded for @op@ in the @ClassOp@ list of the @Class@ object is
 281 just
 282         $\forall \beta.~
 283                 @Ord@~\beta \Rightarrow
 284                 \alpha \rightarrow \beta \rightarrow alpha$
 285
 286 (where $\alpha$ is the class type variable recorded in the @Class@
 287 object).  Of course, the type of @op@ recorded in the GVE will be its
 288 ``full'' type
 289
 290         $\forall \alpha \forall \beta.~
 291                 @Foo@~\alpha \Rightarrow
 292                 ~@Ord@~\beta \Rightarrow \alpha
 293                 \rightarrow \beta \rightarrow alpha$
 294
 295 ******************************************************************
 296 **** That is, the type variables of a class op selector
 297 ***  are all at the outer level.
 298 ******************************************************************
 299
 300 \begin{code}
 301 mkClassOp :: FAST_STRING -> Int -> ty -> GenClassOp ty
 302 mkClassOp name tag ty = ClassOp name tag ty
 303
 304 getClassOpTag :: GenClassOp ty -> Int
 305 getClassOpTag    (ClassOp _ tag _) = tag
 306
 307 getClassOpString :: GenClassOp ty -> FAST_STRING
 308 getClassOpString (ClassOp str _ _) = str
 309
 310 getClassOpLocalType :: GenClassOp ty -> ty {-SigmaType-}
 311 getClassOpLocalType (ClassOp _ _ ty) = ty
 312 \end{code}
 313
 314 %************************************************************************
 315 %*                                                                      *
 316 \subsection[ClassOp-instances]{Instance declarations for @ClassOp@}
 317 %*                                                                      *
 318 %************************************************************************
 319
 320 @ClassOps@ are compared by their tags.
 321
 322 \begin{code}
 323 instance Eq (GenClassOp ty) where
 324     (ClassOp _ i1 _) == (ClassOp _ i2 _) = i1 == i2
 325     (ClassOp _ i1 _) /= (ClassOp _ i2 _) = i1 == i2
 326
 327 instance Ord (GenClassOp ty) where
 328     (ClassOp _ i1 _) <= (ClassOp _ i2 _) = i1 <= i2
 329     (ClassOp _ i1 _) <  (ClassOp _ i2 _) = i1 <  i2
 330     (ClassOp _ i1 _) >= (ClassOp _ i2 _) = i1 >= i2
 331     (ClassOp _ i1 _) >  (ClassOp _ i2 _) = i1 >  i2
 332     -- ToDo: something for _tagCmp? (WDP 94/10)
 333 \end{code}