[GHC] #12773: Data.Functor.Classes instances for ZipList

GHC ghc-devs at haskell.org
Sat Oct 29 21:09:34 UTC 2016


#12773: Data.Functor.Classes instances for ZipList
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  low               |            Milestone:
       Component:  Core Libraries    |              Version:  8.0.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 I'll repeat what I stated
 [https://ghc.haskell.org/trac/ghc/ticket/11135#comment:25 here]: if you
 really want these instances now, we'd be happy to take a patch that adds
 them. I avoided any new
 `Eq1`/`Ord1`/`Read1`/`Show1`/`Eq2`/`Ord2`/`Read2`/`Show2` instances (other
 than the ones brought over from `transformers`) since I lacked a mechanism
 to derive all of these classes, which would have made implementing a lot
 of these instances tiresome.

 See also #12457, which aims to find a way to integrate `deriving` into the
 larger metaprogramming picture. If we had this, we wouldn't have to bake
 the deriving algorithms for eight more typeclasses into GHC, which would
 make adding all of these instances far less painful.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12773#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list