A mutable array of bytes that can be passed to foreign functions.

The buffer is represented by a record, where the record contains the raw buffer and the start/end points of the filled portion. The buffer contents itself is mutable, but the rest of the record is immutable. This is a slightly odd mix, but it turns out to be quite practical: by making all the buffer metadata immutable, we can have operations on buffer metadata outside of the IO monad.

The "live" elements of the buffer are those between thebufL andbufR offsets. In an empty buffer,bufL is equal tobufR, but they might not be zero: for example, the buffer might correspond to a memory-mapped file and in which casebufL will point to the next location to be written, which is not necessarily the beginning of the file.

Constructors

Constructors

slides the contents of the buffer to the beginning