Changes between Version 5 and Version 6 of TypeFunctions/ClassFamilies


Ignore:
Timestamp:
May 16, 2007 3:34:35 AM (7 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}}}