search

ekmett / distributive

Dual Traversable
http://hackage.haskell.org/package/distributive
Other
41 stars 25 forks source link

Add grate, not-rankNType tabulateAlg #50

Closed phadej closed 3 years ago

phadej commented 5 years ago

To restart discussion about recent-ish changes in adjunctions: https://github.com/ekmett/adjunctions/pull/49, i.e. what to do next.

This PR adds grate to Distributive. It's a less powerful version of tabulateAlg, so we cannot zipWith as polymorphically. grate is slightly more powerful than existing members.

Alternatively we could use RankNTypes and add tabulateAlg instead to Distributive.