dependent-enummap

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.