Module `Test.Make`Source

Parameters

module T : TEST

module Q : QUICKCHECK with type t = T.test

Signature

Sourcetype t

Sourcetype 'a arbitrary

Sourceval (<.) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b

Sourcemodule Compare : sig ... end

Source

module Medial_Magma
  (M : Interface.MEDIAL_MAGMA)
  (A : ARBITRARY with type t := M.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Semigroup
  (S : Interface.SEMIGROUP)
  (A : ARBITRARY with type t := S.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Quasigroup
  (QG : Interface.QUASIGROUP)
  (A : ARBITRARY with type t := QG.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Loop
  (L : Interface.LOOP)
  (A : ARBITRARY with type t := L.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Group
  (G : Interface.GROUP)
  (A : ARBITRARY with type t := G.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Abelian_Group
  (G : Interface.ABELIAN_GROUP)
  (A : ARBITRARY with type t := G.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Monoid
  (M : Interface.MONOID)
  (A : ARBITRARY with type t := M.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Functor
  (F : Interface.FUNCTOR)
  (AA : 
    ARBITRARY_A
      with type 'a t := 'a F.t
       and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Apply
  (A : Interface.APPLICATIVE)
  (AA : 
    ARBITRARY_A
      with type 'a t := 'a A.t
       and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Applicative
  (A : Interface.APPLICATIVE)
  (AA : 
    ARBITRARY_A
      with type 'a t := 'a A.t
       and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Monad
  (M : Interface.MONAD)
  (AA : 
    ARBITRARY_A
      with type 'a t := 'a M.t
       and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Alt
  (A : Interface.ALT)
  (AA : 
    ARBITRARY_A
      with type 'a t := 'a A.t
       and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Alternative
  (A : Interface.ALTERNATIVE)
  (AA : 
    ARBITRARY_A
      with type 'a t := 'a A.t
       and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Plus
  (P : Interface.PLUS)
  (AA : 
    ARBITRARY_A
      with type 'a t := 'a P.t
       and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Eq
  (E : Interface.EQ)
  (A : ARBITRARY with type t := E.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Ord
  (O : Interface.ORD)
  (A : ARBITRARY with type t := O.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Join_Semilattice
  (JS : Interface.JOIN_SEMILATTICE)
  (A : ARBITRARY with type t := JS.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Meet_Semilattice
  (MS : Interface.MEET_SEMILATTICE)
  (A : ARBITRARY with type t := MS.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Bounded_Join_Semilattice
  (BJS : Interface.BOUNDED_JOIN_SEMILATTICE)
  (A : ARBITRARY with type t := BJS.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Bounded_Meet_Semilattice
  (BMS : Interface.BOUNDED_MEET_SEMILATTICE)
  (A : ARBITRARY with type t := BMS.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Lattice
  (L : Interface.LATTICE)
  (A : ARBITRARY with type t := L.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Bounded_Lattice
  (BL : Interface.BOUNDED_LATTICE)
  (A : ARBITRARY with type t := BL.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Distributive_Lattice
  (DL : Interface.DISTRIBUTIVE_LATTICE)
  (A : ARBITRARY with type t := DL.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Bounded_Distributive_Lattice
  (BDL : Interface.BOUNDED_DISTRIBUTIVE_LATTICE)
  (A : ARBITRARY with type t := BDL.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Heyting_Algebra
  (HA : Interface.HEYTING_ALGEBRA)
  (A : ARBITRARY with type t := HA.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Involutive_Heyting_Algebra
  (IHA : Interface.INVOLUTIVE_HEYTING_ALGEBRA)
  (A : ARBITRARY with type t := IHA.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Boolean_Algebra
  (BA : Interface.BOOLEAN_ALGEBRA)
  (A : ARBITRARY with type t := BA.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Bounded
  (B : Interface.BOUNDED)
  (A : ARBITRARY with type t := B.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Semiring
  (S : Interface.SEMIRING)
  (A : ARBITRARY with type t := S.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Ring
  (R : Interface.RING)
  (A : ARBITRARY with type t := R.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Commutative_Ring
  (C : Interface.COMMUTATIVE_RING)
  (A : ARBITRARY with type t := C.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Division_Ring
  (D : Interface.DIVISION_RING)
  (A : ARBITRARY with type t := D.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Euclidean_Ring
  (E : Interface.EUCLIDEAN_RING)
  (A : ARBITRARY with type t := E.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Field
  (F : Interface.FIELD)
  (A : ARBITRARY with type t := F.t and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

Source

module Invariant
  (I : Interface.INVARIANT)
  (AA : 
    ARBITRARY_A
      with type 'a t := 'a I.t
       and type 'a arbitrary := 'a Q.arbitrary) : 
  sig ... end

package bastet

Module Test.MakeSource

Parameters

Signature

Module `Test.Make`Source