typerep-map 0.4.0.0 → 0.5.0.0
raw patch · 5 files changed
+21/−11 lines, 5 filesdep ~basedep ~ghc-primdep ~hedgehog
Dependency ranges changed: base, ghc-prim, hedgehog, hspec
Files
- CHANGELOG.md +7/−0
- src/Data/TMap.hs +1/−1
- src/Data/TypeRepMap.hs +1/−1
- src/Data/TypeRepMap/Internal.hs +3/−1
- typerep-map.cabal +9/−8
CHANGELOG.md view
@@ -3,6 +3,13 @@ `typerep-map` uses [PVP Versioning][1]. The changelog is available [on GitHub][2]. +## 0.5.0.0 — Feb 15, 2022++* [#117](https://github.com/kowainik/typerep-map/issues/117):+ Support GHC-9.2+* [#112](https://github.com/kowainik/typerep-map/issues/112):+ Change `TypeRepMap` parameter role to `representational`.+ ## 0.4.0.0 — Aug 3, 2021 * [#109](https://github.com/kowainik/typerep-map/issues/109):
src/Data/TMap.hs view
@@ -3,7 +3,7 @@ {- | Module : Data.TMap-Copyright : (c) 2017-2021 Kowainik+Copyright : (c) 2017-2022 Kowainik SPDX-License-Identifier : MPL-2.0 Maintainer : Kowainik <xrom.xkov@gmail.com> Stability : Stable
src/Data/TypeRepMap.hs view
@@ -2,7 +2,7 @@ {- | Module : Data.TypeRepMap-Copyright : (c) 2017-2021 Kowainik+Copyright : (c) 2017-2022 Kowainik SPDX-License-Identifier : MPL-2.0 Maintainer : Kowainik <xrom.xkov@gmail.com> Stability : Stable
src/Data/TypeRepMap/Internal.hs view
@@ -9,6 +9,7 @@ {-# LANGUAGE MagicHash #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE Rank2Types #-}+{-# LANGUAGE RoleAnnotations #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeInType #-} {-# LANGUAGE ViewPatterns #-}@@ -21,7 +22,7 @@ {- | Module : Data.TypeRepMap.Internal-Copyright : (c) 2017-2021 Kowainik+Copyright : (c) 2017-2022 Kowainik SPDX-License-Identifier : MPL-2.0 Maintainer : Kowainik <xrom.xkov@gmail.com> Stability : Stable@@ -92,6 +93,7 @@ 'lookup' significantly more efficient. -}+type role TypeRepMap representational data TypeRepMap (f :: k -> Type) = TypeRepMap { fingerprintAs :: {-# UNPACK #-} !(PrimArray Word64) -- ^ first components of key fingerprints
typerep-map.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: typerep-map-version: 0.4.0.0+version: 0.5.0.0 synopsis: Efficient implementation of a dependent map with types as keys description: A dependent map from type representations to values of these types.@@ -23,7 +23,7 @@ license-file: LICENSE author: Veronika Romashkina, Vladislav Zavialov, Dmitrii Kovanikov maintainer: Kowainik <xrom.xkov@gmail.com>-copyright: 2017-2021 Kowainik+copyright: 2017-2022 Kowainik category: Data, Data Structures, Types build-type: Simple extra-doc-files: README.md@@ -32,15 +32,16 @@ , GHC == 8.4.4 , GHC == 8.6.5 , GHC == 8.8.4- , GHC == 8.10.5- , GHC == 9.0.1+ , GHC == 8.10.7+ , GHC == 9.0.2+ , GHC == 9.2.1 source-repository head type: git location: https://github.com/kowainik/typerep-map.git common common-options- build-depends: base >= 4.10 && < 4.16+ build-depends: base >= 4.10 && < 4.17 default-language: Haskell2010 default-extensions: BangPatterns@@ -72,7 +73,7 @@ Data.TypeRepMap Data.TypeRepMap.Internal - build-depends: ghc-prim >= 0.5.1.1 && < 0.8+ build-depends: ghc-prim >= 0.5.1.1 && < 0.9 , primitive ^>= 0.7.0 , deepseq ^>= 1.4 @@ -100,8 +101,8 @@ , Test.TypeRep.VectorOpt build-depends: ghc-typelits-knownnat >= 0.4.2 && < 0.8- , hedgehog ^>= 1.0- , hspec >= 2.7.1 && < 2.9+ , hedgehog >= 1.0 && < 1.2+ , hspec >= 2.7.1 && < 2.10 , hspec-hedgehog ^>= 0.0.1 , typerep-map , typerep-extra-impls