@hackage / dependent-enummap

A generalisation of EnumMap to dependent types

Latest0.2.0.0

About

Metadata

  • Last updated , by tomsmeding
  • License BSD-3-Clause

  • Maintained by: Tom Smeding <xhackage@tomsmeding.com>

  • Lottery factor: 2

Links

Installation

Readme

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.