diff options
| -rw-r--r-- | dependent-enummap.cabal | 11 |
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 |