package qcheck-core

  1. Overview
  2. Docs
Core qcheck library

Install 

dune-project
 Dependency

github.com Changelog Edit opam file Versions (7)

Authors

  1. S
    Simon Cruanes <simon.cruanes.2007@m4x.org>

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

0.17.tar.gz
md5=605165edc328ae144341a2d73c7fc5fc
sha512=647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea

doc/qcheck-core/QCheck/Tuple/index.html

Module QCheck.Tuple

type '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.

val nil : unit t
val cons : 'a -> 'b t -> ('a * 'b) t
type 'a obs

How to observe a 'at

val o_nil : unit obs
val o_cons : 'a Observable.t -> 'b obs -> ('a * 'b) obs
module Infix : sig ... end
include module type of Infix
val (@::) : 'a -> 'b t -> ('a * 'b) t

Alias to cons.

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

Alias to B_cons.

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