Changes between Version 26 and Version 27 of DefaultSuperclassInstances


Ignore:
Timestamp:
May 28, 2013 10:07:22 AM (22 months 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