Optics construction using TemplateHaskell

LTS Haskell 18.10:
Stackage Nightly 2021-09-16:0.4
Latest on Hackage:0.4

See all snapshots optics-th appears in

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@sha256:7c838b5b1d6998133bf8f0641c36197ed6cb468dc69515e1952f33f0bbe8e11d,2009

Module documentation for 0.4

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.


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- (2020-08-20)

  • Fix tests on GHC 8.10.2

optics-th- (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