Changes between Version 8 and Version 9 of DerivedInstances


Ignore:
Timestamp:
Apr 18, 2007 7:46:51 PM (8 years ago)
Author:
ross@…
Comment:

add suggested generalization of Bounded

Legend:

Unmodified
Added
Removed
Modified
  • DerivedInstances

    v8 v9  
    11= Derived Instances = 
     2 
     3== Minor adjustments == 
     4Haskell 98 allows derived instances of `Bounded` only for enumerations and single constructor types. 
     5Proposal: allow derived instances of `Bounded` for all algebraic data types, with 
     6{{{ 
     7minBound = K1 minBound ... minBound 
     8maxBound = Kn maxBound ... maxBound 
     9}}} 
     10 
     11== Automatic derivation == 
    212 
    313Automatic derivation of instances is jolly useful.  Current problems are: