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.

Sign up for GitHub

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

Jump to bottom

merge operators #160

Open
Congyuwang opened this issue Nov 23, 2024 · 1 comment
Open

merge operators #160

Congyuwang opened this issue Nov 23, 2024 · 1 comment
Assignees
@Congyuwang
Labels
help wanted Extra attention is needed

Comments

@Congyuwang
Copy link
Collaborator

Been using this library for a year and loving it. Is there any plan on integrating merge operators into this library? I have a few use cases that would really benefit from them.

Originally posted by @hootie-hoo in #159
@Congyuwang Congyuwang self-assigned this Dec 14, 2024
@Congyuwang Congyuwang added the help wanted Extra attention is needed label Dec 16, 2024
@Congyuwang
Copy link
Collaborator Author

I did some research. And it seems to me that merge operator is rather complicated. There is this distinction between full_merge and partial merge. How would you design the python interface?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Congyuwang Congyuwang

Labels
help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Congyuwang