Source file `alg_structs_qcheck.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
(** {1 Supported Structures} *)

(** QCheck tests of {{!module:Alg_structs.Functor.Law} Functor Laws} *)
module Functor = Functor

(** QCheck tests of {{!module:Alg_structs.Applicative.Law} Applicative Laws} *)
module Applicative = Applicative

(** QCheck tests of {{!module:Alg_structs.Semigroup.Law} Semigroup Laws} *)
module Semigroup = Semigroup

(** QCheck tests of {{!module:Alg_structs.Monoid.Law} Monoid Laws} *)
module Monoid = Monoid

(** QCheck tests of {{!module:Alg_structs.Foldable.Law} Foldable Laws} *)
module Foldable = Foldable


(** {1 Utilities} *)

module Utils = Utils

(**/**)
(* Exported for use in testing of this package *)
module Alg_structs = Alg_structs
(**/**)