lens-core: A placeholder for a future lens core package.

[ bsd2, data, deprecated, generics, lenses, library ] [ Propose Tags ]
Deprecated. in favor of lens

Cabal 2.2 allows reexported modules, which will eventually allow us to consider splitting lens into smaller pieces.

Cabal 3.4 allows multiple public sub-libraries in a package Which may be a better plan, to avoid hackage namespace pollution.

I'm claiming this name to avoid rampant namespace confusion between lens:core and lens-core in the latter scenario and to allow progress on the former scenario.

For now, use lens.

[Skip to Readme]
Versions [faq],,,,, 0.2
Change log CHANGELOG.md
Dependencies base (>=4.14 && <5) [details]
License (BSD-2-Clause OR Apache-2.0)
Copyright Copyright (c) 2020 Edward Kmett
Author Edward Kmett
Maintainer Edward Kmett <ekmett@gmail.com>
Category Lenses
Home page https://github.com/ekmett/lens-core
Source repo head: git clone https://github.com/ekmett/lens-core
Uploaded by EdwardKmett at 2020-09-24T03:58:31Z
Distributions NixOS:0.2
Downloads 1050 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees

Readme for lens-core-0.2

[back to package description]


This is a place-holder for a future lens core library, at the very least it will provide defense against confusion between lens:core and lens-core if we proceed with a cabal 3 based multiple sublibrary approach to making lens capable of building in smaller chuks.

For now, use lens.


Licensed under either of

at your option.


Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you shall be dual-licensed as above, without any additional terms or conditions.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett