diff options
| -rw-r--r-- | dependent-enummap.cabal | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/dependent-enummap.cabal b/dependent-enummap.cabal index dc9be8e..12454f4 100644 --- a/dependent-enummap.cabal +++ b/dependent-enummap.cabal @@ -1,8 +1,13 @@ cabal-version: 3.0 name: dependent-enummap version: 0.1.0.0 -synopsis: A generalisation of IntMap to dependent types -description: A generalisation of IntMap to dependent key and value types. The key type needs to be an instance of class Enum1, which is a generalisation of class Enum, in turn. Most of the API of IntMap is supported, usually by wrapping IntMap operations in cheap coercions and/or not so cheap optional runtime checks expressed as assertions. +synopsis: A generalisation of EnumMap to dependent types +description: + 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. license: BSD-3-Clause author: Tom Smeding category: Data, Dependent Types |