Re-export lens instead of microlens from `morley-prelude`
Clarification and motivation
universum
re-exports a part of microlens
, and morley-prelude
re-exports universum
.
Having ^.
, ^?
, etc in scope by default is useful, but, IMO, only to a certain extent, after which it becomes more of a nuisance.
As soon as you need something even slightly more complex (like ix
or at
), then you need to either:
-
add
microlens
to your library's deps and import the whole shebang -
or import
lens
instead and hide universum's re-exportsimport Control.Lens import Prelude hiding ((^.), (^..), (^?), etc, basically have to hide everything you need, one by one)
If you need to use Prism
or Iso
s, then microlens simply won't do, and you'll have to go with option (2).
Since morley
already depends on lens
anyway, and we do use Prisms occasionally, I propose changing morley-prelude
so that:
- it hides universum's
microlens
reexports - it reexports basic operators from
lens
instead
Acceptance criteria
-
morley-prelude
exports some basiclens
operators -
morley-prelude
does not export anymicrolens
operator.