Dependent hash maps.

Provides DHashMap, a type for hash maps where the keys can specify the type of value that is associated with them.

dependent-hashmap

This is hash map library where the keys can specify the type of value that is associated with them by using type indices.

This library is to dependent-map what Data.HashMap.Lazy is to Data.Map.

It's implemented as a thin wrapper around Data.HashMap.Lazy, and has roughly the same interface.