Revision history for finitary

2.2.0.0 -- 2024-08-07

• Fix behaviour of previous and next, which incorrectly handled endpoints. Thanks to blmage for their contribution.

• Relax upper bounds:

  • primitive: < 0.8 ==> < 0.10
  • vector: < 0.13 ==> < 0.14
  • vector-sized: < 1.6 ==> < 1.7

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 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.