Module `Bastet__Verify`

module Compare : sig ... end: Provides functors to verify that instances are lawful.

module Medial_Magma : functor (M : Bastet.Interface.MEDIAL_MAGMA) -> sig ... end: Default Verify functors. Uses Pervasives.( == ) for comparison.

module Semigroup : functor (S : Bastet.Interface.SEMIGROUP) -> sig ... end

module Semigroup_Any : functor (S : Bastet.Interface.SEMIGROUP_ANY) -> sig ... end

module Monoid : functor (M : Bastet.Interface.MONOID) -> sig ... end

module Monoid_Any : functor (M : Bastet.Interface.MONOID_ANY) -> sig ... end

module Quasigroup : functor (Q : Bastet.Interface.QUASIGROUP) -> sig ... end

module Quasigroup_Any : functor (Q : Bastet.Interface.QUASIGROUP_ANY) -> sig ... end

module Medial_Quasigroup : functor (Q : Bastet.Interface.MEDIAL_QUASIGROUP) -> sig ... end

module Loop : functor (L : Bastet.Interface.LOOP) -> sig ... end

module Loop_Any : functor (L : Bastet.Interface.LOOP_ANY) -> sig ... end

module Group : functor (G : Bastet.Interface.GROUP) -> sig ... end

module Group_Any : functor (G : Bastet.Interface.GROUP_ANY) -> sig ... end

module Abelian_Group : functor (A : Bastet.Interface.ABELIAN_GROUP) -> sig ... end

module Abelian_Group_Any : functor (A : Bastet.Interface.ABELIAN_GROUP_ANY) -> sig ... end

module Functor : functor (F : Bastet.Interface.FUNCTOR) -> sig ... end

module Apply : functor (A : Bastet.Interface.APPLY) -> sig ... end

module Applicative : functor (A : Bastet.Interface.APPLICATIVE) -> sig ... end

module Monad : functor (M : Bastet.Interface.MONAD) -> sig ... end

module Alt : functor (A : Bastet.Interface.ALT) -> sig ... end

module Plus : functor (P : Bastet.Interface.PLUS) -> sig ... end

module Alternative : functor (A : Bastet.Interface.ALTERNATIVE) -> sig ... end

module Semigroupoid : functor (S : Bastet.Interface.SEMIGROUPOID) -> sig ... end

module Category : functor (C : Bastet.Interface.CATEGORY) -> sig ... end

module Eq : functor (E : Bastet.Interface.EQ) -> sig ... end

module Ord : functor (E : Bastet.Interface.ORD) -> sig ... end

module Bounded : functor (B : Bastet.Interface.BOUNDED) -> sig ... end

module Join_Semilattice : functor (J : Bastet.Interface.JOIN_SEMILATTICE) -> sig ... end

module Meet_Semilattice : functor (M : Bastet.Interface.MEET_SEMILATTICE) -> sig ... end

module Bounded_Join_Semilattice : functor (J : Bastet.Interface.BOUNDED_JOIN_SEMILATTICE) -> sig ... end

module Bounded_Meet_Semilattice : functor (M : Bastet.Interface.BOUNDED_MEET_SEMILATTICE) -> sig ... end

module Lattice : functor (L : Bastet.Interface.LATTICE) -> sig ... end

module Bounded_Lattice : functor (L : Bastet.Interface.BOUNDED_LATTICE) -> sig ... end

module Distributive_Lattice : functor (L : Bastet.Interface.DISTRIBUTIVE_LATTICE) -> sig ... end

module Bounded_Distributive_Lattice : functor (L : Bastet.Interface.BOUNDED_DISTRIBUTIVE_LATTICE) -> sig ... end

module Heyting_Algebra : functor (H : Bastet.Interface.HEYTING_ALGEBRA) -> sig ... end

module Involutive_Heyting_Algebra : functor (H : Bastet.Interface.INVOLUTIVE_HEYTING_ALGEBRA) -> sig ... end

module Boolean_Algebra : functor (B : Bastet.Interface.BOOLEAN_ALGEBRA) -> sig ... end

module Semiring : functor (S : Bastet.Interface.SEMIRING) -> sig ... end

module Ring : functor (R : Bastet.Interface.RING) -> sig ... end

module Commutative_Ring : functor (R : Bastet.Interface.COMMUTATIVE_RING) -> sig ... end

module Division_Ring : functor (R : Bastet.Interface.DIVISION_RING) -> sig ... end

module Euclidean_Ring : functor (R : Bastet.Interface.EUCLIDEAN_RING) -> sig ... end

module Field : functor (F : Bastet.Interface.FIELD) -> sig ... end

module Invariant : functor (I : Bastet.Interface.INVARIANT) -> sig ... end

module Contravariant : functor (C : Bastet.Interface.CONTRAVARIANT) -> sig ... end

module Profunctor : functor (P : Bastet.Interface.PROFUNCTOR) -> sig ... end

module Monad_Zero : functor (M : Bastet.Interface.MONAD_ZERO) -> sig ... end

module Monad_Plus : functor (M : Bastet.Interface.MONAD_PLUS) -> sig ... end

module Extend : functor (E : Bastet.Interface.EXTEND) -> sig ... end

module Comonad : functor (C : Bastet.Interface.COMONAD) -> sig ... end

module Bifunctor : functor (B : Bastet.Interface.BIFUNCTOR) -> sig ... end

module Bicontravariant : functor (B : Bastet.Interface.BICONTRAVARIANT) -> sig ... end