package batteries

  1. Overview
  2. Docs
package batteries
Legend:
Library
Module
Module type
Parameter
Class
Class type
type order =
  1. | Lt
  2. | Eq
  3. | Gt
type !'a ord = 'a -> 'a -> order
type !'a comp = 'a -> 'a -> int
module type Comp = sig ... end
module type Ord = sig ... end
val ord0 : int -> order
val ord : 'a comp -> 'a ord
module Ord (Comp : Comp) : sig ... end
val comp0 : order -> int
val comp : 'a ord -> 'a comp
module Comp (Ord : Ord) : sig ... end
val poly_comp : 'a comp
val poly_ord : 'a ord
val poly : 'a ord
val rev_ord0 : order -> order
val rev_comp0 : int -> int
val rev_ord : 'a ord -> 'a ord
val rev_comp : 'a comp -> 'a comp
val rev : 'a ord -> 'a ord
module RevOrd (Ord : Ord) : sig ... end
module RevComp (Comp : Comp) : sig ... end
module Rev (Ord : Ord) : sig ... end
type !'a eq = 'a -> 'a -> bool
val eq_ord0 : order -> bool
val eq_comp0 : int -> bool
val eq_ord : 'a ord -> 'a eq
val eq_comp : 'a comp -> 'a eq
val eq : 'a ord -> 'a eq
module type Eq = sig ... end
module EqOrd (Ord : Ord) : sig ... end
module EqComp (Comp : Comp) : sig ... end
module Eq (Ord : Ord) : sig ... end
type !'a choice = 'a -> 'a -> 'a
val min_ord : 'a ord -> 'a choice
val max_ord : 'a ord -> 'a choice
val min_comp : 'a comp -> 'a choice
val max_comp : 'a comp -> 'a choice
val min : 'a ord -> 'a choice
val max : 'a ord -> 'a choice
val bin_comp : 'a comp -> 'a -> 'a -> 'b comp -> 'b -> 'b -> int
val bin_ord : 'a ord -> 'a -> 'a -> 'b ord -> 'b -> 'b -> order
val bin_eq : 'a eq -> 'a -> 'a -> 'b eq -> 'b -> 'b -> bool
val map_eq : ('a -> 'b) -> 'b eq -> 'a eq
val map_comp : ('a -> 'b) -> 'b comp -> 'a comp
val map_ord : ('a -> 'b) -> 'b ord -> 'a ord
module Incubator : 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