Skip to main content

LinkedListMapper

Struct LinkedListMapper 

Source
pub struct LinkedListMapper<SA, T, A = CurrentStorage>
where SA: StorageMapperApi, A: StorageAddress<SA>, T: TopEncode + TopDecode + NestedEncode + NestedDecode + Clone + 'static,
{ /* private fields */ }
Expand description

A storage mapper implementing a doubly-linked list with efficient insertion and removal at any position.

§Storage Layout

The LinkedListMapper stores metadata and individual nodes separately:

  1. Metadata:

    • base_key + ".info"LinkedListInfo struct containing:
      • len: number of elements
      • front: node ID of the first element
      • back: node ID of the last element
      • new: counter for generating unique node IDs
  2. Nodes:

    • base_key + ".node" + node_idLinkedListNode<T> containing:
      • value: the stored item
      • node_id: this node’s unique ID
      • next_id: ID of the next node (0 if none)
      • prev_id: ID of the previous node (0 if none)

§Main Operations

  • Append: push_back(item) - Adds to the end. O(1) with constant storage writes.
  • Prepend: push_front(item) - Adds to the beginning. O(1) with constant storage writes.
  • Insert: push_after(node, item) / push_before(node, item) - Inserts at specific position. O(1).
  • Remove: pop_front() / pop_back() / remove_node(node) - Removes from any position. O(1).
  • Access: front() / back() / get_node_by_id(id) - Retrieves nodes. O(1).
  • Iteration: iter() - Traverses from front to back; iter_from_node_id(id) - starts from specific node.

§Trade-offs

  • Pros: O(1) insertion/removal at any position; maintains insertion order; efficient for queue/deque patterns.
  • Cons: No random access by index; higher storage overhead per element (stores prev/next pointers); iteration requires following links; removed nodes leave “gaps” in node ID space.

§Use Cases

  • Task queues where items can be added/removed at any position
  • Priority management where items move positions frequently
  • Scenarios requiring both ordered iteration and arbitrary insertion/removal

§Example

// Add elements
let node1 = mapper.push_back(100);
let node2 = mapper.push_back(200);
let node3 = mapper.push_back(300);

assert_eq!(mapper.len(), 3);
assert_eq!(mapper.front().unwrap().into_value(), 100);
assert_eq!(mapper.back().unwrap().into_value(), 300);

// Insert in the middle
let mut node2_mut = node2.clone();
mapper.push_after(&mut node2_mut, 250);
assert_eq!(mapper.len(), 4);

// Remove from front
let removed = mapper.pop_front().unwrap();
assert_eq!(removed.into_value(), 100);
assert_eq!(mapper.len(), 3);

// Remove specific node
mapper.remove_node(&node2);
assert_eq!(mapper.len(), 2);

// Iterate through remaining elements
for node in mapper.iter() {
    let value = node.into_value();
    // Process value
}

Implementations§

Source§

impl<SA, T, A> LinkedListMapper<SA, T, A>
where SA: StorageMapperApi, A: StorageAddress<SA>, T: TopEncode + TopDecode + NestedEncode + NestedDecode + Clone,

Source

pub fn is_empty(&self) -> bool

Source

pub fn len(&self) -> usize

Source

pub fn front(&self) -> Option<LinkedListNode<T>>

Source

pub fn back(&self) -> Option<LinkedListNode<T>>

Source

pub fn get_node_by_id(&self, node_id: u32) -> Option<LinkedListNode<T>>

Source

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

Source

pub fn iter_from_node_id(&self, node_id: u32) -> Iter<'_, SA, T, A>

Source

pub fn check_internal_consistency(&self) -> bool

Source§

impl<SA, T> LinkedListMapper<SA, T, CurrentStorage>

Source

pub fn pop_back(&mut self) -> Option<LinkedListNode<T>>

Source

pub fn pop_front(&mut self) -> Option<LinkedListNode<T>>

Source

pub fn push_after( &mut self, node: &mut LinkedListNode<T>, element: T, ) -> Option<LinkedListNode<T>>

Source

pub fn push_before( &mut self, node: &mut LinkedListNode<T>, element: T, ) -> Option<LinkedListNode<T>>

Source

pub fn push_after_node_id( &mut self, node_id: u32, element: T, ) -> Option<LinkedListNode<T>>

Source

