All Versions
20
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 changelog.md file with the contents of git tag annotations: git tag -ln99.