diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-05-12 19:02:41 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-05-12 19:11:03 +0200 |
| commit | ac106869c1d8287d696746afbe546f65ee54fe39 (patch) | |
| tree | 65eee19976fc70677f14c59e96ff59bf90450d1f | |
| parent | aa00e75e2703eaef039bd743d4f25b99a62374ec (diff) | |
Edit package synopsis/description
| -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 |