package kappa-library

  1. Overview
  2. Docs
package kappa-library
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module IntSetMap.MapSource

Sourcetype elt = elt
Sourcetype set = Set.t
Sourcetype +'a t
Sourceval empty : 'a t
Sourceval is_empty : 'a t -> bool
Sourceval size : 'a t -> int
Sourceval root : 'a t -> (elt * 'a) option
Sourceval max_key : 'a t -> elt option
Sourceval add : elt -> 'a -> 'a t -> 'a t
Sourceval remove : elt -> 'a t -> 'a t
Sourceval add_while_testing_freshness : ('parameters, 'error, elt -> 'a -> 'a t -> 'error * bool * 'a t) SetMap.with_log_wrap
Sourceval remove_while_testing_existence : ('parameters, 'error, elt -> 'a t -> 'error * bool * 'a t) SetMap.with_log_wrap
Sourceval pop : elt -> 'a t -> 'a option * 'a t
Sourceval merge : 'a t -> 'a t -> 'a t
Sourceval min_elt : 'a t -> (elt * 'a) option
Sourceval find_option : elt -> 'a t -> 'a option
Sourceval find_default : 'a -> elt -> 'a t -> 'a
Sourceval find_option_with_logs : ('parameters, 'error, elt -> 'a t -> 'error * 'a option) SetMap.with_log_wrap
Sourceval find_default_with_logs : ('parameters, 'error, 'a -> elt -> 'a t -> 'error * 'a) SetMap.with_log_wrap
Sourceval mem : elt -> 'a t -> bool
Sourceval diff : 'a t -> 'a t -> 'a t * 'a t
Sourceval union : 'a t -> 'a t -> 'a t
Sourceval update : 'a t -> 'a t -> 'a t
Sourceval diff_pred : ('a -> 'a -> bool) -> 'a t -> 'a t -> 'a t * 'a t
Sourceval add_with_logs : ('parameters, 'error, elt -> 'a -> 'a t -> 'error * 'a t) SetMap.with_log_wrap
Sourceval remove_with_logs : ('parameters, 'error, elt -> 'a t -> 'error * 'a t) SetMap.with_log_wrap
Sourceval join_with_logs : ('parameters, 'error, 'a t -> elt -> 'a -> 'a t -> 'error * 'a t) SetMap.with_log_wrap
Sourceval split_with_logs : ('parameters, 'error, elt -> 'a t -> 'error * ('a t * 'a option * 'a t)) SetMap.with_log_wrap
Sourceval update_with_logs : ('parameters, 'error, 'a t -> 'a t -> 'error * 'a t) SetMap.with_log_wrap
Sourceval map2_with_logs : ('parameters, 'error, ('parameters -> 'error -> 'a -> 'error * 'c) -> ('parameters -> 'error -> 'b -> 'error * 'c) -> ('parameters -> 'error -> 'a -> 'b -> 'error * 'c) -> 'a t -> 'b t -> 'error * 'c t) SetMap.with_log_wrap
Sourceval map2z_with_logs : ('parameters, 'error, ('parameters -> 'error -> 'a -> 'a -> 'error * 'a) -> 'a t -> 'a t -> 'error * 'a t) SetMap.with_log_wrap
Sourceval fold2z_with_logs : ('parameters, 'error, ('parameters -> 'error -> elt -> 'a -> 'b -> 'c -> 'error * 'c) -> 'a t -> 'b t -> 'c -> 'error * 'c) SetMap.with_log_wrap
Sourceval fold2_with_logs : ('parameters, 'error, ('parameters -> 'error -> elt -> 'a -> 'c -> 'error * 'c) -> ('parameters -> 'error -> elt -> 'b -> 'c -> 'error * 'c) -> ('parameters -> 'error -> elt -> 'a -> 'b -> 'c -> 'error * 'c) -> 'a t -> 'b t -> 'c -> 'error * 'c) SetMap.with_log_wrap
Sourceval fold2_sparse_with_logs : ('parameters, 'error, ('parameters -> 'error -> elt -> 'a -> 'b -> 'c -> 'error * 'c) -> 'a t -> 'b t -> 'c -> 'error * 'c) SetMap.with_log_wrap
Sourceval iter2_sparse_with_logs : ('parameters, 'error, ('parameters -> 'error -> elt -> 'a -> 'b -> 'error) -> 'a t -> 'b t -> 'error) SetMap.with_log_wrap
Sourceval diff_with_logs : ('parameters, 'error, 'a t -> 'a t -> 'error * 'a t * 'a t) SetMap.with_log_wrap
Sourceval diff_pred_with_logs : ('parameters, 'error, ('a -> 'a -> bool) -> 'a t -> 'a t -> 'error * 'a t * 'a t) SetMap.with_log_wrap
Sourceval merge_with_logs : ('parameters, 'error, 'a t -> 'a t -> 'error * 'a t) SetMap.with_log_wrap
Sourceval union_with_logs : ('parameters, 'error, 'a t -> 'a t -> 'error * 'a t) SetMap.with_log_wrap
Sourceval fold_restriction_with_logs : ('parameters, 'error, (elt -> 'a -> ('error * 'b) -> 'error * 'b) -> set -> 'a t -> 'b -> 'error * 'b) SetMap.with_log_wrap
Sourceval fold_restriction_with_missing_associations_with_logs : ('parameters, 'error, (elt -> 'a -> ('error * 'b) -> 'error * 'b) -> (elt -> ('error * 'b) -> 'error * 'b) -> set -> 'a t -> 'b -> 'error * 'b) SetMap.with_log_wrap
Sourceval iter : (elt -> 'a -> unit) -> 'a t -> unit
Sourceval fold : (elt -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
Sourceval fold_with_interruption : (elt -> 'a -> 'b -> ('b, 'c) Stop.stop) -> 'a t -> 'b -> ('b, 'c) Stop.stop
Sourceval monadic_fold2 : 'parameters -> 'exceptions_caught_and_uncaught -> ('parameters -> 'exceptions_caught_and_uncaught -> elt -> 'a -> 'b -> 'c -> 'exceptions_caught_and_uncaught * 'c) -> ('parameters -> 'exceptions_caught_and_uncaught -> elt -> 'a -> 'c -> 'exceptions_caught_and_uncaught * 'c) -> ('parameters -> 'exceptions_caught_and_uncaught -> elt -> 'b -> 'c -> 'exceptions_caught_and_uncaught * 'c) -> 'a t -> 'b t -> 'c -> 'exceptions_caught_and_uncaught * 'c
Sourceval monadic_fold2_sparse : 'parameters -> 'exceptions_caught_and_uncaught -> ('parameters -> 'exceptions_caught_and_uncaught -> elt -> 'a -> 'b -> 'c -> 'exceptions_caught_and_uncaught * 'c) -> 'a t -> 'b t -> 'c -> 'exceptions_caught_and_uncaught * 'c
Sourceval monadic_iter2_sparse : 'parameters -> 'exceptions_caught_and_uncaught -> ('parameters -> 'exceptions_caught_and_uncaught -> elt -> 'a -> 'b -> 'exceptions_caught_and_uncaught) -> 'a t -> 'b t -> 'exceptions_caught_and_uncaught
Sourceval monadic_fold_restriction : 'parameters -> 'exceptions_caught_and_uncaught -> ('parameters -> 'exceptions_caught_and_uncaught -> elt -> 'a -> 'b -> 'exceptions_caught_and_uncaught * 'b) -> set -> 'a t -> 'b -> 'exceptions_caught_and_uncaught * 'b
Sourceval mapi : (elt -> 'a -> 'b) -> 'a t -> 'b t
Sourceval map : ('a -> 'b) -> 'a t -> 'b t
Sourceval map2 : ('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval for_all : (elt -> 'a -> bool) -> 'a t -> bool
Sourceval filter_one : (elt -> 'a -> bool) -> 'a t -> (elt * 'a) option
Sourceval compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
Sourceval equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval bindings : 'a t -> (elt * 'a) list
Sourceval print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
Sourceval of_json : ?lab_key:string -> ?lab_value:string -> ?error_msg:string -> (Yojson.Basic.t -> elt) -> (Yojson.Basic.t -> 'value) -> Yojson.Basic.t -> 'value t
Sourceval to_json : ?lab_key:string -> ?lab_value:string -> (elt -> Yojson.Basic.t) -> ('value -> Yojson.Basic.t) -> 'value t -> Yojson.Basic.t
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