Map type
Operators
Query
Construction
Insertion
Delete/Update
Combine
Union
Difference
Intersection
General combining functions
Deprecated general combining function
Traversal
Map
Folds
Strict folds
Conversion
Lists
Filter
Submap
Indexed
Min/Max
Debugging