package batteries

  1. Overview
  2. Docs
package batteries
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('a, 'b) t = ('a, 'b) BatMap.PMap.t
val empty : ('a, 'b) t
val is_empty : ('a, 'b) t -> bool
val create : ('a -> 'a -> int) -> ('a, 'b) t
val singleton : ?cmp:('a -> 'a -> int) -> '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 -> ('a, 'b) t -> 'a * 'b
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 : ?cmp:('a -> 'a -> int) -> ('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 merge_unsafe : ('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 = BatMap.PMap.Exceptionless
module Infix = BatMap.PMap.Infix
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
val get_cmp : ('a, 'b) t -> 'a -> 'a -> int
val find : 'a -> ('a, 'b) BatMap.PMap.t -> 'b option
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