pub fn push_before_node_id( &mut self, node_id: u32, element: T, ) -> Option<LinkedListNode<T>>

Source

pub fn push_back(&mut self, element: T) -> LinkedListNode<T>

Source

pub fn push_front(&mut self, element: T) -> LinkedListNode<T>

Source

pub fn set_node_value(&mut self, node: LinkedListNode<T>, new_value: T)

Source

pub fn set_node_value_by_id(&mut self, node_id: u32, new_value: T)

Source

pub fn remove_node(&mut self, node: &LinkedListNode<T>)

Source

pub fn remove_node_by_id(&mut self, node_id: u32) -> Option<LinkedListNode<T>>

Trait Implementations§

Source§

impl<'a, SA, T, A> IntoIterator for &'a LinkedListMapper<SA, T, A>
where SA: StorageMapperApi, A: StorageAddress<SA>, T: TopEncode + TopDecode + NestedEncode + NestedDecode + Clone + 'static,

Source§

type Item = LinkedListNode<T>

The type of the elements being iterated over.
Source§

type IntoIter = Iter<'a, SA, T, A>

Which kind of iterator are we turning this into?
Source§

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value. Read more
Source§

impl<SA, T> StorageClearable for LinkedListMapper<SA, T>

Source§

fn clear(&mut self)

Clears all the entries owned by the storage.
Source§

impl<SA, T> StorageMapper<SA> for LinkedListMapper<SA, T, CurrentStorage>

Source§

fn new(base_key: StorageKey<SA>) -> Self

Will be called automatically by the #[storage_mapper] annotation generated code.
Source§

impl<SA, T> StorageMapperFromAddress<SA> for LinkedListMapper<SA, T, ManagedAddress<SA>>

Source§

fn new_from_address( address: ManagedAddress<SA>, base_key: StorageKey<SA>, ) -> Self

Will be called automatically by the #[storage_mapper_from_address] annotation generated code.
Source§

impl<SA, T> TopEncodeMulti for LinkedListMapper<SA, T>

Source§

fn multi_encode_or_handle_err<O, H>( &self, output: &mut O, h: H, ) -> Result<(), H::HandledErr>

Version of top_encode that can handle errors as soon as they occur. For instance in can exit immediately and make sure that if it returns, it is a success. By not deferring error handling, this can lead to somewhat smaller bytecode.
Source§

fn multi_encode<O>(&self, output: &mut O) -> Result<(), EncodeError>

Attempt to serialize the value to output.
Source§

impl<SA, T> TypeAbi for LinkedListMapper<SA, T>

Source§

type Unmanaged = LinkedListMapper<SA, T>

Source§

fn type_name() -> TypeName

Source§

fn type_name_rust() -> TypeName

Source§

fn provide_type_descriptions<TDC: TypeDescriptionContainer>( accumulator: &mut TDC, )

A type can provide more than its own name. For instance, a struct can also provide the descriptions of the type of its fields. TypeAbi doesn’t care for the exact accumulator type, which is abstracted by the TypeDescriptionContainer trait.
Source§

fn type_names() -> TypeNames

Source§

impl<SA, T> TypeAbiFrom<LinkedListMapper<SA, T>> for LinkedListMapper<SA, T>

Source§

impl<SA, T, U> TypeAbiFrom<LinkedListMapper<SA, T>> for MultiValueEncoded<SA, U>

Auto Trait Implementations§

§

impl<SA, T, A> Freeze for LinkedListMapper<SA, T, A>

§

impl<SA, T, A> RefUnwindSafe for LinkedListMapper<SA, T, A>

§

impl<SA, T, A> Send for LinkedListMapper<SA, T, A>
where A: Send, SA: Send, T: Send, <SA as HandleTypeInfo>::ManagedBufferHandle: Send,

§

impl<SA, T, A> Sync for LinkedListMapper<SA, T, A>
where A: Sync, SA: Sync, T: Sync, <SA as HandleTypeInfo>::ManagedBufferHandle: Sync,

§

impl<SA, T, A> Unpin for LinkedListMapper<SA, T, A>

§

impl<SA, T, A> UnsafeUnpin for LinkedListMapper<SA, T, A>

§

impl<SA, T, A> UnwindSafe for LinkedListMapper<SA, T, A>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<O, T> ProxyArg<O> for T
where O: TypeAbiFrom<T>, T: TopEncodeMulti,