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.

(!) :: Map f -> Name a -> f a

Unsafe lookup

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 :: Name a -> Map f -> Map f

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

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

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

hmap :: (f a -> h a) -> Map f -> Map h

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.

data HideType f where

HideType, for hiding types!

Constructors

Hide :: f a -> HideType f

dump :: Map f -> [[(HideType Name, HideType f)]]