package qcheck-core

  1. Overview
  2. Docs

Module QCheck2.TupleSource

Utils on combining function arguments.

Sourcetype 'a t =
  1. | Nil : unit t
  2. | Cons : 'a * 'b t -> ('a * 'b) t

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

Sourceval nil : unit t

nil is Nil.

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

cons is Cons.

Sourcetype 'a obs

How to observe a t.

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

Sourceval o_nil : unit obs

o_nil is the obs equivalent of nil.

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

o_cons is the obs equivalent of cons.

Sourceval observable : 'a obs -> 'a t Observable.t

observable obs returns the underlying observable of obs.

Sourcemodule Infix : sig ... end

Infix Tuple operators for convenience.

include module type of Infix
Sourceval (@::) : 'a -> 'b t -> ('a * 'b) t

Alias for cons.

Sourceval (@->) : 'a Observable.t -> 'b obs -> ('a * 'b) obs

Alias for o_cons.