Changelog

[1.1.1.0] - 2024-07-18

Added

• GenValid instances for various newtypes in base

[1.1.0.0] - 2022-08-30

Added

• genListOf1
• genMaybe
• shrinkMaybe
• shrinkNonEmpty
• shrinkTriple
• shrinkQuadruple

Changed

• Sped up shrinking of NonEmpty lists by an order of magnitude.
• Changed shrinking of Ratios to be 10x faster.
• Reimplemented shrinkT2, shrinkT3 and shrinkT4 in terms of shrinkTuple, shrinkTriple and shrinkQuadruple.

[1.0.0.1] - 2021-11-20

Changed

• Added compatibility with lts-18.16

[1.0.0.0] - 2021-11-20

Changed

• The default implementation of GenValid now uses genValidStructurally and shrinkValidStructurally.

Removed

• GenUnchecked: It is no longer necessary after changing the default implementation of GenValid.
• GenInvalid: It was a misfeature.
• GenRelativeValidity: It was a misfeature.

[0.11.0.1] - 2021-06-20

Changed

Updated the base lower bound to be more accurate.

[0.11.0.1] - 2020-04-28

Changed

• Got rid of some unnecessary extra special values in the generator for double

[0.11.0.0] - 2020-04-12

Changed

• Changed the genUnchecked and shrinkUnchecked definitions for Word8, Word16, Word32 and Int8, Int16, Int32 according to their new validity instance in validity 0.10.0.0

[0.10.0.2] - 2020-03-18

Changed

• Better lower bound for genvalidity

[0.10.0.1] - 2020-02-20

Changed

• Fixed a bug where shrinking ratios of bounded types would crash if the minimum bound was in the numerator.

[0.10.0.0] - 2020-02-10

Added

• Data.GenValidity.Utils.genIntX
• Data.GenValidity.Utils.genWordX
• Data.GenValidity.Utils.genFloat
• Data.GenValidity.Utils.genDouble
• Data.GenValidity.Utils.genFloatX
• Data.GenValidity.Utils.genInteger

Changed

• Improved the cabal file
• Sped up the 'genValid' generators for the following types
  • ()
  • Bool
  • Ordering
  • Char
  • Int, Int8, Int16, Int32, Int64
  • Word, Word8, Word16, Word32, Word64
  • Float, Double
• Improved the generators of
  • Int, Int8, Int16, Int32, Int64 Now also generates extreme values, but mostly uniform values.
  • Word, Word8, Word16, Word32, Word64 Now also generates extreme values, but mostly uniform values.
  • Float, Double Now also generates values around the bounds, but mostly uniform values.
  • Natural, Integer Now also generates numbers larger than can be contained in a single Word/Int.
  • Ratio Fixed a bug: no longer generates invalid ratios for fixed-sized numerators
• Removed a lot of shrinking tests

[0.9.1.0] - 2019-12-04

Added

• genSplit6, genSplit7, genSplit8
• genNonEmptyOf

Changed

• Changed arbPartition to generate nicer partitions. This influences genListOf and genTreeOf and the instances for all collections as well.

[0.9.0.1] - 2019-09-27

Changed

• Tests for genUtf16SurrogateCodePoint

[0.9.0.0] - 2019-09-23

Added

• genUtf16SurrogateCodePoint

Changed

• Changed GenValid Char to generate UTF16 surrogate codepoints 10% of the time
• Changed GenValid Char to ignore sizes.

[0.8.0.0] - 2019-03-06

Added

• 'shrinkTuple'

Changed

• Removed the 'GenUnchecked' constraint for 'GenValid' and 'GenInvalid'.

[0.7.0.2] - 2019-02-28

Added

• 'shrinkT4'

Changed

• Clearer docs

[0.7.0.1] - 2019-02-21

Changed

• Sped up the shrinking test suite.

[0.7.0.0] - 2018-11-07

Changed

• genUnchecked of Double and Float now generates NaN, +Infinity, -Infinity and -0 according to the new version of validity.

[0.6.1.0] - 2018-10-06

Changed

• Changed 'genValid, genUncheckedandgenInvalid` for NonEmpty to better take the size into account.
• Sped up shrinkUnchecked for Maybe
• Sped up shrinkValid for Maybe
• Sped up shrinkUnchecked for Either
• Sped up shrinkValid for Either
• Sped up shrinkUnchecked for (,)
• Sped up shrinkUnchecked for (,,)
• Sped up shrinkUnchecked for (,,,)
• Sped up shrinkValid for lists
• Sped up shrinkValid for NonEmpty lists

[0.6.0.0] - 2018-08-25

Added

• genValidStructurally and genValidStructurallyWithoutExtraChecking
• shrinkValidStructurally and shrinkValidStructurallyWithoutExtraFiltering with structurallyValidRecursivelyShrink and structurallyValidSubterms

Changed

• -0 is now a valid value for Double and Float.
• genUnchecked :: Gen Double now also generates invalid values.
• arbPartition now shuffles the partitions, which means that genListOf produces lists of elements with shuffled sizes. This also fixes the same problem with instance GenUnchecked a => GenUnchecked [a].

Older versions

No history before version 0.6.0.0