refqueue: An impure (modify-by-reference), single-ended queue,...

Description Usage Value Author(s)

Description

An impure (modify-by-reference), single-ended queue, implemented using lazy pairs.

Usage

1

Value

A list with four functions as elements; append, pop, \push, and has.

Removing from the tail of the queue is not supported. (A double-ended queue will be added.)

Author(s)

Peter Meilstrup


crowding/lazr documentation built on May 14, 2019, 11:33 a.m.