yaya-1.0.0.0: CHANGELOG.md

# Changelog

All notable changes to this project will be documented in this file.

The format is based on [Keep a Changelog 1.1](https://keepachangelog.com/en/1.1.0/),
and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/).

## [1.0.0.0] - 2026-04-22

### Removed

- dependency on `lens`
- all optics-related bits (`AlgebraPrism`, `BialgebraIso`, etc.) – most are now available in the `yaya-lens` package
- constructors and fields for fixed-points (`Mu`, `Nu`, `Fix`, `unFix`, `Cofix`, and `unCofix`)

### Changed

- generalized type of `distEnvT`

### Added

- `Embed` and `Project` patterns for exhaustive nested matching on recursive types
- `distCofreeT`, `seqFreeF`, `seqFreeT`, and `futu` are now safe and correspondingly moved here from `yaya-unsafe`
- `isNeither` helper for `XNor`
- `qualifiedRules` for retrofitting without mangling names

## [0.7.0.0] - 2026-01-18

### Added

- support for GHC 9.12 and 9.14
- `verify-no-recursion` Cabal flag for auditing recursion usage by the library
- safer `stimes` implementations for `Semigroup` instances

### Changed

- license from “AGPL-3.0-or-later” to “AGPL-3.0-only WITH
  Universal-FOSS-exception-1.0 OR LicenseRef-commercial”

### Removed

- support for GHC 8.6

## [0.6.2.2] - 2024-10-23

### Changed

- simplified Template Haskell internals in `Yaya.Retrofit`

## [0.6.2.1] - 2024-08-26

### Added

- support for GHC 9.10

## [0.6.2.0] -

## [0.6.1.0] -

## [0.6.0.0] -

## [0.5.2.1] -

## [0.5.0.0] -

## [0.4.2.3] - 2024-01-11

### Changed

- added CPP to support GHC 9.8

## [0.4.2.2] - 2023-12-21

### Changed

- updated formatting for newer Ormolu
- fixed a Haddock typo

## [0.4.2.1] -

Unknown changes.

## [0.4.2.0] -

Unknown changes.

## [0.4.1.0] -

Unknown changes.

## [0.4.0.1] - 2020-12-08

### Changed

- updated explanation of differences from `recursion-schemes`
- updated comments and parameter names in metamorphisms

## [0.4.0.0] - 2020-12-08

### Added

- more example algebras

### Changed

- `while` is generalized and now called `definedOrInput`
- `split` renamed to `diagonal`

## [0.3.2.0] - 2020-06-01

### Added

- `zipAlgebraMs`

## [0.3.1.2] - 2020-05-18

### Added

- `HFunctor` instances

## [0.3.1.1] - 2020-05-18

### Changed

- Turned on StrictData

## [0.3.1.0] - 2020-05-18

### Added

- Copied Kmett's auto-extraction of pattern functors

## [0.3.0.0] - 2020-05-14

### Changed

- introduced minimal poly-kinding of type classes

## [0.2.1.3] - 2020-05-14

### Changed

- enabled and fixed warnings

## [0.2.1.2] - 2019-11-08

### Changed

- improved documentation

## [0.2.1.1] - 2019-11-08

### Added

- documentation explaining limitations of `Mu`
- tests for `law_cataCompose` (which bumps the yaya-hedgehog dependency for tests)

## [0.2.1.0] - 2019-01-08

### Added

- exports of type class methods via `Yaya.Retrofit`

## [0.2.0.0] - 2019-01-08

### Added

- `DFunctor` instances for `Mu` and `Nu`
- lower bounds on internal yaya dependencies

### Changed

- moved `DFunctor` and `HFunctor` to a new `Yaya.Functor` module
- renamed `cursiveIso` to `steppableIso`

## [0.1.0.0] - 2019-01-04

### Added

- everything (this is the initial release)

[1.0.0.0]: https://github.com/sellout/yaya/compare/v4.0.0...v5.0.0
[0.7.0.0]: https://github.com/sellout/yaya/compare/v3.2.3...v4.0.0
[0.6.2.3]: https://github.com/sellout/yaya/compare/v3.2.1...v3.2.3
[0.6.2.2]: https://github.com/sellout/yaya/compare/v3.2.0...v3.2.1
[0.6.2.0]: https://github.com/sellout/yaya/compare/v3.1.0...v3.2.0
[0.6.1.0]: https://github.com/sellout/yaya/compare/v3.0.0...v3.1.0
[0.6.0.0]: https://github.com/sellout/yaya/compare/v1.0.0...v3.0.0
[0.5.2.1]: https://github.com/sellout/yaya/releases/tag/v1.0.0