package preface

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `Suite.R`

type ('a, 'b) t

type ('a, 'b) generator

type 'a input

type 'a output

val generator : 
  'a QCheck2.Observable.t ->
  'b QCheck2.Gen.t ->
  ('a, 'b) generator QCheck2.Gen.t

val input : 'a QCheck2.Gen.t -> 'a input QCheck2.Gen.t

val lift : ('a, 'b) generator -> ('a, 'b) t

val equal : ('b -> 'b -> bool) -> 'b output -> 'b output -> bool

val run : ('a, 'b) t -> 'a input -> 'b output

val run_functional_output : ('a -> 'b) output -> 'a -> 'b output

val map_input : ('a -> 'b) -> 'a input -> 'b input

val run_equality : 
  'a input ->
  ('b output -> 'b output -> bool) ->
  ('a, 'b) t ->
  ('a, 'b) t ->
  bool