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
optics-th-0.4.1 (2022-03-22)
Add support for GHC-9.2
optics-th-0.4 (2021-02-22)
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-th-0.3.0.2 (2020-08-20)
Fix tests on GHC 8.10.2
optics-th-0.3.0.1 (2020-08-05)
Fix handling of nullary type families
Fix declareFieldLabels and declareLenses with DuplicateRecordFields
Improve documentation of Optics.TH
optics-th-0.3 (2020-04-15)
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
optics-th-0.2 (2019-10-18)
Add noPrefixFieldLabels and noPrefixNamer to Optics.TH