The latest version of lens-typelevel is 0.1.1.0-0.

lens-typelevel

Version 0.1.0.0 revision 0 uploaded by jle.

Package meta

Synopsis
Type-level lenses using singletons
Description

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.

Author
Justin Le
Bug reports
https://github.com/mstksg/lens-typelevel/issues
Category
Dependent Types, Lenses
Copyright
(c) Justin Le 2018
Homepage
https://github.com/mstksg/lens-typelevel#readme
Maintainer
justin@jle.im
Package URL
n/a
Stability
n/a

Components