Fix difference #68

natefaubion · 2023-08-30T17:27:15Z

Description of the change

Fixes Map.Internal.difference. Fixes #67.

Checklist:

Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")
Linked any existing issues or proposals that this pull request should close
Updated or added relevant documentation
Added a test for the contribution (if applicable)

natefaubion · 2023-08-30T17:29:01Z

test/Test/Data/Map.purs

+      if M.size d == 0 then
+        and (map (\k -> M.member k m2) (A.fromFoldable $ M.keys m1))


I've added an extra predicate to the test for when d is empty.

natefaubion added 2 commits August 30, 2023 10:26

Fix difference

fdba3b4

Update changelog

37dd378

natefaubion commented Aug 30, 2023

View reviewed changes

JordanMartinez approved these changes Aug 30, 2023

View reviewed changes

JordanMartinez merged commit db50eee into master Aug 30, 2023

JordanMartinez deleted the nf/fix-difference branch August 30, 2023 18:52

Provide feedback

		if M.size d == 0 then
		and (map (\k -> M.member k m2) (A.fromFoldable $ M.keys m1))