Skip to content

Conversation

@mheinzel
Copy link
Collaborator

@mheinzel mheinzel commented Nov 8, 2024

It does not only make sense for monoidal tables, but also for normal ones. Should be straightforward to support.

Comment on lines +672 to +673
-- A good mental model of this operation is @'Data.Map.Lazy.unionWith' (<>)@ on
-- @'Data.Map.Lazy.Map' k v@.
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@mheinzel mheinzel added this pull request to the merge queue Nov 11, 2024
Merged via the queue into main with commit 7c6863c Nov 11, 2024
24 checks passed
@mheinzel mheinzel deleted the mheinzel/add-normal-union branch November 11, 2024 13:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants