finitary-2.1.3.0: CHANGELOG.md

# Revision history for finitary

## 2.1.3.0 -- 2024-05-09

* Add support for `finite-typelits >= 2.0.0`.

## 2.1.2.0 -- 2024-05-06

* Allow `typelits-witnesses-0.4.0.1`, and bump upper bounds of
  `hspec` and `hspec-hedgehog` in the test component (thanks to viercc).

## 2.1.1.1 -- 2022-12-03

* Bump some upper bounds, including `base`.

## 2.1.1.0 -- 2021-02-11

* Work around a bug in `fromIntegral :: Natural -> Integer` in GHC 9.0 (GHC issue #19345).

## 2.1.0.1 -- 2021-02-09

* Fix incorrect instance for `Finite a => Finite ( Down a )`
* Add cabal flags to give the option of removing dependencies on `vector` and `bitvec`
* Ensure GHC 9.0 compatibility

## 2.0.0.0 -- 2020-05-05

* Support GHC 8.10
* Remove support for GHCs older than 8.6
* Remove dependency on ``coercible-utils``
* ``previous`` and ``next`` now return ``Maybe``s
* Better tests
* Better documentation

## 1.2.0.0 -- 2019-10-17

* Remove ``nextSkipping`` and ``previousSkipping`` as unnecessary.
* Add (and note) support for GHC 8.2.2.
* Remove MTL dependency.
* Remove ``enumerate*`` class methods.
* Add ``inhabitants``, ``inhabitantsFrom``, ``inhabitantsTo``,
  ``inhabitantsFromTo``.

## 1.1.0.0 -- 2019-09-21

* Repair a disagreement between ``Ord`` and ``Finitary`` derivations via
  ``Generic`` (thanks jle`!).
* Fix serious bug with ``next`` and ``previous``.

## 1.0.0.1 -- 2019-09-17

* Fix README (no code changes).

## 1.0.0.0 -- 2019-09-17

* Rewritten documentation to be more clear, and state more laws.
* Added ``nextSkipping`` and ``previousSkipping`` methods to allow 'skipping
  over' some elements when enumerating in a more efficient manner.
* Added ``Eq a`` as a constraint for ``Finitary a`` instances (as without it,
  the laws don't make much sense).
* Fixed numerous typoes and unclear statements.
* Stated that ``Finitary`` must be order-preserving relative any instances with
  ``Ord`` instances; existing instances modified to follow this law.
* Added more tests.
* Fixed odd issue with some element cardinalities and lengths for sized
  ``Vector`` instances.
* Tightened bounds to be more conservative.
* Support GHC 8.8.

## 0.1.0.0 -- 2019-09-10

* First version. Released on an unsuspecting world.