package bastet

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

Module Bastet.TestSource

These helpers provide generative tests for implementations.

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

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

Sourcemodule type QUICKCHECK = sig ... end

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

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