Some utilities to deal with QCheck.
val test :
count:int ->
?print:'generated QCheck2.Print.t ->
'generated QCheck2.Gen.t ->
(unit -> ('b, 'c) Preface_laws.Law.t) ->
(('b -> 'c) -> ('b -> 'c) -> 'generated -> bool) ->
QCheck2.Test.tAn helper to deal with test definition
Additional generators.
val gen_either :
'a QCheck2.Gen.t ->
'b QCheck2.Gen.t ->
('a, 'b) Either.t QCheck2.Gen.tval gen_result :
'a QCheck2.Gen.t ->
'b QCheck2.Gen.t ->
('a, 'b) Result.t QCheck2.Gen.tval gen_try : 'a QCheck2.Gen.t -> ('a, exn) Result.t QCheck2.Gen.tval gen_exn : exn QCheck2.Gen.tval obs_either :
'a QCheck2.Observable.t ->
'b QCheck2.Observable.t ->
('a, 'b) Either.t QCheck2.Observable.tval obs_result :
'a QCheck2.Observable.t ->
'b QCheck2.Observable.t ->
('a, 'b) Result.t QCheck2.Observable.tval obs_try :
'a QCheck2.Observable.t ->
('a, exn) Result.t QCheck2.Observable.tval obs_exn : exn QCheck2.Observable.tAdditional pretty-printer.
val pp_either :
(Format.formatter -> 'a -> unit) ->
(Format.formatter -> 'b -> unit) ->
Format.formatter ->
('a, 'b) Either.t ->
unitval pp_result :
(Format.formatter -> 'a -> unit) ->
(Format.formatter -> 'b -> unit) ->
Format.formatter ->
('a, 'b) Result.t ->
unitval pp_try :
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
('a, exn) Result.t ->
unitval pp_exn : Format.formatter -> exn -> unitAdditional equivalence function.