package dolmen

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

Module Dolmen_std.TagSource

Tags

Type definitions

Sourcetype map

The type of immutable maps from tags to values.

Sourcetype 'a t

A tag containing values of type 'a.

Sourceval equal : _ t -> _ t -> bool

Are two tag keys equal ?

Creating and accessing tags

Sourceval empty : map

The empty map.

Sourceval create : unit -> 'a t

Create a new tag.

Sourceval get : map -> 'a t -> 'a list

Get the list of values associated to a tag (can be the empty list).

Sourceval last : map -> 'a t -> 'a option

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

Sourceval add : map -> 'a t -> 'a -> map

Add a value to a tag in a map. If some values were previously bound, this adds the new value to the head of the value list.

Sourceval replace : map -> 'a t -> 'a list -> map

Replace the set of values associated to a tag in a map.