@hackage speculate0.2.0

discovery of properties about Haskell functions

Speculate automatically discovers laws about Haskell functions. Give Speculate a bunch of Haskell functions and it will discover laws like:

  • equations, such as 'id x == x';

  • inequalities, such as '0 <= x * x';

  • conditional equations, such as 'x 0 == x + abs x == 0'.