kaputt

Testing tool
IN THIS PACKAGE
Module Kaputt . Abbreviations . Gen
type random = Generator.random
type !'a t = 'a Generator.t
type !'a outcome = 'a Generator.outcome =
| Value of 'a
| Exception of exn
val make_random : unit -> Generator.random
val make_random_seed : int -> Generator.random
val make_random_full : int array -> Generator.random
val unit : unit Generator.t
val bool : bool Generator.t
val make_bool : int -> int -> bool Generator.t
val int : int Generator.t
val pos_int : int Generator.t
val neg_int : int Generator.t
val make_int : int -> int -> int Generator.t
val int32 : int32 Generator.t
val pos_int32 : int32 Generator.t
val neg_int32 : int32 Generator.t
val make_int32 : int32 -> int32 -> int32 Generator.t
val int64 : int64 Generator.t
val pos_int64 : int64 Generator.t
val neg_int64 : int64 Generator.t
val make_int64 : int64 -> int64 -> int64 Generator.t
val nativeint : nativeint Generator.t
val pos_nativeint : nativeint Generator.t
val neg_nativeint : nativeint Generator.t
val make_nativeint : nativeint -> nativeint -> nativeint Generator.t
val char : char Generator.t
val digit : char Generator.t
val digit_bin : char Generator.t
val digit_oct : char Generator.t
val digit_hex : char Generator.t
val letter : char Generator.t
val alphanum : char Generator.t
val string : int Generator.t -> char Generator.t -> string Generator.t
val strings : string -> int Generator.t -> string Generator.t -> string Generator.t
val number : int Generator.t -> string Generator.t
val number_bin : int Generator.t -> string Generator.t
val number_oct : int Generator.t -> string Generator.t
val number_hex : int Generator.t -> string Generator.t
val word : int Generator.t -> string Generator.t
val words : int Generator.t -> int Generator.t -> string Generator.t
val float : float Generator.t
val make_float : float -> float -> float Generator.t
val complex : float Generator.t -> float Generator.t -> Complex.t Generator.t
val total_function : 'b Generator.t -> ( 'a -> 'b ) Generator.t
val partial_function : 'b Generator.outcome Generator.t -> ( 'a -> 'b ) Generator.t
val array : int Generator.t -> 'a Generator.t -> 'a array Generator.t
val list : int Generator.t -> 'a Generator.t -> 'a list Generator.t
val option : bool Generator.t -> 'a Generator.t -> 'a option Generator.t
val buffer : string Generator.t -> Buffer.t Generator.t
module type Gen = sig ... end
module Map (M : Map.S) (G : sig ... end) : sig ... end
module Set (S : Set.S) (G : sig ... end) : sig ... end
val hashtbl : int Generator.t -> 'a Generator.t -> 'b Generator.t -> ( 'a, 'b ) Hashtbl.t Generator.t
val queue : int Generator.t -> 'a Generator.t -> 'a Queue.t Generator.t
val stack : int Generator.t -> 'a Generator.t -> 'a Stack.t Generator.t
val weak : int Generator.t -> 'a option Generator.t -> 'a Weak.t Generator.t
module Weak (W : Weak.S) (G : sig ... end) : sig ... end
val lift : 'a -> string -> 'a Generator.t
val select_list : 'a list -> ( 'a -> string ) -> 'a Generator.t
val select_list_weighted : ('a * int) list -> ( 'a -> string ) -> 'a Generator.t
val select_array : 'a array -> ( 'a -> string ) -> 'a Generator.t
val select_array_weighted : ('a * int) array -> ( 'a -> string ) -> 'a Generator.t
val choose_list : 'a Generator.t list -> 'a Generator.t
val choose_list_weighted : ('a Generator.t * int) list -> 'a Generator.t
val choose_array : 'a Generator.t array -> 'a Generator.t
val choose_array_weighted : ('a Generator.t * int) array -> 'a Generator.t
val filter : ( 'a -> bool ) -> 'a Generator.t -> 'a Generator.t
val transform : ( 'a -> 'a ) -> 'a Generator.t -> 'a Generator.t
val map1 : ( 'a -> 'b ) -> ( 'b -> string ) -> 'a Generator.t -> 'b Generator.t
val map2 : ( 'a -> 'b -> 'c ) -> ( 'c -> string ) -> ('a Generator.t * 'b Generator.t) -> 'c Generator.t
val map3 : ( 'a -> 'b -> 'c -> 'd ) -> ( 'd -> string ) -> ('a Generator.t * 'b Generator.t * 'c Generator.t) -> 'd Generator.t
val map4 : ( 'a -> 'b -> 'c -> 'd -> 'e ) -> ( 'e -> string ) -> ('a Generator.t * 'b Generator.t * 'c Generator.t * 'd Generator.t) -> 'e Generator.t
val map5 : ( 'a -> 'b -> 'c -> 'd -> 'e -> 'f ) -> ( 'f -> string ) -> ('a Generator.t * 'b Generator.t * 'c Generator.t * 'd Generator.t * 'e Generator.t) -> 'f Generator.t
val zip1 : 'a Generator.t -> 'a Generator.t
val zip2 : 'a Generator.t -> 'b Generator.t -> ('a * 'b) Generator.t
val zip3 : 'a Generator.t -> 'b Generator.t -> 'c Generator.t -> ('a * 'b * 'c) Generator.t
val zip4 : 'a Generator.t -> 'b Generator.t -> 'c Generator.t -> 'd Generator.t -> ('a * 'b * 'c * 'd) Generator.t
val zip5 : 'a Generator.t -> 'b Generator.t -> 'c Generator.t -> 'd Generator.t -> 'e Generator.t -> ('a * 'b * 'c * 'd * 'e) Generator.t
val apply1 : ( 'a -> 'b ) -> 'a -> 'b
val apply2 : ( 'a -> 'b -> 'c ) -> ('a * 'b) -> 'c
val apply3 : ( 'a -> 'b -> 'c -> 'd ) -> ('a * 'b * 'c) -> 'd
val apply4 : ( 'a -> 'b -> 'c -> 'd -> 'e ) -> ('a * 'b * 'c * 'd) -> 'e
val apply5 : ( 'a -> 'b -> 'c -> 'd -> 'e -> 'f ) -> ('a * 'b * 'c * 'd * 'e) -> 'f
val tuple_apply1 : ( 'a -> 'b ) -> 'a -> 'b
val tuple_apply2 : ( ('a * 'b) -> 'c ) -> 'a -> 'b -> 'c
val tuple_apply3 : ( ('a * 'b * 'c) -> 'd ) -> 'a -> 'b -> 'c -> 'd
val tuple_apply4 : ( ('a * 'b * 'c * 'd) -> 'e ) -> 'a -> 'b -> 'c -> 'd -> 'e
val tuple_apply5 : ( ('a * 'b * 'c * 'd * 'e) -> 'f ) -> 'a -> 'b -> 'c -> 'd -> 'e -> 'f