Changes between Version 5 and Version 6 of TypeFunctions/ClassFamilies


Ignore:
Timestamp:
May 16, 2007 3:34:35 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions/ClassFamilies

    v5 v6  
    120120
    121121Compare to '''composite class signatures''' and '''submodules''' of the ''Modular Type Classes'' paper.
     122
     123=== Comments ===
     124
     125Roman objects that he really would like collection interfaces to use synonym families (rather than class families) - for example,
     126{{{
     127class Collection c where
     128  type Element c
     129instance Eq a => Collection (Set a) where
     130  type Element (Set a) = a
     131instance Ord a => Collection (OrdSet a) where
     132  type Element (OrdSet a) = a
     133instance Collection [a] where
     134  type Element [a] = a
     135}}}