Merge patch into master

.github/workflows/check.yaml

@@ -0,0 +1,27 @@
+name: Compile, test and check the docs
+
+on:
+  workflow_call: 
+
+jobs:
+
+  check:
+
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - ghc: 8.8.1
+            ghc-options: ""
+            ignore-haddock: "true"
+          - ghc: latest
+
+    runs-on: ubuntu-latest
+
+    steps:
+
+      - uses: nikita-volkov/build-and-test-cabal-package.github-action@v1
+        with:
+          ghc: ${{matrix.ghc}}
+          ghc-options: ${{matrix.ghc-options}}
+          ignore-haddock: ${{matrix.ignore-haddock}}

.github/workflows/on-push-to-master-or-pr.yaml

@@ -0,0 +1,15 @@
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+
+jobs:
+
+  format:
+    uses: nikita-volkov/haskell-hackage-lib-github-actions-workflows/.github/workflows/format.yaml@v1
+    secrets: inherit
+
+  check:
+    uses: ./.github/workflows/check.yaml
+    secrets: inherit

.github/workflows/on-push-to-release.yaml

@@ -0,0 +1,30 @@
+on:
+  push:
+    branches:
+      - supermajor
+      - major
+      - minor
+      - patch
+
+concurrency:
+  group: release
+  cancel-in-progress: false
+
+jobs:
+
+  format:
+    uses: nikita-volkov/haskell-hackage-lib-github-actions-workflows/.github/workflows/format.yaml@v1
+    secrets: inherit
+
+  check:
+    uses: ./.github/workflows/check.yaml
+    secrets: inherit
+
+  release:
+    needs:
+      - format
+      - check
+    uses: nikita-volkov/haskell-hackage-lib-github-actions-workflows/.github/workflows/release.yaml@v1
+    secrets: inherit
+    with:
+      prefix-tag-with-v: false

cabal.project

@@ -0,0 +1,3 @@
+packages: .
+allow-newer:
+  , foldl:text

library/StmContainers/Map.hs

@@ -11,6 +11,7 @@ module StmContainers.Map
     reset,
     unfoldlM,
     listT,
+    listTNonAtomic,
   )
 where
 
@@ -111,5 +112,11 @@ unfoldlM (Map hamt) =
 -- Stream the associations passively.
 {-# INLINE listT #-}
 listT :: Map key value -> ListT STM (key, value)
-listT (Map hamt) =
-  fmap (\(Product2 k v) -> (k, v)) (A.listT hamt)
+listT (Map hamt) = fmap (\(Product2 k v) -> (k, v)) (A.listT hamt)
+
+-- |
+-- Stream the associations passively.
+-- Data may be inconsistent/out of date.
+{-# INLINE listTNonAtomic #-}
+listTNonAtomic :: Map key value -> ListT IO (key, value)
+listTNonAtomic (Map hamt) = fmap (\(Product2 k v) -> (k, v)) (A.listTNonAtomic hamt)

library/StmContainers/Prelude.hs

@@ -26,7 +26,7 @@ import Data.Either as Exports
 import Data.Fixed as Exports
 import Data.Foldable as Exports
 import Data.Function as Exports hiding (id, (.))
-import Data.Functor as Exports
+import Data.Functor as Exports hiding (unzip)
 import Data.Hashable as Exports (Hashable (..))
 import Data.IORef as Exports
 import Data.Int as Exports

stm-containers.cabal

@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name:          stm-containers
-version:       1.2.0.2
+version:       1.2.0.3
 synopsis:      Containers for STM
 description:
   This library is based on an STM-specialized implementation of

test/Main.hs

@@ -5,7 +5,8 @@ import Prelude
 
 main :: IO ()
 main =
-  defaultMain . testGroup "" $
-    [ testGroup "Bimap" Suites.Bimap.tests,
-      testGroup "Map" Suites.Map.tests
-    ]
+  defaultMain
+    . testGroup ""
+    $ [ testGroup "Bimap" Suites.Bimap.tests,
+        testGroup "Map" Suites.Map.tests
+      ]

test/Suites/Map.hs

@@ -68,18 +68,18 @@ instance Hashable TestKey where
 
 tests :: [TestTree]
 tests =
-  [ testProperty "sizeAndList" $
-      let gen = do
-            keys <- nub <$> listOf (choose ('a', 'z'))
-            mapM (liftA2 (flip (,)) (choose (0, 99 :: Int)) . pure) keys
-          prop list =
-            length list == stmMapLength
-            where
-              stmMapLength =
-                unsafePerformIO $ atomically $ do
-                  x <- stmMapFromList list
-                  StmMap.size x
-       in forAll gen prop,
+  [ testProperty "sizeAndList"
+      $ let gen = do
+              keys <- nub <$> listOf (choose ('a', 'z'))
+              mapM (liftA2 (flip (,)) (choose (0, 99 :: Int)) . pure) keys
+            prop list =
+              length list == stmMapLength
+              where
+                stmMapLength =
+                  unsafePerformIO $ atomically $ do
+                    x <- stmMapFromList list
+                    StmMap.size x
+         in forAll gen prop,
     testProperty "fromListToListHashMapIsomorphism" $ \(list :: [(Text, Int)]) ->
       let hashMapList = HashMap.toList (HashMap.fromList list)
           stmMapList = unsafePerformIO $ atomically $ stmMapFromList list >>= stmMapToList