Changes between Version 26 and Version 27 of DefaultSuperclassInstances


Ignore:
Timestamp:
May 28, 2013 10:07:22 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DefaultSuperclassInstances

    v26 v27  
    7777Example 3: once you say `instance Traversable T` you can derive `Foldable` and `Functor`.
    7878
    79 Obvious question: if something is both `Foldable` and `Applicative`, which `Functor` instance do you get?
     79Obvious question: if something is both `Foldable` and `Applicative`, which `Functor` instance do you get?  Answer: the programmer must be able to control this (see "the opt-out mechanism" below).
    8080
    8181