j/Conlang
1
1
Fork 0
Code Issues 5 Pull Requests Packages Projects 2 Releases Wiki Activity

cl-structures: Add helper for getting index from pool. May delete later.

Browse Source
This commit is contained in:
John 2024-04-16 23:48:05 -05:00
parent 0e8b4f68c3
commit ec1a1255ad
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
cl-structures/src/intern_pool.rs
View File

@ -102,6 +102,12 @@ impl<T, ID: InternKey> Pool<T, ID> {
unsafe { InternKeyIter::new(0..self.pool.len()) } unsafe { InternKeyIter::new(0..self.pool.len()) }
} }
/// Constructs an [ID](InternKey) from a [usize], if it's within bounds
#[doc(hidden)]
pub fn try_key_from(&self, value: usize) -> Option<ID> {
(value < self.pool.len()).then(|| unsafe { ID::from_raw_unchecked(value) })
}
pub fn insert(&mut self, value: T) -> ID { pub fn insert(&mut self, value: T) -> ID {
let id = self.pool.len(); let id = self.pool.len();
self.pool.push(value); self.pool.push(value);