qtest 2.3 · OCaml Package

val (==>) : bool -> bool -> bool

module Gen : sig ... end

module Print : sig ... end

module Iter : sig ... end

module Shrink : sig ... end

type !'a arbitrary = {

gen : 'a Gen.t;
print : ('a -> string) option;
small : ('a -> int) option;
shrink : 'a Shrink.t option;
collect : ('a -> string) option;

}

val make : 
  ?print:'a Print.t ->
  ?small:('a -> int) ->
  ?shrink:'a Shrink.t ->
  ?collect:('a -> string) ->
  'a Gen.t ->
  'a arbitrary

val set_print : 'a Print.t -> 'a arbitrary -> 'a arbitrary

val set_small : ('a -> int) -> 'a arbitrary -> 'a arbitrary

val set_shrink : 'a Shrink.t -> 'a arbitrary -> 'a arbitrary

val set_collect : ('a -> string) -> 'a arbitrary -> 'a arbitrary

val choose : 'a arbitrary list -> 'a arbitrary

val unit : unit arbitrary

val bool : bool arbitrary

val float : float arbitrary

val pos_float : float arbitrary

val neg_float : float arbitrary

val int : int arbitrary

val int_bound : int -> int arbitrary

val int_range : int -> int -> int arbitrary

val (--) : int -> int -> int arbitrary

val int32 : int32 arbitrary

val int64 : int64 arbitrary

val pos_int : int arbitrary

val small_int : int arbitrary

val small_int_corners : unit -> int arbitrary

val neg_int : int arbitrary

val char : char arbitrary

val printable_char : char arbitrary

val numeral_char : char arbitrary

val string_gen_of_size : int Gen.t -> char Gen.t -> string arbitrary

val string_gen : char Gen.t -> string arbitrary

val string : string arbitrary

val small_string : string arbitrary

val string_of_size : int Gen.t -> string arbitrary

val printable_string : string arbitrary

val printable_string_of_size : int Gen.t -> string arbitrary

val small_printable_string : string arbitrary

val numeral_string : string arbitrary

val numeral_string_of_size : int Gen.t -> string arbitrary

val list : 'a arbitrary -> 'a list arbitrary

val list_of_size : int Gen.t -> 'a arbitrary -> 'a list arbitrary

val array : 'a arbitrary -> 'a array arbitrary

val array_of_size : int Gen.t -> 'a arbitrary -> 'a array arbitrary

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

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

val option : 'a arbitrary -> 'a option arbitrary

val fun1 : 'a arbitrary -> 'b arbitrary -> ('a -> 'b) arbitrary

val fun2 : 
  'a arbitrary ->
  'b arbitrary ->
  'c arbitrary ->
  ('a -> 'b -> 'c) arbitrary

val oneofl : 
  ?print:'a Print.t ->
  ?collect:('a -> string) ->
  'a list ->
  'a arbitrary

val oneofa : 
  ?print:'a Print.t ->
  ?collect:('a -> string) ->
  'a array ->
  'a arbitrary

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

val always : ?print:'a Print.t -> 'a -> 'a arbitrary

val frequency : 
  ?print:'a Print.t ->
  ?small:('a -> int) ->
  ?shrink:'a Shrink.t ->
  ?collect:('a -> string) ->
  (int * 'a arbitrary) list ->
  'a arbitrary

val frequencyl : 
  ?print:'a Print.t ->
  ?small:('a -> int) ->
  (int * 'a) list ->
  'a arbitrary

val frequencya : 
  ?print:'a Print.t ->
  ?small:('a -> int) ->
  (int * 'a) array ->
  'a arbitrary

val map : ?rev:('b -> 'a) -> ('a -> 'b) -> 'a arbitrary -> 'b arbitrary

val map_same_type : ('a -> 'a) -> 'a arbitrary -> 'a arbitrary

val map_keep_input : 
  ?print:'b Print.t ->
  ?small:('b -> int) ->
  ('a -> 'b) ->
  'a arbitrary ->
  ('a * 'b) arbitrary

module TestResult : sig ... end

module Test : sig ... end

package qtest