hackage.haskell.org : lens-typelevel
Type-level lenses using singletons and its defunctionalization system, implemented using the same van Laarhoven encoding as the lens package. See README for more information.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/lens-typelevel
Keywords:
bsd3
, dependent-types
, lenses
, library
, Propose Tags
License: BSD-3-Clause
Latest release: almost 7 years ago
First release: almost 7 years ago
Downloads: 1,775 total
Stars: 15 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/mstksg
Last synced: 22 days ago