package bastet

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

Module Option.MSource

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