GHC.IO.BufferedIO

Авторские права	(c) The University of Glasgow 2008
Лицензия	см. libraries/base/LICENSE
Поддерживающий	cvs-ghc@haskell.org
Устойчивость	внутренняя
Переносимость	непереносимая (расширения GHC)
Safe Haskell	Надежный
Язык	Haskell2010

Описание

Класс буферизированных устройств ввода-вывода

class BufferedIO dev where Источник

Цель BufferedIO — предоставить общий интерфейс для устройств ввода-вывода, которые могут читать и записывать данные через буфер. Устройства, реализующие BufferedIO, включают обычные файлы, файлы с отображением памяти и байтовые строки. Подлежащее устройство, реализующее Handle, должно предоставлять BufferedIO.

Минимальное полное определение

newBuffer, fillReadBuffer, fillReadBuffer0, flushWriteBuffer, flushWriteBuffer0

Методы

newBuffer :: dev -> BufferState -> IO (Buffer Word8) Источник

выделяет новый буфер. Размер буфера определяется устройством; например, для файла с отображением памяти буфер, вероятно, будет охватывать весь файл.

fillReadBuffer :: dev -> Buffer Word8 -> IO (Int, Buffer Word8) Источник

считывает байты в буфер, блокируя, если доступных байтов нет. Возвращает количество считанных байтов (ноль указывает на конец файла) и новый буфер.

fillReadBuffer0 :: dev -> Buffer Word8 -> IO (Maybe Int, Buffer Word8) Источник

считывает байты в буфер без блокировки. Возвращает количество считанных байтов (Nothing указывает на конец файла) и новый буфер.

emptyWriteBuffer :: dev -> Buffer Word8 -> IO (Buffer Word8) Источник

Подготавливает пустой буфер записи. Это позволяет устройству решить, как настроить буфер записи: буфер может, например, указывать на конкретное место в памяти. Это обычно используется клиентом при переключении с чтения на запись на устройстве с буферизованным чтением/записью.

Соответствующей операции для буферов чтения нет, потому что перед чтением клиент всегда вызовет fillReadBuffer.

flushWriteBuffer :: dev -> Buffer Word8 -> IO (Buffer Word8) Источник

Очищает все данные из предоставленного буфера записи в устройство. Возвращаемый буфер должен быть пустым и готов к записи.

flushWriteBuffer0 :: dev -> Buffer Word8 -> IO (Int, Buffer Word8) Источник

Очищает данные из предоставленного буфера записи в устройство без блокировки. Возвращает количество записанных байтов и оставшийся буфер.

Примеры

Подробности примеров

BufferedIO FD

С момента: base-4.1.0.0

Подробности примера

Определено в GHC.IO.FD

Методы

newBuffer :: FD -> BufferState -> IO (Buffer Word8) Источник

fillReadBuffer :: FD -> Buffer Word8 -> IO (Int, Buffer Word8) Источник

fillReadBuffer0 :: FD -> Buffer Word8 -> IO (Maybe Int, Buffer Word8) Источник

emptyWriteBuffer :: FD -> Buffer Word8 -> IO (Buffer Word8) Источник

flushWriteBuffer :: FD -> Buffer Word8 -> IO (Buffer Word8) Источник

flushWriteBuffer0 :: FD -> Buffer Word8 -> IO (Int, Buffer Word8) Источник

readBuf :: RawIO dev => dev -> Buffer Word8 -> IO (Int, Buffer Word8) Источник

readBufNonBlocking :: RawIO dev => dev -> Buffer Word8 -> IO (Возможно Int, Buffer Word8) Источник

writeBuf :: RawIO dev => dev -> Buffer Word8 -> IO (Buffer Word8) Источник

writeBufNonBlocking :: RawIO dev => dev -> Buffer Word8 -> IO (Int, Buffer Word8) Источник

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/base-4.14.1.0/GHC-IO-BufferedIO.html