speculate-0.3.2: discovery of properties about Haskell functions

speculate-0.3.2: 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 .

Signatures

Modules