Module Alg_structs_qcheck

Supported Structures

module Functor : sig ... end

QCheck tests of Functor Laws

module Applicative : sig ... end

QCheck tests of Applicative Laws

module Semigroup : sig ... end

QCheck tests of Semigroup Laws

module Monoid : sig ... end

QCheck tests of Monoid Laws

module Foldable : sig ... end

QCheck tests of Foldable Laws

Utilities

module Utils : sig ... end