All Versions
Latest Version
Avg Release Cycle
65 days
Latest Release

Changelog History
Page 1

  • v0.9.10 Changes

    • โœ… Test.LeanCheck.Utils.Type: derive Typeable instances on GHC 7.8. Behaviour on newer GHCs (>= 7.10) versions is unaffected as they automatically derive Typeable instances for all types.
  • v0.9.8 Changes

    • โœ… Test.LeanCheck.Utils.Type: ~Typeable instances on GHC 7.10.~ ~Behaviour on newer GHCs (>= 8.0) versions is unaffected~ ~as they automatically derive Typeable instances for all types.~ Update: these instances were already present on v0.9.6. LeanCheck v0.9.8 is essentially the same as v0.9.6.
  • v0.9.6 Changes

    • โœ… no code changes in what is exported by Test.LeanCheck
    • โœ… Test.LeanCheck.Utils.Types: export the A, B, C, D, E and F types
    • slightly improve README
    • ๐Ÿ‘Œ improve Makefile and tests
    • ๐Ÿ‘ท replace Travis by GitHub Actions as the CI system
  • v0.9.4 Changes

    • โœ… no code changes in what is exported by Test.LeanCheck
    • โž• add errorToLeft and anyErrorToLeft on Test.LeanCheck.Error
    • โž• add ?==? and !==! on Test.LeanCheck.Error
    • โž• add Test.LeanCheck.Function.List
    • โž• add Test.LeanCheck.Function.Ord
    • โฌ‡๏ธ reduce default argument enumeration to 12 on Test.LeanCheck.Function.Eq
    • โž• add FAQ
    • ๐Ÿ‘Œ improve Makefile and test scripts
  • v0.9.3 Changes

    March 29, 2020
    • ๐Ÿ‘Œ improve Haddock documentation
    • ๐Ÿ‘‰ use consistent code format
    • ๐Ÿ‘Œ improve CI scripts and Makefile
  • v0.9.2 Changes

    March 22, 2020
    • โœ… rename most functions on Test.LeanCheck.Utils.Operators; deprecated names are provided;
    • ๐Ÿ‘Œ improve documentation:
      • 100% haddock coverage;
      • LeanCheck memory usage thoroughly documented;
    • implement stub function conditionStatsT;
    • ๐Ÿ‘Œ improve function display on Test.LeanCheck.Function.*;
    • ๐Ÿ›  fix some compiler warnings (newer GHC);
    • ๐Ÿ‘Œ improve build scripts;
    • ๐Ÿ‘Œ improve tests;
    • โšก๏ธ update tests scripts to support the new cabal (test/sdist).
  • v0.9.1 Changes

    February 07, 2019
    • ๐Ÿ›  fix bug in genericTiers where using it bound to a recursive datatype could cause an infinite loop;
    • ๐Ÿ“š minor improvements in documentation and tests.
  • v0.9.0 Changes

    January 17, 2019
    • logo for LeanCheck;
    • Listable instances to most types in the Haskell 2010 Language Report:
      • Word<n>;
      • Int<n>;
      • Complex;
      • etc...;
    • ๐Ÿ“š minor improvements in documentation and README.
  • v0.8.0 Changes

    November 18, 2018
    • export tiersFractional from Core and main module;
    • ๐Ÿ‘Œ improve Listable instance for Floats and Doubles;
    • ๐Ÿ‘Œ improve Show instance for functions;
    • ๐Ÿ‘Œ improve Haddock documentation;
    • โœ‚ remove experimental function enumeration modules, in favour of the working ListsOfPairs enumeration;
    • โž• add special String and Char types to Utils.Types;
    • ๐Ÿ›  fix bug in the Natural type of the Utils.Types modules;
    • ๐Ÿ‘ฎ force non-negativity in Natural and Nat types from Utils.Types;
    • ๐Ÿ“‡ rename some exported symbols in the ShowFunction module;
    • ๐Ÿ‘Œ improve tests of LeanCheck itself.
  • v0.7.7 Changes

    October 18, 2018
    • โž• Add a file with the contents of git tag annotations: git tag -ln99.