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 a StreamSet API #148

Closed
yoshuawuyts opened this issue Jul 17, 2023 · 1 comment · Fixed by #149
Closed

Add a StreamSet API #148

yoshuawuyts opened this issue Jul 17, 2023 · 1 comment · Fixed by #149
Labels
enhancement New feature or request

Comments

@yoshuawuyts
Copy link
Owner

Similar to FutureSet introduced in #147 we should add a StreamSet API.

@yoshuawuyts yoshuawuyts added the enhancement New feature or request label Jul 17, 2023
@yoshuawuyts
Copy link
Owner Author

This should be slab-based, and non-lending. The way to remove arbitrary streams is by requiring people use their own borrowing scheme for their streams.

We should verify that that is possible before locking in the design. If it is then we have a stable notion of user-configurable identity, which is what we want.

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 a pull request may close this issue.

1 participant