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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct