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

Module documentation for 0.4.1

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

optics-th-0.1 (2019-09-02)

  • Initial release