smol-helpers 0.0.1 (latest)

type kind =

| Unit
| Rand

val map_tests : (('a * 'b) -> 'c) -> ('a * 'd * 'b) -> 'd * [> `Quick ] * 'c

val repeat : int -> (kind * (unit -> 'a)) -> unit -> unit

val get_tests : 
  int ->
  (kind * 'a * (unit -> 'b)) list ->
  ('a * [> `Quick ] * (unit -> unit)) list

module Make (A : Smol.Algebra.Basic_S) : sig ... end

module Test_Basics (A : Smol.Algebra.Basic_S) : sig ... end

val make_tests_basic : 
  ?ampli:int ->
  ?name:string ->
  (module Smol.Algebra.Basic_S with type t = 'a) ->
  (unit -> 'a) ->
  string * (string * [> `Quick ] * (unit -> unit)) list

module Test_Mul_Monoid (A : Smol.Algebra.Mul_Monoid_S) : sig ... end

val make_tests_mul_monoid : 
  ?ampli:int ->
  ?name:string ->
  commutative:bool ->
  (module Smol.Algebra.Mul_Monoid_S with type t = 'a) ->
  (unit -> 'a) ->
  string * (string * [> `Quick ] * (unit -> unit)) list

module Test_Add_Monoid (A : Smol.Algebra.Add_Monoid_S) : sig ... end

val make_tests_add_monoid : 
  ?ampli:int ->
  ?name:string ->
  commutative:bool ->
  (module Smol.Algebra.Add_Monoid_S with type t = 'a) ->
  (unit -> 'a) ->
  string * (string * [> `Quick ] * (unit -> unit)) list

module Test_Add_Group (A : Smol.Algebra.Add_Group_S) : sig ... end

val make_tests_add_group : 
  ?ampli:int ->
  ?name:string ->
  commutative:bool ->
  (module Smol.Algebra.Add_Group_S with type t = 'a) ->
  (unit -> 'a) ->
  string * (string * [> `Quick ] * (unit -> unit)) list

module Test_Semiring (A : Smol.Algebra.Semiring_S) : sig ... end

val make_tests_semiring : 
  ?ampli:int ->
  ?name:string ->
  commutative:bool ->
  (module Smol.Algebra.Semiring_S with type t = 'a) ->
  (unit -> 'a) ->
  string * (string * [> `Quick ] * (unit -> unit)) list

val make_tests_ring : 
  ?ampli:int ->
  ?name:string ->
  commutative:bool ->
  (module Smol.Algebra.Ring_S with type t = 'a) ->
  (unit -> 'a) ->
  string * (string * [> `Quick ] * (unit -> unit)) list

module Test_Field (A : Smol.Algebra.Field_S) : sig ... end

val make_tests_field : 
  ?ampli:int ->
  ?name:string ->
  (module Smol.Algebra.Field_S with type t = 'a) ->
  (unit -> 'a) ->
  string * (string * [> `Quick ] * (unit -> unit)) list

package smol-helpers