UU.DData.Map

Map type

data Map k a

Operators

Query

Construction

Insertion

Delete/Update

Combine

Union

Difference

Intersection

Traversal

Map

Fold

Conversion

Lists

Ordered lists

Filter

Subset

Indexed

Min/Max

Debugging