Snippets tagged optics
-
Another take on optics
The extra type variables can be packed to obj/unpacked from obj so that the type of Optic would have just the 's, 'a, 'b and 't type variables, but I leave that and other further developments out from this example.
3 people like this
Like the snippet!Posted: 7 years ago by Vesa Karvonen