package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Compare : sig ... end

Provides functors to verify that instances are lawful.

module Medial_Magma (M : Interface.MEDIAL_MAGMA) : sig ... end

Default Verify functors. Uses Pervasives.(==) for comparison.

module Semigroup (S : Interface.SEMIGROUP) : sig ... end
module Semigroup_Any (S : Interface.SEMIGROUP_ANY) : sig ... end
module Monoid (M : Interface.MONOID) : sig ... end
module Monoid_Any (M : Interface.MONOID_ANY) : sig ... end
module Quasigroup (Q : Interface.QUASIGROUP) : sig ... end
module Quasigroup_Any (Q : Interface.QUASIGROUP_ANY) : sig ... end
module Loop (L : Interface.LOOP) : sig ... end
module Loop_Any (L : Interface.LOOP_ANY) : sig ... end
module Group (G : Interface.GROUP) : sig ... end
module Group_Any (G : Interface.GROUP_ANY) : sig ... end
module Abelian_Group (A : Interface.ABELIAN_GROUP) : sig ... end
module Functor (F : Interface.FUNCTOR) : sig ... end
module Apply (A : Interface.APPLY) : sig ... end
module Applicative (A : Interface.APPLICATIVE) : sig ... end
module Monad (M : Interface.MONAD) : sig ... end
module Alt (A : Interface.ALT) : sig ... end
module Plus (P : Interface.PLUS) : sig ... end
module Alternative (A : Interface.ALTERNATIVE) : sig ... end
module Semigroupoid (S : Interface.SEMIGROUPOID) : sig ... end
module Category (C : Interface.CATEGORY) : sig ... end
module Eq (E : Interface.EQ) : sig ... end
module Ord (E : Interface.ORD) : sig ... end
module Bounded (B : Interface.BOUNDED) : sig ... end
module Lattice (L : Interface.LATTICE) : sig ... end
module Semiring (S : Interface.SEMIRING) : sig ... end
module Ring (R : Interface.RING) : sig ... end
module Division_Ring (R : Interface.DIVISION_RING) : sig ... end
module Euclidean_Ring (R : Interface.EUCLIDEAN_RING) : sig ... end
module Field (F : Interface.FIELD) : sig ... end
module Invariant (I : Interface.INVARIANT) : sig ... end
module Contravariant (C : Interface.CONTRAVARIANT) : sig ... end
module Profunctor (P : Interface.PROFUNCTOR) : sig ... end
module Monad_Zero (M : Interface.MONAD_ZERO) : sig ... end
module Monad_Plus (M : Interface.MONAD_PLUS) : sig ... end
module Extend (E : Interface.EXTEND) : sig ... end
module Comonad (C : Interface.COMONAD) : sig ... end
module Bifunctor (B : Interface.BIFUNCTOR) : sig ... end