Opam Package alg_structs_qcheck.0.1.3

Package documentation pages

pages: doc/alg_structs_qcheck/odoc-pages/index.mld

Package info

opam-namealg_structs_qcheck
opam-version0.1.3
synopsisProvides qCheck generators for laws of alg_structs
description Combinators for generating qCheck property based tests to check that implementations of the algebraic structures provided by alg_structs adhere to the stated laws.
authors
  • Shon Feder
homepagehttps://github.com/shonfeder/alg_structs
licenseMIT
odoc-filedoc/alg_structs_qcheck/odoc-pages/index.mld
deps (6)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

alg_structs_qcheck

Package files

lib/alg_structs_qcheck/utils.ml
lib/alg_structs_qcheck/semigroup.mli
lib/alg_structs_qcheck/semigroup.ml
lib/alg_structs_qcheck/opam
lib/alg_structs_qcheck/monoid.mli
lib/alg_structs_qcheck/monoid.ml
lib/alg_structs_qcheck/functor.mli
lib/alg_structs_qcheck/functor.ml
lib/alg_structs_qcheck/foldable.ml
lib/alg_structs_qcheck/dune-package
lib/alg_structs_qcheck/applicative.mli
lib/alg_structs_qcheck/applicative.ml
lib/alg_structs_qcheck/alg_structs_qcheck__Utils.cmx
lib/alg_structs_qcheck/alg_structs_qcheck__Utils.cmt
lib/alg_structs_qcheck/alg_structs_qcheck__Utils.cmi
lib/alg_structs_qcheck/alg_structs_qcheck__Semigroup.cmx
lib/alg_structs_qcheck/alg_structs_qcheck__Semigroup.cmti
lib/alg_structs_qcheck/alg_structs_qcheck__Semigroup.cmt
lib/alg_structs_qcheck/alg_structs_qcheck__Semigroup.cmi
lib/alg_structs_qcheck/alg_structs_qcheck__Monoid.cmx
lib/alg_structs_qcheck/alg_structs_qcheck__Monoid.cmti
lib/alg_structs_qcheck/alg_structs_qcheck__Monoid.cmt
lib/alg_structs_qcheck/alg_structs_qcheck__Monoid.cmi
lib/alg_structs_qcheck/alg_structs_qcheck__Functor.cmx
lib/alg_structs_qcheck/alg_structs_qcheck__Functor.cmti
lib/alg_structs_qcheck/alg_structs_qcheck__Functor.cmt
lib/alg_structs_qcheck/alg_structs_qcheck__Functor.cmi
lib/alg_structs_qcheck/alg_structs_qcheck__Foldable.cmx
lib/alg_structs_qcheck/alg_structs_qcheck__Foldable.cmt
lib/alg_structs_qcheck/alg_structs_qcheck__Foldable.cmi
lib/alg_structs_qcheck/alg_structs_qcheck__Applicative.cmx
lib/alg_structs_qcheck/alg_structs_qcheck__Applicative.cmti
lib/alg_structs_qcheck/alg_structs_qcheck__Applicative.cmt
lib/alg_structs_qcheck/alg_structs_qcheck__Applicative.cmi
lib/alg_structs_qcheck/alg_structs_qcheck__.ml
lib/alg_structs_qcheck/alg_structs_qcheck__.cmx
lib/alg_structs_qcheck/alg_structs_qcheck__.cmt
lib/alg_structs_qcheck/alg_structs_qcheck__.cmi
lib/alg_structs_qcheck/alg_structs_qcheck.ml
lib/alg_structs_qcheck/alg_structs_qcheck.cmxs
lib/alg_structs_qcheck/alg_structs_qcheck.cmxa
lib/alg_structs_qcheck/alg_structs_qcheck.cmx
lib/alg_structs_qcheck/alg_structs_qcheck.cmt
lib/alg_structs_qcheck/alg_structs_qcheck.cmi
lib/alg_structs_qcheck/alg_structs_qcheck.cma
lib/alg_structs_qcheck/alg_structs_qcheck.a
lib/alg_structs_qcheck/META
lib/alg_structs_qcheck
doc/alg_structs_qcheck/odoc-pages/index.mld
doc/alg_structs_qcheck/odoc-pages
doc/alg_structs_qcheck/README.org_archive
doc/alg_structs_qcheck/README.org
doc/alg_structs_qcheck/LICENSE
doc/alg_structs_qcheck/CHANGES
doc/alg_structs_qcheck