package bastet

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

Note: Any data structure implementing one of these interfaces must also satisfy the corresponding laws in the corresponding Verify module.

module type MAGMA = sig ... end
module type MEDIAL_MAGMA = sig ... end
module type MAGMA_ANY = sig ... end
module type SEMIGROUP = sig ... end
module type SEMIGROUP_ANY = sig ... end
module type MONOID = sig ... end
module type MONOID_ANY = sig ... end
module type QUASIGROUP = sig ... end
module type MEDIAL_QUASIGROUP = sig ... end
module type QUASIGROUP_ANY = sig ... end
module type LOOP = sig ... end
module type LOOP_ANY = sig ... end
module type GROUP = sig ... end
module type GROUP_ANY = sig ... end
module type GROUP_LOOP = functor (G : GROUP) -> LOOP

Every GROUP is a LOOP.

module type GROUP_LOOP_ANY = functor (G : GROUP_ANY) -> LOOP_ANY
module type ABELIAN_GROUP = sig ... end
module type ABELIAN_GROUP_ANY = sig ... end
module type FUNCTOR = sig ... end
module type APPLY = sig ... end
module type APPLICATIVE = sig ... end
module type MONAD = sig ... end
module type ALT = sig ... end
module type PLUS = sig ... end
module type ALTERNATIVE = sig ... end
module type FOLDABLE = sig ... end
module type UNFOLDABLE = sig ... end
module type TRAVERSABLE = sig ... end
module type TRAVERSABLE_F = functor (A : APPLICATIVE) -> TRAVERSABLE with type 'a applicative_t = 'a A.t
module type SEMIGROUPOID = sig ... end
module type CATEGORY = sig ... end
module type EQ = sig ... end
module type QUASIREFLEXIVE_EQ = sig ... end
module type EQ1 = sig ... end
module type EQ2 = sig ... end
type ordering = [
  1. | `less_than
  2. | `equal_to
  3. | `greater_than
]
val invert : [< `equal_to | `greater_than | `less_than ] -> [> `equal_to | `greater_than | `less_than ]
val int_to_ordering : int -> [> `equal_to | `greater_than | `less_than ]
val unsafe_compare : 'a -> 'a -> [> `equal_to | `greater_than | `less_than ]
module type ORD = sig ... end
module Ordering (O : ORD) : sig ... end
module type BOUNDED = sig ... end
module type JOIN_SEMILATTICE = sig ... end
module type MEET_SEMILATTICE = sig ... end
module type BOUNDED_JOIN_SEMILATTICE = sig ... end
module type BOUNDED_MEET_SEMILATTICE = sig ... end
module type LATTICE = sig ... end
module type BOUNDED_LATTICE = sig ... end
module type DISTRIBUTIVE_LATTICE = sig ... end
module type BOUNDED_DISTRIBUTIVE_LATTICE = sig ... end
module type HEYTING_ALGEBRA = sig ... end
module type INVOLUTIVE_HEYTING_ALGEBRA = sig ... end
module type BOOLEAN_ALGEBRA = sig ... end
module type SHOW = sig ... end
module type SEMIRING = sig ... end
module type RING = sig ... end
module type COMMUTATIVE_RING = sig ... end
module type DIVISION_RING = sig ... end
module type EUCLIDEAN_RING = sig ... end
module type FIELD = sig ... end
module type INVARIANT = sig ... end
module type CONTRAVARIANT = sig ... end
module type PROFUNCTOR = sig ... end
module type MONAD_ZERO = sig ... end
module type MONAD_PLUS = sig ... end
module type EXTEND = sig ... end
module type COMONAD = sig ... end
module type BIFUNCTOR = sig ... end
module type BIAPPLY = sig ... end
module type BIAPPLICATIVE = sig ... end
module type BIFOLDABLE = sig ... end
module type BITRAVERSABLE = sig ... end
module type BITRAVERSABLE_F = functor (A : APPLICATIVE) -> BITRAVERSABLE with type 'a applicative_t = 'a A.t
module type BICONTRAVARIANT = 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