/dependent-hashmap

Dependent hash maps

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

dependent-hashmap Build Status Hackage

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.