Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Attributes#{updated,concat} #416

Merged
merged 1 commit into from
Jan 7, 2024

Conversation

NthPortal
Copy link
Contributor

@NthPortal NthPortal commented Dec 26, 2023

Add Attributes#updated as well as Attributes#+ alias for it.
Add Attributes#concat invariant overload as well as Attributes#++ alias for it.

@NthPortal NthPortal added the enhancement New feature or request label Dec 26, 2023
Add `Attributes#updated` as well as `Attributes#+` alias for it.
Add `Attributes#concat` invariant overload as well as
`Attributes#++` alias for it.
@NthPortal
Copy link
Contributor Author

NthPortal commented Jan 3, 2024

@iRevive do you want to wait for another review or merge now?

@iRevive
Copy link
Contributor

iRevive commented Jan 7, 2024

@iRevive do you want to wait for another review or merge now?

Ah, I missed the comment. We can merge it now.

@iRevive iRevive merged commit 2648864 into typelevel:main Jan 7, 2024
10 checks passed
@NthPortal NthPortal deleted the enhanced-attributes/PR branch January 8, 2024 20:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants