src/containers/simple_queue.bend checks
raw source on the hub · import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/simple_queue.bend as Simple_queue
3 imports
import Base import ./queue.bend as K import ./types/queue.bend as E
Templates
template new source · line 6 · raw
@-T:Data -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.Queue<T>
Single-threaded queue API; storage and algorithms are shared with queue.
template qsize source · line 9 · raw
@-T:Data -> @q:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.Queue<T> -> Pair(0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.Queue<T>, Nat)
template put source · line 12 · raw
@-T:Data -> @q:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.Queue<T> -> @x:T -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.Queue<T>
template get source · line 15 · raw
@-T:Data -> @q:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.Queue<T> -> Pair(0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.Queue<T>, Result<&2, &2, 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/types/queue.Error, T>)
template peek source · line 18 · raw
@-T:Data -> @q:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.Queue<T> -> Pair(0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.Queue<T>, Result<&2, &2, 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/types/queue.Error, T>)
template to_list source · line 21 · raw
@-T:Data -> @q:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.Queue<T> -> Pair(0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.Queue<T>, List<&2, T>)