search

purescript-contrib / purescript-profunctor-lenses

Pure profunctor lenses
MIT License
144 stars 52 forks source link

Remove redundant Applicative constraints #102

Closed LiamGoodacre closed 5 years ago

LiamGoodacre commented 5 years ago

These functions in Data.Lens.Traversal had redundant constraints.

LiamGoodacre commented 5 years ago

If it's not clear why these constraints aren't needed: it's because the use-site will require appropriate constraints from Star f. If called with a Lens then we only need Functor (Star f); if called with a Traversal it will need Applicative (Star f).