Merge pull request #2 from stefan-hoeck/enqueue_all

[ new ] add enqueueAll utility
idris-community · Oct 28, 2023 · b99c353 · b99c353
2 parents 9e1c624 + 01abe0a
commit b99c353
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/Data/Queue.idr b/src/Data/Queue.idr
@@ -42,6 +42,11 @@ export
 enqueue : Queue a -> a -> Queue a
 enqueue (Q f b) v = Q f (b :< v)
 
+||| Append a list of values at the back of the queue. O(1)
+export
+enqueueAll : Queue a -> List a -> Queue a
+enqueueAll (Q f b) vs = Q f (b <>< vs)
+
 ||| Take a value from the front of the queue.
 |||
 ||| In case of the front being empty, this transfers