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

    Posted: 7 months ago by Vesa Karvonen