Module `ScopeName.Map`Source

Sourcetype key = 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 update : key -> ('a option -> 'a option) -> 'a t -> 'a t

Sourceval singleton : key -> 'a -> 'a t

Sourceval remove : key -> 'a t -> 'a t

Source

val merge : 
  (key -> 'a option -> 'b option -> 'c option) ->
  'a t ->
  'b t ->
  'c t

Sourceval union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a 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 filter_map : (key -> 'a -> 'b option) -> 'a t -> 'b 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 min_binding_opt : 'a t -> (key * 'a) option

Sourceval max_binding : 'a t -> key * 'a

Sourceval max_binding_opt : 'a t -> (key * 'a) option

Sourceval choose : 'a t -> key * 'a

Sourceval choose_opt : 'a t -> (key * 'a) option

Sourceval split : key -> 'a t -> 'a t * 'a option * 'a t

Sourceval find_opt : key -> 'a t -> 'a option

Sourceval find_first : (key -> bool) -> 'a t -> key * 'a

Sourceval find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option

Sourceval find_last : (key -> bool) -> 'a t -> key * 'a

Sourceval find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option

Sourceval map : ('a -> 'b) -> 'a t -> 'b t

Sourceval mapi : (key -> 'a -> 'b) -> 'a t -> 'b t

Sourceval to_seq : 'a t -> (key * 'a) Seq.t

Sourceval to_rev_seq : 'a t -> (key * 'a) Seq.t

Sourceval to_seq_from : key -> 'a t -> (key * 'a) Seq.t

Sourceval add_seq : (key * 'a) Seq.t -> 'a t -> 'a t

Sourceval of_seq : (key * 'a) Seq.t -> 'a t

Sourceexception Not_found of key

Sourceval find : key -> 'a t -> 'a

Sourceval keys : 'a t -> key list

Sourceval values : 'a t -> 'a list

Sourceval of_list : (key * 'a) list -> 'a t

Sourceval disjoint_union : 'a t -> 'a t -> 'a t

Source

val format_keys : 
  ?pp_sep:(Format.formatter -> unit -> unit) ->
  Format.formatter ->
  'a t ->
  unit

Source

val format_values : 
  ?pp_sep:(Format.formatter -> unit -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a t ->
  unit

Source

val format_bindings : 
  ?pp_sep:(Format.formatter -> unit -> unit) ->
  (Format.formatter -> (Format.formatter -> unit) -> 'a -> unit) ->
  Format.formatter ->
  'a t ->
  unit

Source

val format : 
  ?pp_sep:(Format.formatter -> unit -> unit) ->
  ?pp_bind:(Format.formatter -> unit -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a t ->
  unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.shared_ast/Shared_ast/ScopeName/Map/index.html

Module `ScopeName.Map`Source

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.shared_ast/Shared_ast/ScopeName/Map/index.html

Module ScopeName.MapSource

Module `ScopeName.Map`Source