Data.Ref.Map

Documentation

data Map f

A reference indexed map.

useful for associating info with a reference.

type Name = StableName

Shorthand

empty :: Map f

Construct an empty map.

singleton :: Name a -> f a -> Map f

Construct a map with a single element.

null :: Map f -> Bool

Returns True if the map is empty, False otherwise.

size :: Map f -> Int

Returns the number of elements stored in this map.

member :: Name a -> Map f -> Bool

Returns True if the name is present in the map, False otherwise.

lookup :: Name a -> Map f -> Maybe (f a)

Finds the value associated with the name, or Nothing if the name has no value associated to it.

insert :: Ref a -> f a -> Map f -> Map f

Associates a reference with the specified value. If the map already contains a mapping for the reference, the old value is replaced.

delete :: Ref a -> Map f -> Map f

Removes the associated value of a reference, if any is present in the map.

adjust :: (f a -> f b) -> Ref a -> Map f -> Map f

Updates the associated value of a reference, if any is present in the map.

union :: Map f -> Map f -> Map f

Union of two maps (left biased).

difference :: Map f -> Map f -> Map f

Difference of two maps.

intersection :: Map f -> Map f -> Map f

Intersectino of two maps.

debug :: Map f -> (forall a. f a -> String) -> IO ()