base_quickcheck v0.12.1 · OCaml Package

val names : Base.string Base.list

val sizes : (t, Base.int Base.Sequence.t) Fieldslib.Field.t

val shrink_count : (t, Base.int) Fieldslib.Field.t

val test_count : (t, Base.int) Fieldslib.Field.t

val seed : (t, Seed.t) Fieldslib.Field.t

val fold : 
  init:'acc__0 ->
  seed:('acc__0 -> (t, Seed.t) Fieldslib.Field.t -> 'acc__1) ->
  test_count:('acc__1 -> (t, Base.int) Fieldslib.Field.t -> 'acc__2) ->
  shrink_count:('acc__2 -> (t, Base.int) Fieldslib.Field.t -> 'acc__3) ->
  sizes:('acc__3 -> (t, Base.int Base.Sequence.t) Fieldslib.Field.t -> 'acc__4) ->
  'acc__4

val make_creator : 
  seed:
    ((t, Seed.t) Fieldslib.Field.t ->
      'acc__0 ->
      ('input__ -> Seed.t) * 'acc__1) ->
  test_count:
    ((t, Base.int) Fieldslib.Field.t ->
      'acc__1 ->
      ('input__ -> Base.int) * 'acc__2) ->
  shrink_count:
    ((t, Base.int) Fieldslib.Field.t ->
      'acc__2 ->
      ('input__ -> Base.int) * 'acc__3) ->
  sizes:
    ((t, Base.int Base.Sequence.t) Fieldslib.Field.t ->
      'acc__3 ->
      ('input__ -> Base.int Base.Sequence.t) * 'acc__4) ->
  'acc__0 ->
  ('input__ -> t) * 'acc__4

val create : 
  seed:Seed.t ->
  test_count:Base.int ->
  shrink_count:Base.int ->
  sizes:Base.int Base.Sequence.t ->
  t

val map : 
  seed:((t, Seed.t) Fieldslib.Field.t -> Seed.t) ->
  test_count:((t, Base.int) Fieldslib.Field.t -> Base.int) ->
  shrink_count:((t, Base.int) Fieldslib.Field.t -> Base.int) ->
  sizes:
    ((t, Base.int Base.Sequence.t) Fieldslib.Field.t ->
      Base.int Base.Sequence.t) ->
  t

val iter : 
  seed:((t, Seed.t) Fieldslib.Field.t -> Base.unit) ->
  test_count:((t, Base.int) Fieldslib.Field.t -> Base.unit) ->
  shrink_count:((t, Base.int) Fieldslib.Field.t -> Base.unit) ->
  sizes:((t, Base.int Base.Sequence.t) Fieldslib.Field.t -> Base.unit) ->
  Base.unit

val for_all : 
  seed:((t, Seed.t) Fieldslib.Field.t -> Base.bool) ->
  test_count:((t, Base.int) Fieldslib.Field.t -> Base.bool) ->
  shrink_count:((t, Base.int) Fieldslib.Field.t -> Base.bool) ->
  sizes:((t, Base.int Base.Sequence.t) Fieldslib.Field.t -> Base.bool) ->
  Base.bool

val exists : 
  seed:((t, Seed.t) Fieldslib.Field.t -> Base.bool) ->
  test_count:((t, Base.int) Fieldslib.Field.t -> Base.bool) ->
  shrink_count:((t, Base.int) Fieldslib.Field.t -> Base.bool) ->
  sizes:((t, Base.int Base.Sequence.t) Fieldslib.Field.t -> Base.bool) ->
  Base.bool

val to_list : 
  seed:((t, Seed.t) Fieldslib.Field.t -> 'elem__) ->
  test_count:((t, Base.int) Fieldslib.Field.t -> 'elem__) ->
  shrink_count:((t, Base.int) Fieldslib.Field.t -> 'elem__) ->
  sizes:((t, Base.int Base.Sequence.t) Fieldslib.Field.t -> 'elem__) ->
  'elem__ Base.list

val map_poly : 
  ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user ->
  'x0 Base.list

module Direct : sig ... end

package base_quickcheck