package alg_structs_qcheck

You can search for identifiers within the package.

in-package search v0.2.0

Provides qCheck generators for laws of alg_structs

Install

sha256=6b0113f2500e70fd00862879ba36d64e9e0f1815ad6ffe2325b1e5e8ed561c08

sha512=80e7a34fb04791221df44d876482a562a48b8e84665258be556fefc1cb77c380425bff7b1f52939bffbf69d78d223ff428e936f7a32dccb7901c6f06783cd764

Sourcemodule Functor : sig ... end

QCheck tests of Functor Laws

Sourcemodule Applicative : sig ... end

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

Sourcemodule Utils : sig ... end

On This Page