package qcheck

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type random_state = Random.State.t

type !'a gen = random_state -> 'a

val run : 'a gen -> random_state -> 'a

val make_char : char -> int -> char gen

val lowercase : char gen

val uppercase : char gen

val unit : unit gen

val make_int : int -> int -> int gen

val string : int gen -> char gen -> string gen

val bool : bool gen

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

type !'a nonempty_list = 'a list

val select : 'a nonempty_list -> 'a gen

val choose : 'a gen nonempty_list -> 'a gen

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

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

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

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

val pure : 'a -> 'a gen

val return : 'a -> 'a gen

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

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

val join : 'a gen gen -> 'a gen

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

type !'a backtrack_gen = 'a option gen

val succeed : 'a gen -> 'a backtrack_gen

val guard : ('a -> bool) -> 'a backtrack_gen -> 'a backtrack_gen

val cond : bool -> 'a backtrack_gen -> 'a backtrack_gen

val backtrack : 'a backtrack_gen -> 'a gen

type !'a fueled = (int -> 'a option) gen

module Fuel : sig ... end

val nullary : 'a -> 'a fueled

val unary : 'a fueled -> ('a -> 'a) -> 'a fueled

val binary : 'a fueled -> 'b fueled -> ('a -> 'b -> 'c) -> 'c fueled