optics-th

Optics construction using TemplateHaskell

BSD-3-Clause licensed by Andrzej Rybczak

Maintained by optics@well-typed.com

This version can be pinned in stack with:optics-th-0.4.1@sha256:7fb1fcdc77634f78af654fd16113db5802d920b4aa6a710d51e8017df00982ba,3089

Depends on 7 packages(full list with versions):

Used by 3 packages in nightly-2023-02-03(full list with versions):

This package is part of the optics package family. It provides machinery to construct optics using TemplateHaskell.

See the template-haskell-optics package for optics to work with template-haskell types.

Changes

Add support for GHC-9.0
Print missing language extensions during TH generation of labels if there are any (#352)
Add support for getters of rank1 polymorphic fields to optics generated with the makeFieldLabels family of functions (#365)
Extend support of type-changing optics generated with the makeFieldLabels family to type parameters that are phantom and applied to non-injective type families (#365)
Fix TH generation of optics for poly-kinded data families (#378)
Fix declareFieldLabels when a field type refers to a type defined in the same quote (#380)

optics-core-0.3 compatible release
GHC-8.10 support
Improvements to TH-generated optics:
- LabelOptic instances make optic kind a type equality for better type inference
- LabelOptic instances for field optics work properly in the presence of type families
- Fixed calculation of phantom types in LabelOptic prism instances
- Better support for generating optics in the presence of kind polymorphism