dependent-hashmap alternatives and similar packages
Based on the "dependent" category.
Alternatively, view dependent-hashmap alternatives based on common mentions on social networks and blogs.
Dependently-typed finite maps (partial dependent products)
Dependent sums and supporting typeclasses for comparing and displaying them
Do you think we are missing an alternative of dependent-hashmap or a related project?
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
Data.HashMap.Lazy is to
It's implemented as a thin wrapper around
has roughly the same interface.