Prepare 0.4.0.0 release

.github/workflows/ci.yml

@@ -25,7 +25,28 @@ jobs:
           - "8.8.4"
           - "8.10.5"
           - "9.0.1"
+        exclude:
+          - os: macOS-latest
+            ghc: 8.10.5
+          - os: macOS-latest
+            ghc: 8.8.4
+          - os: macOS-latest
+            ghc: 8.6.5
+          - os: macOS-latest
+            ghc: 8.4.4
+          - os: macOS-latest
+            ghc: 8.2.2
 
+          - os: windows-latest
+            ghc: 8.10.5
+          - os: windows-latest
+            ghc: 8.8.4
+          - os: windows-latest
+            ghc: 8.6.5
+          - os: windows-latest
+            ghc: 8.4.4
+          - os: windows-latest
+            ghc: 8.2.2
 
     steps:
     - uses: actions/[email protected]

.headroom.yaml

@@ -0,0 +1,33 @@
+## This is the configuration file for Headroom.
+## See https://github.com/vaclavsvejcar/headroom for more details.
+version: 0.4.0.0
+
+run-mode: replace
+
+source-paths:
+  - src/
+
+excluded-paths: []
+
+template-paths:
+  - https://raw.githubusercontent.com/kowainik/org/main/headroom-templates/haskell.mustache
+
+variables:
+  author: Kowainik
+  email: [email protected]
+  _haskell_module_copyright: "(c) {{ _current_year }} {{ author }}"
+
+license-headers:
+  haskell:
+    put-after: ["^{-#"]
+    margin-bottom-code: 1
+    margin-top-code: 1
+    block-comment:
+      starts-with: ^{- \|
+      ends-with: (?<!#)-}$
+
+post-process:
+  update-copyright:
+    enabled: true
+    config:
+      selected-authors-only: ["{{ author }}"]

CHANGELOG.md

@@ -3,9 +3,22 @@
 `typerep-map` uses [PVP Versioning][1].
 The changelog is available [on GitHub][2].
 
-## 0.3.3.1 — Aug 2, 2021
+## 0.4.0.0 — Aug 3, 2021
 
-* Support GHC-9.0.
+* [#109](https://github.com/kowainik/typerep-map/issues/109):
+  Support GHC-9.0.
+* [#30](https://github.com/kowainik/typerep-map/issues/30):
+  Remove `containers` from dependencies.
+* [#94](https://github.com/kowainik/typerep-map/issues/94),
+  [#99](https://github.com/kowainik/typerep-map/issues/99),
+  [#100](https://github.com/kowainik/typerep-map/issues/100):
+  Improve performance of `insert` and `delete`.
+* [#95](https://github.com/kowainik/typerep-map/issues/95):
+  Add `alter`.
+* [#96](https://github.com/kowainik/typerep-map/issues/96):
+  Add `intersection` and `intersectionWith`.
+* [#105](https://github.com/kowainik/typerep-map/issues/105):
+  Add `keysWith` and `toListWith`.
 
 ## 0.3.3.0 — Apr 18, 2020
 

src/Data/TMap.hs

@@ -2,9 +2,12 @@
 {-# LANGUAGE Rank2Types          #-}
 
 {- |
-Copyright:  (c) 2017-2020 Kowainik
-SPDX-License-Identifier: MPL-2.0
-Maintainer: Kowainik <[email protected]>
+Module                  : Data.TMap
+Copyright               : (c) 2017-2021 Kowainik
+SPDX-License-Identifier : MPL-2.0
+Maintainer              : Kowainik <[email protected]>
+Stability               : Stable
+Portability             : Portable
 
 'TMap' is a heterogeneous data structure similar in its essence to
 'Data.Map.Map' with types as keys, where each value has the type of its key.
@@ -21,7 +24,6 @@ Here is an example of a 'TMap' with a comparison to 'Data.Map.Map':
 
 The runtime representation of 'TMap' is an array, not a tree. This makes
 'lookup' significantly more efficient.
-
 -}
 
 module Data.TMap

src/Data/TypeRepMap.hs

@@ -1,9 +1,12 @@
 {-# LANGUAGE NoImplicitPrelude #-}
 
 {- |
-Copyright:  (c) 2017-2020 Kowainik
-SPDX-License-Identifier: MPL-2.0
-Maintainer: Kowainik <[email protected]>
+Module                  : Data.TypeRepMap
+Copyright               : (c) 2017-2021 Kowainik
+SPDX-License-Identifier : MPL-2.0
+Maintainer              : Kowainik <[email protected]>
+Stability               : Stable
+Portability             : Portable
 
 A version of 'Data.TMap.TMap' parametrized by an interpretation @f@. This
 sort of parametrization may be familiar to users of @vinyl@ records.
@@ -44,7 +47,8 @@ type instance FType "border-width" = Double
  "border-color" -> F (rgb 148 0 211)
  "border-width" -> F 0.5
 @
---}
+-}
+
 module Data.TypeRepMap
        ( -- * Map type
          TypeRepMap()

src/Data/TypeRepMap/Internal.hs

@@ -20,9 +20,12 @@
 -- {-# OPTIONS_GHC -ddump-simpl -dsuppress-idinfo -dsuppress-coercions -dsuppress-type-applications -dsuppress-uniques -dsuppress-module-prefixes #-}
 
 {- |
-Copyright:  (c) 2017-2020 Kowainik
-SPDX-License-Identifier: MPL-2.0
-Maintainer: Kowainik <[email protected]>
+Module                  : Data.TypeRepMap.Internal
+Copyright               : (c) 2017-2021 Kowainik
+SPDX-License-Identifier : MPL-2.0
+Maintainer              : Kowainik <[email protected]>
+Stability               : Stable
+Portability             : Portable
 
 Internal API for 'TypeRepMap' and operations on it. The functions here do
 not have any stability guarantees and can change between minor versions.

typerep-map.cabal

@@ -1,6 +1,6 @@
 cabal-version:       2.4
 name:                typerep-map
-version:             0.3.3.0
+version:             0.4.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,15 +23,15 @@ license:             MPL-2.0
 license-file:        LICENSE
 author:              Veronika Romashkina, Vladislav Zavialov, Dmitrii Kovanikov
 maintainer:          Kowainik <[email protected]>
-copyright:           2017-2020 Kowainik
+copyright:           2017-2021 Kowainik
 category:            Data, Data Structures, Types
 build-type:          Simple
 extra-doc-files:     README.md
                    , CHANGELOG.md
 tested-with:         GHC == 8.2.2
                    , GHC == 8.4.4
                    , GHC == 8.6.5
-                   , GHC == 8.8.3
+                   , GHC == 8.8.4
                    , GHC == 8.10.5
                    , GHC == 9.0.1
 
@@ -54,10 +54,8 @@ common common-options
                        -Widentities
                        -Wincomplete-uni-patterns
                        -Wincomplete-record-updates
-  if impl(ghc >= 8.0)
-    ghc-options:       -Wredundant-constraints
-  if impl(ghc >= 8.2)
-    ghc-options:       -fhide-source-paths
+                       -Wredundant-constraints
+                       -fhide-source-paths
   if impl(ghc >= 8.4)
     ghc-options:       -Wmissing-export-lists
                        -Wpartial-fields