package bastet

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