Module Dolmen_std.Tag

Tags

Type definitions

type map

The type of immutable maps from tags to values.

type 'a t

A tag containing values of type 'a.

type 'a info = {
  1. print : 'a Pretty.print;
}

The type for information carried by each tag.

Creating tags

val create : ?print:'a Pretty.print -> unit -> 'a t

Create a new tag.

val info : 'a t -> 'a info

Access the info of a tag.

Creating maps

val empty : map

The empty map.

val is_empty : map -> bool

Is the map empty ?

Iterators

type binding =
  1. | B : 'a t * 'a -> binding

Existencial type to wrap a binding.

val iter : map -> (binding -> unit) -> unit

iter f m applies f to all bindings of m.

val fold : map -> 'a -> (binding -> 'a -> 'a) -> 'a

fold f m acc folds over the bindings of m with f, starting with acc

Getters

val get : map -> 'a t -> 'a option

Get the value associated to a tag.

val get_list : map -> 'a list t -> 'a list

Get all the values associated with a tag list, returning the empty list by default if the tag is not present.

val get_last : map -> 'a list t -> 'a option

Return the last value associated to a list tag (i.e. the head of the list returned by get_list if it exists).

Setters

val set : map -> 'a t -> 'a -> map

Set the value bound to a tag.

val set_opt : map -> 'a t -> 'a option -> map

Convenient shorthand for an optional set.

val add : map -> 'a list t -> 'a -> map

Add a value to a list tag in a map. The new value is enqueued at the head of the list of values bound.

val add_opt : map -> 'a list t -> 'a option -> map

Optionally add a value to a list tag in a map. The new value is enqueued at the head of the list of values bound.

val add_list : map -> 'a list t -> 'a list -> map

Add a list of values to a list tag in a map. The new values are enqueued at the head of the list of values bound, however it is not guaranteed that the first value of the given list is the new head of the list of bound values.

val unset : map -> _ t -> map

Remove any binding to the given key in the map.