Earlier today, I wrote Proxy's instances for Eq1, Ord1, Show1, and Read1
and they were accepted for base-4.9.0.0. All in all, the process went way
more smoothly than I expected, and so I started thinking about what other
types from base are currently missing these instances, and this is what
I've come up with:
- Down (from Data.Ord)
- Complex (from Data.Complex)
- Ratio (from Data.Ratio)
- First, Last (from Data.Monoid)
- ZipList (from Control.Applicative)
- Ptr, FunPtr (from Foreign.Ptr, only Eq1 and Ord1)
- StablePtr (from Foreign.StablePtr, only Eq1)
- K1, U1, Par1, Rec1, etc. (from GHC.Generics)
- StableName (from System.Mem.StableName, only Eq1, requested here:
http://hub.darcs.net/ross/transformers/issue/17)
Since most of these are trivial to implement, I'd like to try to get them
in for GHC-8.0. Does anyone have in mind any other data types that would
benefit from these?
--
-Andrew Thaddeus Martin
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
