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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct