package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module T : TEST
module Q : QUICKCHECK with type t = T.test

Signature

type t
type 'a arbitrary
val (<.) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
module Compare : sig ... end
module Medial_Magma (M : Interface.MEDIAL_MAGMA) (A : ARBITRARY with type t := M.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Semigroup (S : Interface.SEMIGROUP) (A : ARBITRARY with type t := S.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Quasigroup (QG : Interface.QUASIGROUP) (A : ARBITRARY with type t := QG.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Loop (L : Interface.LOOP) (A : ARBITRARY with type t := L.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Group (G : Interface.GROUP) (A : ARBITRARY with type t := G.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Abelian_Group (G : Interface.ABELIAN_GROUP) (A : ARBITRARY with type t := G.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Monoid (M : Interface.MONOID) (A : ARBITRARY with type t := M.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Functor (F : Interface.FUNCTOR) (AA : ARBITRARY_A with type 'a t := 'a F.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Apply (A : Interface.APPLICATIVE) (AA : ARBITRARY_A with type 'a t := 'a A.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Applicative (A : Interface.APPLICATIVE) (AA : ARBITRARY_A with type 'a t := 'a A.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Monad (M : Interface.MONAD) (AA : ARBITRARY_A with type 'a t := 'a M.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Alt (A : Interface.ALT) (AA : ARBITRARY_A with type 'a t := 'a A.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Alternative (A : Interface.ALTERNATIVE) (AA : ARBITRARY_A with type 'a t := 'a A.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Plus (P : Interface.PLUS) (AA : ARBITRARY_A with type 'a t := 'a P.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Eq (E : Interface.EQ) (A : ARBITRARY with type t := E.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Ord (O : Interface.ORD) (A : ARBITRARY with type t := O.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Join_Semilattice (JS : Interface.JOIN_SEMILATTICE) (A : ARBITRARY with type t := JS.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Meet_Semilattice (MS : Interface.MEET_SEMILATTICE) (A : ARBITRARY with type t := MS.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
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
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
module Lattice (L : Interface.LATTICE) (A : ARBITRARY with type t := L.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Bounded_Lattice (BL : Interface.BOUNDED_LATTICE) (A : ARBITRARY with type t := BL.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Distributive_Lattice (DL : Interface.DISTRIBUTIVE_LATTICE) (A : ARBITRARY with type t := DL.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Heyting_Algebra (HA : Interface.HEYTING_ALGEBRA) (A : ARBITRARY with type t := HA.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
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
module Boolean_Algebra (BA : Interface.BOOLEAN_ALGEBRA) (A : ARBITRARY with type t := BA.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Bounded (B : Interface.BOUNDED) (A : ARBITRARY with type t := B.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Semiring (S : Interface.SEMIRING) (A : ARBITRARY with type t := S.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Ring (R : Interface.RING) (A : ARBITRARY with type t := R.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Commutative_Ring (C : Interface.COMMUTATIVE_RING) (A : ARBITRARY with type t := C.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Division_Ring (D : Interface.DIVISION_RING) (A : ARBITRARY with type t := D.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Euclidean_Ring (E : Interface.EUCLIDEAN_RING) (A : ARBITRARY with type t := E.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Field (F : Interface.FIELD) (A : ARBITRARY with type t := F.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end
module Invariant (I : Interface.INVARIANT) (AA : ARBITRARY_A with type 'a t := 'a I.t and type 'a arbitrary := 'a Q.arbitrary) : sig ... end