Open phadej opened 4 years ago
In principle I agree with this idea. There is already a library with that name, https://hackage.haskell.org/package/generic-lens-labels
which does exactly that, but it doesn't seem to be maintained and it's for an older version of generic-lens
.
@duog, would you be open to transferring the maintainership of generic-lens-labels
so we could keep it up to date with the upstream library?
We could move it into an additional public library, perhaps.
While looking at
generic-optics
stuff (wheregeneric-optics
cannot haveIsLabel
instance ,asoptics
define one itself), it occurred to me:As we are splitting packages, let's split
Data.Generics.Labels
out ofgeneric-lens
into own package, e.g.generic-lens-labels
.Then it would be very easy to see if some library "accidentally" uses the
IsLabel ((->) ...)
, as the fact is visible from package dependency graph.