package alg_structs_qcheck

  1. Overview
  2. Docs
Provides qCheck generators for laws of alg_structs

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. S
    Shon Feder

Maintainers

  1. S
    shon.feder@gmail.com

Sources

alg_structs_qcheck-0.1.3.tbz
sha256=6b0113f2500e70fd00862879ba36d64e9e0f1815ad6ffe2325b1e5e8ed561c08
sha512=80e7a34fb04791221df44d876482a562a48b8e84665258be556fefc1cb77c380425bff7b1f52939bffbf69d78d223ff428e936f7a32dccb7901c6f06783cd764

doc/alg_structs_qcheck/Alg_structs_qcheck/index.html

Module Alg_structs_qcheckSource

Supported Structures

Sourcemodule Functor : sig ... end

QCheck tests of Functor Laws

Sourcemodule Applicative : sig ... end

QCheck tests of Applicative Laws

Sourcemodule Semigroup : sig ... end

QCheck tests of Semigroup Laws

Sourcemodule Monoid : sig ... end

QCheck tests of Monoid Laws

Sourcemodule Foldable : sig ... end

QCheck tests of Foldable Laws

Utilities

Sourcemodule Utils : sig ... end