package quickcheck

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type !'a gen =

val sized : (int -> 'a gen) -> 'a gen

val resize : int -> 'a gen -> 'a gen

val promote : ('a -> 'b gen) -> ('a -> 'b) gen

val variant : int -> 'a gen -> 'a gen

val generate : int -> 'a gen -> 'a

val map_gen : ('a -> 'b) -> 'a gen -> 'b gen

val ret_gen : 'a -> 'a gen

val (>>=) : 'a gen -> ('a -> 'b gen) -> 'b gen

val lift_gen : ('a -> 'b) -> 'a -> 'b gen

val choose_int : (int * int) -> int gen

val choose_int32 : (int32 * int32) -> int32 gen

val choose_int0 : int -> int gen

val choose_char : (char * char) -> char gen

val choose_float : (float * float) -> float gen

val elements : 'a list -> 'a gen

val vector : 'a gen -> int -> 'a list gen

val oneof : 'a gen list -> 'a gen

val such_that : ('a -> bool) -> 'a gen -> 'a gen

val frequency : (int * 'a gen) list -> 'a gen

val list : 'a gen -> 'a list gen

val list1 : 'a gen -> 'a list gen

val listN : int -> 'a gen -> 'a list gen