Module QCheck2.Tuple

module Tuple: sig .. end

Utils on combining function arguments.


type 'a t = 
| Nil : unit t
| Cons : 'a0 * 'b t -> ('a0 * 'b) t

Heterogeneous tuple, used to pass any number of arguments to a function.

val nil : unit t

nil is Nil.

val cons : 'a -> 'b t -> ('a * 'b) t

cons is Cons.

type 'a obs 

How to observe a QCheck2.Tuple.t.

See QCheck2.Observable for more information on what "observe" means in the QCheck.

val o_nil : unit obs

o_nil is the QCheck2.Tuple.obs equivalent of QCheck2.Tuple.nil.

val o_cons : 'a QCheck2.Observable.t ->
'b obs -> ('a * 'b) obs

o_cons is the QCheck2.Tuple.obs equivalent of QCheck2.Tuple.cons.

val observable : 'a obs -> 'a t QCheck2.Observable.t

observable obs returns the underlying observable of obs.

module Infix: sig .. end

Infix QCheck2.Tuple operators for convenience.

include QCheck2.Tuple.Infix