Module `Smol_helpers.Test_helpers`Source

Sourcetype kind =

| Unit
| Rand

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

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

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

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

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

Source

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

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

Source

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

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

Source

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

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

Source

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

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

Source

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

Source

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

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

Source

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

Module Smol_helpers.Test_helpersSource

Module `Smol_helpers.Test_helpers`Source