From dfdb43699e7679d1e0faa934ce9e0aa0c2fc8d8b Mon Sep 17 00:00:00 2001 From: Felix Dilke Date: Tue, 10 Feb 2026 14:50:04 +0000 Subject: [PATCH] more test cases for allMaps --- haskell-experiments/test/Test/Utility/UtilitySpec.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/haskell-experiments/test/Test/Utility/UtilitySpec.hs b/haskell-experiments/test/Test/Utility/UtilitySpec.hs index 70de4e5..b2c0ad3 100644 --- a/haskell-experiments/test/Test/Utility/UtilitySpec.hs +++ b/haskell-experiments/test/Test/Utility/UtilitySpec.hs @@ -22,6 +22,10 @@ spec :: Spec spec = do describe "UtilitySpec" do it "..." $ do + allMaps @Int @Int [] [] `shouldBe` [Map.empty] + allMaps @Int @Int [] [1] `shouldBe` [Map.empty] + allMaps @Int @Int [1] [] `shouldBe` [] + allMaps [1] [True] `shouldBe` [Map.singleton 1 True] uncharacteristic <$> (allMaps [1, 2, 3] [True, False]) `shouldMatchList` [ [1,2,3], [1,2], [1,3], [1], [2, 3], [2], [3], [] ]