arrow icon indicating copy to clipboard operation
arrow copied to clipboard

Various improvements to optics

Open serras opened this issue 1 year ago • 1 comments

  • Use "weirder" names when generating optics via plug-in (fixes #3399)
  • Correctly include type parameters whenever they are required (fixes #3384)
  • New form of composition for lenses of the form Lens<A, B?> (fixes #3113)
  • New pInstanceOf prism to check subtyping (thanks @nomisRev for the idea!)
    • This simplifies the implementation of the optics plugin

serras avatar May 15 '24 09:05 serras