Changelog for optics-th-0.4
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)
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
optics-th-0.1 (2019-09-02)