@hackage dependent-enummap0.1.0.0

A generalisation of EnumMap to dependent types

A generalisation of EnumMap to dependent key and value types. The key type needs to be an instance of class Enum1, a generalisation of the Enum class. Most of the API of EnumMap/IntMap is supported, usually by wrapping IntMap operations in coercions accompanied by some runtime type-consistency assertions.