You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I would expect inserts that are conditional on there being no collisions are a more common use-case than removing all collisions (and that perhaps insert is a slightly confusing name for something that can result in fewer entries). Could such a conditional-insert functionality be provided?
The text was updated successfully, but these errors were encountered:
Using the
examples/Foo.hs
:I would expect inserts that are conditional on there being no collisions are a more common use-case than removing all collisions (and that perhaps
insert
is a slightly confusing name for something that can result in fewer entries). Could such a conditional-insert functionality be provided?The text was updated successfully, but these errors were encountered: