Missing instance declarations in base

Fumiaki Kinoshita fumiexcel at gmail.com
Mon Jun 29 06:56:40 UTC 2015


I found some missing instances in the base package. The instances below are
almost unique by parametricity.

Data.Complex:
  instance Functor Complex
  instance Applicative Complex
  instance Foldable Complex -- real first
  instance Traversable Complex

Data.Functor.Identity:
  instance Monoid a => Monoid (Identity a)

Control.Applicative:
  instance Foldable ZipList
  instance Traversable ZipList

I'm going to write a patch if there is no issue with them.

Also, I wonder if () could be Storable:

instance Storable () where
  sizeOf _ = 0
  alignment _ = 1
  peek _ = return ()
  poke _ _ = return ()
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150629/3218efc7/attachment.html>


More information about the Libraries mailing list