alg_structs_qcheckversion

Provides qCheck generators for laws of alg_structs

Combinators for generating qCheck property based tests to check that implementations of the algebraic structures provided by alg_structs adhere to the stated laws.

AuthorShon Feder
LicenseMIT
Published
Homepagehttps://github.com/shonfeder/alg_structs
Issue Trackerhttps://github.com/shonfeder/alg_structs/issues
Maintainershon.feder@gmail.com
Dependencies
Source [http] https://github.com/shonfeder/alg_structs/releases/download/0.1.3/alg_structs_qcheck-0.1.3.tbz
sha256=6b0113f2500e70fd00862879ba36d64e9e0f1815ad6ffe2325b1e5e8ed561c08
sha512=80e7a34fb04791221df44d876482a562a48b8e84665258be556fefc1cb77c380425bff7b1f52939bffbf69d78d223ff428e936f7a32dccb7901c6f06783cd764
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/alg_structs_qcheck/alg_structs_qcheck.0.1.3/opam
No package is dependent