more test cases for allMaps

This commit is contained in:
Felix Dilke 2026-02-10 14:50:04 +00:00
parent 7c984dbb2a
commit dfdb43699e

View File

@ -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], []
]