This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Source for wiki QueuesCowan version 5

author

cowan

comment


    

ipnr

127.11.51.1

name

QueuesCowan

readonly

0

text

== Queues ==

Queues (also known as output-restricted deques) are mutable ordered collections that can contain any Scheme object.  Each queue contains a list that contains the elements of the queue, and maintains pointers to the first and last pairs of the list.  It's cheap to add or remove elements from the front of the list or to add elements to the back, but not to remove elements from the back.  Queues are disjoint from other types of Scheme objects.

The API provided here is closely analogous to the R7RS-small API for lists.  Other list procedures can be applied to queues using `queue->list`, `list->queue`, and `list-queue!`.  It subsumes the [http://wiki.call-cc.org/man/4/Unit%20data-structures#queues Chicken] and [http://people.csail.mit.edu/jaffer/slib/Queues.html#Queues SLIB] APIs.

Except as noted, all procedures are O(n), where n is the length of the queue.

== Procedures ==

=== Constructors ===

`(make-queue `''k'' [ ''fill'' ]`)`

Returns a newly allocated queue of ''k'' elements whose value is ''fill''.  If ''fill'' is omitted, an implementation-dependent value is chosen.

`(queue `''element'' ...`)`

Returns a newly allocated queue containing the ''elements''.

`(queue-copy` ''queue''`)`

Returns a newly allocated queue containing the elements of ''queue''.

=== Predicates ===

`(queue? `''obj''`)`

Returns `#t` if ''obj'' is a queue, and `#f` otherwise.  This operation is O(1).

`(queue-empty? `''queue''`)`

Returns `#t` if ''obj'' is a queue with no elements, and `#f` otherwise.  This operation is O(1).

=== Accessors ===

`(queue-first `''queue''` `''element''`)`

Returns the first element of the queue.  This operation is O(1).

`(queue-last`''queue''` `''element''`)`

Returns the last element of the queue.  This operation is O(1).

`(queue-ref ''queue k''`)`

Returns the ''k''th element of ''queue''.  This operation is O(k).

=== Mutators ===

`(queue-add-first! `''queue''` `''element''`)`

Adds ''element'' to the beginning of ''queue''.  Returns an unspecified value.  This operation is O(1).

`(queue-add-last! `''queue''` `''element''`)`

Adds ''element'' to the end of ''queue''.  Returns an unspecified value.  This operation is O(1).

`(queue-remove-first! `''queue''`)`

Removes the first element of the queue and returns it.  This operation is O(1).

`(queue-remove-last! `''queue''`)`

Removes the last element of the queue and returns it.  This operation is O(n), because the list does not have backward links.

`(queue-set! `''queue k value''`)`

Sets the ''k''th element of ''queue'' to ''value''.  This operation is O(k).

=== The whole queue ===

`(queue-length `''queue''`)`

Returns the number of elements in ''queue''.

`(queue-append`''queue'' ...`)`

Returns a queue which contains all the elements in all the ''queues'' in the order in which they appear in the call.

`(queue-reverse `''queue''`)`

Returns a newly allocated queue with the same elements as in ''queue'' but in reverse order.

`(queue-member? `''queue element;'' [ ''predicate'' ]`)`

Returns `#t` if ''element'' is a member of ''queue'' (in the sense of ''predicate'', which defaults to `equal?`) and `#f` otherwise.

=== Mapping ===

`(queue-map `''proc queue''`)`

Applies ''proc'' to each element of ''queue'' in order and returns a newly allocated queue containing the results.

`(queue-map! `''proc queue''`)`

Applies ''proc'' to each element of ''queue'' in order and modifies ''queue'' to contain the results.

`(queue-for-each `''proc''` `''queue''`)`

Applies ''proc'' to each element of ''queue'' in order, discarding the returned values.  Returns an unspecified value.

=== Conversion and list operations ===

`(queue->list `''queue''`)`

Returns the list that contains the members of ''queue'' in order.  It is an error to mutate the cdrs of such a list, as it shares storage with the queue.  This operation is O(1).

`(list->queue `''list''`)`

Returns a newly allocated queue containing the elements of ''list'' in order.  It is an error to mutate the cdrs of ''list'' after calling this procedure, as it shares storage with the queue.  This operation is O(1).

To apply a non-destructive list procedure to a queue and return a new queue, use `(list->queue (`''proc''` (queue->list `''queue''`)))`.

`(list->queue! `''queue list''`)`

Replaces the list associated with ''queue'' with ''list'', effectively discarding all the elements of ''queue'' in favor of those in ''list''.  It is an error to mutate the cdrs of ''list'' after calling this procedure, as it shares storage with the queue.  Returns an unspecified value.  This operation is O(1).

To apply a destructive list procedure to a queue, use `(list->queue! (`''proc''` (queue->list `''queue''`)))`.

== Implementation note ==

R5RS implementations do not have `make-list`, `list-copy`, `list-set!`, or `map!`, which therefore would need to be packaged with the sample implementation.  All but `list-set!` are available in SRFI 1, but it's trivial to provide local implementations of them.


time

2014-08-06 04:59:04

version

5