summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMikolaj Konarski <mikolaj.konarski@funktory.com>2025-05-12 09:26:08 +0200
committerMikolaj Konarski <mikolaj.konarski@funktory.com>2025-05-12 09:26:08 +0200
commitaa00e75e2703eaef039bd743d4f25b99a62374ec (patch)
treedde4aa64cf2a7769446bae5f0811d96829519b5a
parent7beccc54642a793507a2b2a1349dd61cc86a73e7 (diff)
Fix almost all 'cabal check' warnings and errors
-rw-r--r--dependent-enummap.cabal11
1 files changed, 7 insertions, 4 deletions
diff --git a/dependent-enummap.cabal b/dependent-enummap.cabal
index 675fa97..dc9be8e 100644
--- a/dependent-enummap.cabal
+++ b/dependent-enummap.cabal
@@ -1,8 +1,11 @@
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.
license: BSD-3-Clause
author: Tom Smeding
+category: Data, Dependent Types
build-type: Simple
library
@@ -11,10 +14,10 @@ library
Data.Dependent.EnumMap.Strict.Internal
-- Data.Dependent.EnumMap.Strict.Unsafe
build-depends:
- base >=4.15,
- containers,
- dependent-sum,
- some,
+ base >= 4.15 && < 4.22,
+ containers >= 0.6 && < 0.9,
+ dependent-sum >= 0.7 && < 0.8,
+ some >= 1 && < 2,
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall