Revision history for finitary
- Allow
typelits-witnesses-0.4.0.1
, and bump upper bounds of
hspec
and hspec-hedgehog
in the test component (thanks to viercc).
- Bump some upper bounds, including
base
.
- Work around a bug in
fromIntegral :: Natural -> Integer
in GHC 9.0 (GHC issue #19345).
- 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
- 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
- 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
.
- Repair a disagreement between
Ord
and Finitary
derivations via
Generic
(thanks jle`!).
- Fix serious bug with
next
and previous
.
- Fix README (no code changes).
- 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.
- First version. Released on an unsuspecting world.