The speculate package
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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 .
[Skip to ReadMe]
|Versions||0.2.0, 0.2.1, 0.2.2, 0.2.3, 0.2.3, 0.2.4|
|Change log||None available|
|Dependencies||base (==4.*), cmdargs, containers, leancheck (>=0.6.1) [details]|
|Author||Rudy Matela, Colin Runciman|
|Maintainer||Rudy Matela <email@example.com>|
|Source repository||head: git clone https://github.com/rudymatela/speculate|
this: git clone https://github.com/rudymatela/speculate(tag v0.2.3)
|Uploaded||Tue Mar 14 12:06:25 UTC 2017 by rudymatela|
For package maintainers and hackage trustees