Skip to content
OCaml Makefile
Pull request Compare This branch is 50 commits ahead of alanfalloon:master.
Latest commit 7403581 Oct 27, 2015 @little-arhat little-arhat Merge pull request #1 from Incubaid/master
Return QuickCheck execution result
Failed to load latest commit information.
src
tests Return success, failure or exhaustion result Feb 13, 2012
.gitignore
AUTHORS.txt add myself to authors, copyright studd, some info Apr 4, 2011
INSTALL.txt Run 'oasis setup' Oct 25, 2013
LICENSE add myself to authors, copyright studd, some info Apr 3, 2011
Makefile add _oasis infrastructure Apr 3, 2011
README.md Update link Feb 3, 2015
README.txt show escaped string Apr 13, 2011
_oasis
_tags Use 'camlp4o' for 'src/quickCheck.*' Oct 25, 2013
configure regenerate autobuild OASIS files with oasis-0.3.0 Sep 5, 2012
myocamlbuild.ml Run 'oasis setup' Oct 25, 2013
setup.ml Run 'oasis setup' Oct 25, 2013

README.md

Ocaml-QuickCheck -- Translation of QuickCheck to OCaml

This is translation of QuickCheck from Haskell into Ocaml.

Forked from Alan Falloon's ocaml-quickcheck, but uses regular high-order-functions, and doesn't try to mimic haskell type-classes with OCamls modules. Maybe, it's not all that pretty, but it works! For some examples see tests/test.ml. More docs and examples coming soon.

If you are interested in original implementation you can go to Alan Falloon's blog to hear more about how he converted the code and the differences that were introduced.

Btw, with OCaml 3.12 you can somehow simplify original code with first-class modules. You can check branch "first-class-modules" in this repo to see some work in this field. However, HOFs still simplier than modules and functors.

Something went wrong with that request. Please try again.