HuwCampbell/idris-lens

Use Data.Morphisms.(~>) instead of Data.Profunctor.Arrow.Arrow

Opened this issue · 0 comments

This is in base and would work perfectly well. This also means requiring no dependencies at all to write a lens in another library.