diff --git a/CHANGELOG.md b/CHANGELOG.md index 6d21f27..e4a56ce 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -3,10 +3,22 @@ `hedgehog-classes` uses [PVP Versioning][1]. The changelog is available [on GitHub][2]. +0.1.2 +===== + +* add `semiringLaws`, `ringLaws`, `starLaws` +* fix bug in `foldableLaws` that could cause implementations of + `foldMap` and `fold` that evaluate in weird orders to pass (rather than fail). + +0.1.1 +===== + +* Initial (stable) hackage release. + 0.0.0 ===== * Initially created. [1]: https://pvp.haskell.org -[2]: https://github.com/chessai/hedgehog-classes/releases \ No newline at end of file +[2]: https://github.com/chessai/hedgehog-classes/releases diff --git a/hedgehog-classes.cabal b/hedgehog-classes.cabal index 9531ba2..368d742 100644 --- a/hedgehog-classes.cabal +++ b/hedgehog-classes.cabal @@ -2,7 +2,7 @@ cabal-version: 2.4 name: hedgehog-classes version: - 0.1.1.0 + 0.1.2 synopsis: Hedgehog will eat your typeclass bugs description: diff --git a/src/Hedgehog/Classes.hs b/src/Hedgehog/Classes.hs index 5e8b993..ea803d1 100644 --- a/src/Hedgehog/Classes.hs +++ b/src/Hedgehog/Classes.hs @@ -36,6 +36,7 @@ module Hedgehog.Classes #if HAVE_SEMIRINGS , semiringLaws , ringLaws + , starLaws #endif , showLaws , showReadLaws @@ -105,7 +106,7 @@ import Hedgehog.Classes.Monoid (monoidLaws, commutativeMonoidLaws) import Hedgehog.Classes.Ord (ordLaws) import Hedgehog.Classes.Semigroup (semigroupLaws, commutativeSemigroupLaws, exponentialSemigroupLaws, idempotentSemigroupLaws, rectangularBandSemigroupLaws) #if HAVE_SEMIRINGS -import Hedgehog.Classes.Semiring (semiringLaws, ringLaws) +import Hedgehog.Classes.Semiring (semiringLaws, ringLaws, starLaws) #endif import Hedgehog.Classes.Show (showLaws) import Hedgehog.Classes.ShowRead (showReadLaws)