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: