§Grapes: Persistent Graph Data Structures
The data structures are persistent: Cheap to clone, so you can keep (and modify) older versions of the data structure easily.
Data Structures:
- Tree: collection of nodes with ordered children
- MapTree: maintains a key-node mapping in addition to a tree
- Graph: collection of nodes connected by edges
- MapGraph: also maintains a key-node and key-edge mapping
- Arena: for building arbitrary graph-like data structures