BSD-3-Clause licensed and maintained by Purely Agile
This version can be pinned in stack with:product-profunctors-,2566

product-profunctors Hackage version Build status

Backup maintainers

In the event of the main developer becoming unreachable, please contact the following who are authorised to make bugfixes and dependency version bumps:

  • Adam Bergmark
  • Erik Hesselink
  • Oliver Charles


  • No user-visible changes

  • Generalise (***$) to work on Profunctor instead of ProductProfunctor.
  • instance Monoid r => ProductProfunctor (Forget r)
  • instance SumProfunctor (Forget r)

  • Support GHC 9.2

  • Support GHC 9.0

  • Added makeAdaptorAndInstanceInferrable which has better inference properties, at the cost having to turn on UndecidableInstances. The tuple instances are now made by this method too.

    Please note that if you have written your own Default instances containing tuples they will no longer work, or may break in unexpected ways. For example, the following are no longer supported

    instance Default MyProfunctor (Foo, Bar) Baz
    instance Default MyProfunctor Foo,  (Bar, Baz)

  • Added Data.Profunctor.Product.Examples

  • Removed ProductContravariant, AndArrow, defaultContravariantProduct, PPOfContravariant, unPPOfContravariant, cdef

  • Deprecated defaultEmpty, defaultProfunctorProduct, defaultPoint

  • Added more ProductProfunctor/SumProfunctor instances including for types in Data.Bifunctor

  • Added Data.Profunctor.Product.Adaptor which derives genericAdaptor with Generic

  • Added ability to derive Default instance with Generic

Sorry, we didn’t track changes before version