package batteries

  1. Overview
  2. Docs
package batteries
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type S = sig ... end
module Make (Ord : BatInterfaces.OrderedType) : sig ... end
type ('a, 'b) t
val empty : ('a, 'b) t
val is_empty : ('a, 'b) t -> bool
val singleton : 'a -> 'b -> ('a, 'b) t
val cardinal : ('a, 'b) t -> int
val add : 'a -> 'b -> ('a, 'b) t -> ('a, 'b) t
val update : 'a -> 'a -> 'b -> ('a, 'b) t -> ('a, 'b) t
val remove : 'a -> ('a, 'b) t -> ('a, 'b) t
val mem : 'a -> ('a, 'b) t -> bool
val iter : ('a -> 'b -> unit) -> ('a, 'b) t -> unit
val map : ('b -> 'c) -> ('a, 'b) t -> ('a, 'c) t
val mapi : ('a -> 'b -> 'c) -> ('a, 'b) t -> ('a, 'c) t
val fold : ('b -> 'c -> 'c) -> ('a, 'b) t -> 'c -> 'c
val foldi : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) t -> 'c -> 'c
val at_rank_exn : int -> ('key, 'a) t -> 'key * 'a
val filterv : ('a -> bool) -> ('key, 'a) t -> ('key, 'a) t
val filter : ('key -> 'a -> bool) -> ('key, 'a) t -> ('key, 'a) t
val filter_map : ('key -> 'a -> 'b option) -> ('key, 'a) t -> ('key, 'b) t
val choose : ('key, 'a) t -> 'key * 'a
val split : 'key -> ('key, 'a) t -> ('key, 'a) t * 'a option * ('key, 'a) t
val min_binding : ('key, 'a) t -> 'key * 'a
val pop_min_binding : ('key, 'a) t -> ('key * 'a) * ('key, 'a) t
val max_binding : ('key, 'a) t -> 'key * 'a
val pop_max_binding : ('key, 'a) t -> ('key * 'a) * ('key, 'a) t
val enum : ('a, 'b) t -> ('a * 'b) BatEnum.t
val backwards : ('a, 'b) t -> ('a * 'b) BatEnum.t
val keys : ('a, 'b) t -> 'a BatEnum.t
val values : ('a, 'b) t -> 'b BatEnum.t
val of_enum : ('a * 'b) BatEnum.t -> ('a, 'b) t
val for_all : ('a -> 'b -> bool) -> ('a, 'b) t -> bool
val exists : ('a -> 'b -> bool) -> ('a, 'b) t -> bool
val partition : ('a -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t * ('a, 'b) t
val add_carry : 'a -> 'b -> ('a, 'b) t -> ('a, 'b) t * 'b option
val modify : 'a -> ('b -> 'b) -> ('a, 'b) t -> ('a, 'b) t
val modify_def : 'b -> 'a -> ('b -> 'b) -> ('a, 'b) t -> ('a, 'b) t
val modify_opt : 'a -> ('b option -> 'b option) -> ('a, 'b) t -> ('a, 'b) t
val extract : 'a -> ('a, 'b) t -> 'b * ('a, 'b) t
val pop : ('a, 'b) t -> ('a * 'b) * ('a, 'b) t
val union : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
val diff : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
val intersect : ('b -> 'c -> 'd) -> ('a, 'b) t -> ('a, 'c) t -> ('a, 'd) t
val merge : ('key -> 'a option -> 'b option -> 'c option) -> ('key, 'a) t -> ('key, 'b) t -> ('key, 'c) t
val compare : ('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int
val equal : ('b -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t -> bool
module Exceptionless : sig ... end
module Infix : sig ... end
val (-->) : ('a, 'b) t -> 'a -> 'b
val (<--) : ('a, 'b) t -> ('a * 'b) -> ('a, 'b) t
val bindings : ('key, 'a) t -> ('key * 'a) list
val print : ?first:string -> ?last:string -> ?sep:string -> ?kvsep:string -> ('a BatInnerIO.output -> 'b -> unit) -> ('a BatInnerIO.output -> 'c -> unit) -> 'a BatInnerIO.output -> ('b, 'c) t -> unit
module type OrderedType = BatInterfaces.OrderedType
val find : 'a -> ('a, 'b) t -> 'b option
module PMap : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog 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