Merge pull request #11 from sun-jacobi/push_front

Add `List::push_front`
minirust · Jul 29, 2024 · 1386718 · 1386718
2 parents e85499a + 04bfc90
commit 1386718
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/libspecr/src/list/func.rs b/libspecr/src/list/func.rs
@@ -76,6 +76,11 @@ impl<T: Obj> List<T> {
         self.0.mutate(|v| v.pop_back())
     }
 
+    /// Push an element to the beginning of the list.
+    pub fn push_front(&mut self, t: T) {
+        self.0.mutate(|v| v.push_front(t));
+    }
+
     /// Pop the element from the beginning of the list.
     /// Returns `None` is the list was empty.
     pub fn pop_front(&mut self) -> Option<T> {