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

Improve Intervals methods #355

Open
tpietzsch opened this issue Jan 19, 2024 · 0 comments
Open

Improve Intervals methods #355

tpietzsch opened this issue Jan 19, 2024 · 0 comments

Comments

@tpietzsch
Copy link
Member

Methods like Intervals.expand should wrap the arrays they internally create (using FinalInterval.wrap) instead of copying them into a new FinalInterval.

Also It would be good if these methods would just return Interval instead of FinalInterval. But probably we cannot change that without breaking stuff. A possible way forward is deprecating Intervals and adding equivalent static methods to the Interval interface.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant