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
I'd like a BatSet.nth #612
Comments
Of course, I can implement it, if deemed useful. |
Feel free to, that seems like a natural feature to have. Maybe we could only have |
OK, I will add at_exn (I just read in BatList nth is depecrated), then wrap it to provide at_opt. |
My current trial can be seen here: |
the final proposal is here: |
at_rank_exn was accepted |
Like List.nth: get the element at the given rank or raise Invalid_argument
The text was updated successfully, but these errors were encountered: