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

get node id from index with arena #102

Merged
merged 1 commit into from
Feb 19, 2024

Conversation

coderedart
Copy link
Contributor

closes #101

Its a pretty simple PR. Mainly useful when you don't care if its the "same value", but just that you can get the node id back from the index.

Copy link

codecov bot commented Feb 19, 2024

Codecov Report

Merging #102 (90f582a) into main (a0e699f) will increase coverage by 1.0%.
The diff coverage is n/a.

Additional details and impacted files
@@           Coverage Diff           @@
##            main    #102     +/-   ##
=======================================
+ Coverage   59.7%   60.7%   +1.0%     
=======================================
  Files          8       8             
  Lines        477     474      -3     
  Branches     171     170      -1     
=======================================
+ Hits         285     288      +3     
+ Misses        50      42      -8     
- Partials     142     144      +2     

@saschagrunert
Copy link
Owner

Thanks!

@saschagrunert saschagrunert merged commit 3576901 into saschagrunert:main Feb 19, 2024
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

allow getting node using usize as an index.
2 participants