Name Description Size
handle.rs Well-typed indices into [`Arena`]s and [`UniqueArena`]s. This module defines [`Handle`] and related types. [`Arena`]: super::Arena [`UniqueArena`]: super::UniqueArena 3452
handle_set.rs The [`HandleSet`] type and associated definitions. 2769
handlevec.rs The [`HandleVec`] type and associated definitions. 2819
mod.rs ! The [`Arena`], [`UniqueArena`], and [`Handle`] types. To improve translator performance and reduce memory usage, most structures are stored in an [`Arena`]. An `Arena<T>` stores a series of `T` values, indexed by [`Handle<T>`](Handle) values, which are just wrappers around integer indexes. For example, a `Function`'s expressions are stored in an `Arena<Expression>`, and compound expressions refer to their sub-expressions via `Handle<Expression>` values. (When examining the serialized form of a `Module`, note that the first element of an `Arena` has an index of 1, not 0.) A [`UniqueArena`] is just like an `Arena`, except that it stores only a single instance of each value. The value type must implement `Eq` and `Hash`. Like an `Arena`, inserting a value into a `UniqueArena` returns a `Handle` which can be used to efficiently access the value, without a hash lookup. Inserting a value multiple times returns the same `Handle`. If the `span` feature is enabled, both `Arena` and `UniqueArena` can associate a source code span with each element. [`Handle<T>`]: Handle 10425
range.rs Well-typed ranges of [`Arena`]s. This module defines the [`Range`] type, representing a contiguous range of entries in an [`Arena`]. [`Arena`]: super::Arena 4200
unique_arena.rs The [`UniqueArena`] type and supporting definitions. 8162