Revision history for finitary
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 Maybes- 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.
