package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make.RLSource

Sourcetype key = R.t
Sourcetype 'a t
Sourceval empty : 'a t
Sourceval is_empty : 'a t -> bool
Sourceval mem : key -> 'a t -> bool
Sourceval add : key -> 'a -> 'a t -> 'a t
Sourceval singleton : key -> 'a -> 'a t
Sourceval remove : key -> 'a t -> 'a t
Sourceval remove_min_binding : 'a t -> 'a t
Sourceval merge : (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
Sourceval compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
Sourceval equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval iter : (key -> 'a -> unit) -> 'a t -> unit
Sourceval fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
Sourceval for_all : (key -> 'a -> bool) -> 'a t -> bool
Sourceval exists : (key -> 'a -> bool) -> 'a t -> bool
Sourceval filter : (key -> 'a -> bool) -> 'a t -> 'a t
Sourceval partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
Sourceval cardinal : 'a t -> int
Sourceval bindings : 'a t -> (key * 'a) list
Sourceval min_binding : 'a t -> key * 'a
Sourceval max_binding : 'a t -> key * 'a
Sourceval choose : 'a t -> key * 'a
Sourceval split : key -> 'a t -> 'a t * 'a option * 'a t
Sourceval find : key -> 'a t -> 'a
Sourceval find_opt : key -> 'a t -> 'a option
Sourceval map : ('a -> 'b) -> 'a t -> 'b t
Sourceval mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
Sourceval is_singleton : 'a t -> bool
Sourceval of_list : (key * 'a) list -> 'a t
Sourceval map2 : (key -> 'a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
Sourceval iter2 : (key -> 'a -> 'b -> unit) -> 'a t -> 'b t -> unit
Sourceval fold2 : (key -> 'a -> 'b -> 'c -> 'c) -> 'a t -> 'b t -> 'c -> 'c
Sourceval for_all2 : (key -> 'a -> 'b -> bool) -> 'a t -> 'b t -> bool
Sourceval exists2 : (key -> 'a -> 'b -> bool) -> 'a t -> 'b t -> bool
Sourceval map2z : (key -> 'a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval iter2z : (key -> 'a -> 'a -> unit) -> 'a t -> 'a t -> unit
Sourceval fold2z : (key -> 'a -> 'a -> 'b -> 'b) -> 'a t -> 'a t -> 'b -> 'b
Sourceval for_all2z : (key -> 'a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval exists2z : (key -> 'a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval map2o : (key -> 'a -> 'c) -> (key -> 'b -> 'c) -> (key -> 'a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
Sourceval iter2o : (key -> 'a -> unit) -> (key -> 'b -> unit) -> (key -> 'a -> 'b -> unit) -> 'a t -> 'b t -> unit
Sourceval fold2o : (key -> 'a -> 'c -> 'c) -> (key -> 'b -> 'c -> 'c) -> (key -> 'a -> 'b -> 'c -> 'c) -> 'a t -> 'b t -> 'c -> 'c
Sourceval for_all2o : (key -> 'a -> bool) -> (key -> 'b -> bool) -> (key -> 'a -> 'b -> bool) -> 'a t -> 'b t -> bool
Sourceval exists2o : (key -> 'a -> bool) -> (key -> 'b -> bool) -> (key -> 'a -> 'b -> bool) -> 'a t -> 'b t -> bool
Sourceval map2zo : (key -> 'a -> 'a) -> (key -> 'a -> 'a) -> (key -> 'a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval iter2zo : (key -> 'a -> unit) -> (key -> 'a -> unit) -> (key -> 'a -> 'a -> unit) -> 'a t -> 'a t -> unit
Sourceval fold2zo : (key -> 'a -> 'b -> 'b) -> (key -> 'a -> 'b -> 'b) -> (key -> 'a -> 'a -> 'b -> 'b) -> 'a t -> 'a t -> 'b -> 'b
Sourceval for_all2zo : (key -> 'a -> bool) -> (key -> 'a -> bool) -> (key -> 'a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval exists2zo : (key -> 'a -> bool) -> (key -> 'a -> bool) -> (key -> 'a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval map_slice : (key -> 'a -> 'a) -> 'a t -> key -> key -> 'a t
Sourceval iter_slice : (key -> 'a -> unit) -> 'a t -> key -> key -> unit
Sourceval fold_slice : (key -> 'a -> 'b -> 'b) -> 'a t -> key -> key -> 'b -> 'b
Sourceval for_all_slice : (key -> 'a -> bool) -> 'a t -> key -> key -> bool
Sourceval exists_slice : (key -> 'a -> bool) -> 'a t -> key -> key -> bool
Sourceval key_equal : 'a t -> 'a t -> bool
Sourceval key_subset : 'a t -> 'a t -> bool
Sourceval find_greater : key -> 'a t -> key * 'a
Sourceval find_less : key -> 'a t -> key * 'a
Sourceval find_greater_equal : key -> 'a t -> key * 'a
Sourceval find_less_equal : key -> 'a t -> key * 'a
Sourceval to_string : Containers__MapExtSig.map_printer -> (key -> string) -> ('a -> string) -> 'a t -> string
Sourceval print : Containers__MapExtSig.map_printer -> (Stdlib.out_channel -> key -> unit) -> (Stdlib.out_channel -> 'a -> unit) -> Stdlib.out_channel -> 'a t -> unit
Sourceval fprint : Containers__MapExtSig.map_printer -> (Stdlib.Format.formatter -> key -> unit) -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a t -> unit
Sourceval bprint : Containers__MapExtSig.map_printer -> (Stdlib.Buffer.t -> key -> unit) -> (Stdlib.Buffer.t -> 'a -> unit) -> Stdlib.Buffer.t -> 'a t -> unit
Sourceval to_poly_map : 'a t -> (key, 'a) MapExtPoly.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