Struct SLTNodeArena 

pub struct SLTNodeArena<A: Hash + Eq + Clone> { /* private fields */ }

Implementations

impl<A: Hash + Eq + Clone> SLTNodeArena<A>

pub fn new() -> Self

pub fn alloc(&mut self, node: SLTNode<A>) -> Result<NodeId, SLTNodeFactsError>

where A: Hash + Eq + Clone,

pub fn len(&self) -> usize

Return the number of nodes in stable NodeId order.

pub fn is_empty(&self) -> bool

Return whether the arena contains no nodes.

pub fn iter(&self) -> Iter<'_, SLTNode<A>>

Iterate over nodes in stable NodeId order.

pub fn get_checked(&self, id: NodeId) -> Option<&SLTNode<A>>

Look up a node without trusting that an externally supplied ID exists.

pub fn remap_for_fold_effect_sites( &mut self, range: Range<usize>, remap: impl FnMut(u32, Option<i64>) -> Result<Option<(u32, Option<i64>)>, SLTNodeArenaEditError>, ) -> Result<(), SLTNodeArenaEditError>

Rewrite only the runtime-event identity carried by ForFold effects.

The semantic interning cache is rebuilt internally whenever the rewrite changes a node, so callers cannot leave node storage and cache identity out of sync. None leaves an effect unchanged.

pub fn get(&self, id: NodeId) -> &SLTNode<A>

pub fn display(&self, id: NodeId) -> NodeDisplay<'_, A>

Trait Implementations

impl<A: Clone + Hash + Eq + Clone> Clone for SLTNodeArena<A>

fn clone(&self) -> SLTNodeArena<A>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: Debug + Hash + Eq + Clone> Debug for SLTNodeArena<A>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<A: Hash + Eq + Clone> Default for SLTNodeArena<A>

fn default() -> Self

Returns the “default value” for a type.

impl<'de, A> Deserialize<'de> for SLTNodeArena<A>

where A: Deserialize<'de> + Hash + Eq + Clone,

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<A: Eq + Hash + Clone> Eq for SLTNodeArena<A>

impl<A: PartialEq + Hash + Eq + Clone> PartialEq for SLTNodeArena<A>

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<A> Serialize for SLTNodeArena<A>

where A: Serialize + Hash + Eq + Clone + Hash,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.