From ac106869c1d8287d696746afbe546f65ee54fe39 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 12 May 2025 19:02:41 +0200 Subject: Edit package synopsis/description --- dependent-enummap.cabal | 9 +++++++-- 1 file 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 -- cgit v1.2.3-70-g09d2