Module `Bastet.Test`

module type TEST = sig ... end

These helpers provide generative tests for implementations.

module type ARBITRARY = sig ... end

module type ARBITRARY_A = sig ... end

module type QUICKCHECK = sig ... end

module Make (T : TEST) (Q : QUICKCHECK with type t = T.test) : sig ... end

module Array
  (T : TEST)
  (Q : QUICKCHECK with type t = T.test)
  (A : 
    ARBITRARY with type t = int array and type 'a arbitrary = 'a Q.arbitrary)
  (AA : 
    ARBITRARY_A
      with type 'a t = 'a array
       and type 'a arbitrary = 'a Q.arbitrary) : 
  sig ... end

module Bool
  (T : TEST)
  (Q : QUICKCHECK with type t = T.test)
  (A : ARBITRARY with type t = bool and type 'a arbitrary = 'a Q.arbitrary) : 
  sig ... end

module Default (T : TEST) (Q : QUICKCHECK with type t = T.test) : sig ... end

module Float
  (E : Interface.EQ with type t = float)
  (T : TEST)
  (Q : QUICKCHECK with type t = T.test)
  (A : ARBITRARY with type t = float and type 'a arbitrary = 'a Q.arbitrary) : 
  sig ... end

module List
  (T : TEST)
  (Q : QUICKCHECK with type t = T.test)
  (A : ARBITRARY with type t = int list and type 'a arbitrary = 'a Q.arbitrary)
  (AA : 
    ARBITRARY_A with type 'a t = 'a list and type 'a arbitrary = 'a Q.arbitrary) : 
  sig ... end

module Int
  (T : TEST)
  (Q : QUICKCHECK with type t = T.test)
  (A : ARBITRARY with type t = int and type 'a arbitrary = 'a Q.arbitrary) : 
  sig ... end

module Option
  (T : TEST)
  (Q : QUICKCHECK with type t = T.test)
  (A : 
    ARBITRARY with type t = int option and type 'a arbitrary = 'a Q.arbitrary)
  (AA : 
    ARBITRARY_A
      with type 'a t = 'a option
       and type 'a arbitrary = 'a Q.arbitrary) : 
  sig ... end

module String
  (T : TEST)
  (Q : QUICKCHECK with type t = T.test)
  (A : ARBITRARY with type t = string and type 'a arbitrary = 'a Q.arbitrary) : 
  sig ... end

package bastet

Module Bastet.Test

Module `Bastet.Test`