package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type

These helpers provide generative tests for implementations.

module type TEST = sig ... end
module type ARBITRARY = sig ... end
module type ARBITRARY_A = sig ... end

Generic helper to make an arbitrary(t('a)) type from a given arbitrary('a) type.

module type QUICKCHECK = sig ... end

This module type is required to create the generative tests. Provide the framework-specific implementations here (ie: qcheck, jsverify,etc).

module Make (T : TEST) (Q : QUICKCHECK with type t = T.test) : sig ... end
module Array (Arr : ArrayF.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