Module `Proofutils.StringMap`Source

Generic dictionnary taking strings as keys

Sourcetype key = string

Sourcetype 'a t = 'a Map.Make(String).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 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 : key -> 'a t -> 'a

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_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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/coq-waterproof.plugin/Waterproof/Proofutils/StringMap/index.html

Module `Proofutils.StringMap`Source

package coq-waterproof

Install

Dune Dependency

Authors

Maintainers

Sources

doc/coq-waterproof.plugin/Waterproof/Proofutils/StringMap/index.html

Module Proofutils.StringMapSource

Module `Proofutils.StringMap`Source