GHC.IO.Buffer
Buffers of any element
data
Buffer
e
data
BufferState
type
CharBuffer
type
CharBufElem
Creation
newByteBuffer
newCharBuffer
newBuffer
emptyBuffer
Insertion/removal
bufferRemove
bufferAdd
slideContents
bufferAdjustL
Inspecting
isEmptyBuffer
isFullBuffer
isFullCharBuffer
isWriteBuffer
bufferElems
bufferAvailable
summaryBuffer
Operating on the raw buffer as a Ptr
withBuffer
withRawBuffer
Assertions
checkBuffer
Raw buffers
type
RawBuffer
e
readWord8Buf
writeWord8Buf
type
RawCharBuffer
peekCharBuf
readCharBuf
writeCharBuf
readCharBufPtr
writeCharBufPtr
charSize