package qcheck-core

You can search for identifiers within the package.

in-package search v0.2.0

qcheck-core
- QCheck
  - Fn
  - Gen
  - Iter
  - Observable
  - Print
  - Shrink
  - Test
  - TestResult
  - Tuple
    
    Infix
- QCheck2
  - Fn
  - Gen
  - Observable
  - Print
  - Shrink
    
    Number
  - Test
  - TestResult
  - Test_exceptions
  - Tree
  - Tuple
    
    Infix
qcheck-core.runner
- QCheck_base_runner
  - Color
  - Raw

Legend:
Library
Module
Module type
Parameter
Class
Class type

Observables are usable as arguments for random functions. The random function will observe its arguments in a way that is determined from the observable instance.

since 0.6

type -'a t

An observable for 'a, packing a printer and other things.

val equal : 'a t -> 'a -> 'a -> bool

val hash : 'a t -> 'a -> int

val print : 'a t -> 'a Print.t

val unit : unit t

val bool : bool t

val int : int t

val float : float t

val string : string t

val bytes : bytes t

since 0.20

val char : char t

since 0.20

val make : ?eq:('a -> 'a -> bool) -> ?hash:('a -> int) -> 'a Print.t -> 'a t

val map : ('a -> 'b) -> 'b t -> 'a t

val option : 'a t -> 'a option t

val list : 'a t -> 'a list t

val array : 'a t -> 'a array t

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

val triple : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t

val quad : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t