package alg_structs_qcheck

  1. Overview
  2. Docs

QCheck tests of Functor Laws

module Alg = Alg_structs
module type S = sig ... end

The Alg.Functor.S interface extended with a way of generating arbitrary QCheck values.

val test : (module S) -> QCheck.Test.t list

test (module F) is a list of QCheck property based tests that checks whether the Functor Laws hold for the given implementation F.

val tests : (module S) list -> QCheck.Test.t list

test implementations is a flattened list of tests generated for each implementation in implementations

OCaml

Innovation. Community. Security.