genvalidity

Testing utilities for the validity library

https://github.com/NorfairKing/validity#readme

Version on this page:1.1.0.0
LTS Haskell 22.37:1.1.1.0
Stackage Nightly 2024-10-11:1.1.1.0
Latest on Hackage:1.1.1.0

See all snapshots genvalidity appears in

MIT licensed by Tom Sydney Kerckhove
Maintained by [email protected]
This version can be pinned in stack with:genvalidity-1.1.0.0@sha256:70df16cef796e509278b6076a3d7c0ded471ec1bf69ddcedc10493052f0ea118,2758

Module documentation for 1.1.0.0

Changes

Changelog

[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