5 Commits

Include renames

Author	SHA1	Message	Date
sneeker	adc5d38b9b	Provide the identity lens and verify composition identities	2019-02-24 07:41:34 +00:00
sneeker	0377c2f0f4	Add polymorphic tuple projections and replacements	2019-02-22 15:45:12 +00:00
sneeker	e21b8d4b1e	Compose lenses whilst preserving unfocussed data	2019-02-19 19:49:43 +00:00
sneeker	1ddefcb664	Implement replacement and functional updates with lens-law checks	2019-02-17 03:07:54 +00:00
sneeker	0cb01daaa0	Define polymorphic lenses and compile the runtime library	2019-02-11 13:34:00 +00:00