Data.Array.IO

Авторские права	(c) Университет Глазго, 2001
Лицензия	стиль BSD (см. файл libraries/base/LICENSE)
Сопровождающий	libraries@haskell.org
Стабильность	экспериментальный
Переносимость	непереносимый (использует Data.Array.MArray)
Безопасный Haskell	доверенный
Язык	Haskell2010

Содержание

IO массивы с упакованными элементами
IO массивы с неупакованными элементами
Перегруженный интерфейс изменяемых массивов
Выполнение ввода-вывода с помощью IOUArrays

Описание

Изменяемые упакованные и неупакованные массивы в монаде IO.

Массивы IO с упакованными элементами

data IOArray i e

Экземпляры

Подробности экземпляров

MArray IOArray e IO Исходный код
Подробности экземпляра Определён в Data.Array.Base Методы getBounds :: Ix i => IOArray i e -> IO (i, i) Исходный код getNumElements :: Ix i => IOArray i e -> IO Int Исходный код newArray :: Ix i => (i, i) -> e -> IO (IOArray i e) Исходный код newArray_ :: Ix i => (i, i) -> IO (IOArray i e) Исходный код unsafeNewArray_ :: Ix i => (i, i) -> IO (IOArray i e) Исходный код unsafeRead :: Ix i => IOArray i e -> Int -> IO e Исходный код unsafeWrite :: Ix i => IOArray i e -> Int -> e -> IO () Исходный код
Eq (IOArray i e)
Подробности экземпляра Определён в GHC.Internal.IOArray Методы (==) :: IOArray i e -> IOArray i e -> Bool (/=) :: IOArray i e -> IOArray i e -> Bool

Массивы IO с неупакованными элементами

data IOUArray i e Исходный код

Изменяемые, неупакованные, строгие массивы в монаде IO. Аргументы типа следующие:

i: тип индекса массива (должен быть экземпляром Ix)
e: тип элемента массива. Поддерживаются только определённые типы элементов: см. Data.Array.MArray для списка экземпляров.

Экземпляры

Подробности экземпляров

MArray IOUArray Int16 IO Исходный код
Подробности экземпляра Определён в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Int16 -> IO (i, i) Исходный код getNumElements :: Ix i => IOUArray i Int16 -> IO Int Исходный код newArray :: Ix i => (i, i) -> Int16 -> IO (IOUArray i Int16) Исходный код newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int16) Исходный код unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int16) Исходный код unsafeRead :: Ix i => IOUArray i Int16 -> Int -> IO Int16 Исходный код unsafeWrite :: Ix i => IOUArray i Int16 -> Int -> Int16 -> IO () Исходный код
MArray IOUArray Int32 IO Исходный код
Подробности экземпляра Определён в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Int32 -> IO (i, i) Исходный код getNumElements :: Ix i => IOUArray i Int32 -> IO Int Исходный код newArray :: Ix i => (i, i) -> Int32 -> IO (IOUArray i Int32) Исходный код newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int32) Исходный код unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int32) Исходный код unsafeRead :: Ix i => IOUArray i Int32 -> Int -> IO Int32 Исходный код unsafeWrite :: Ix i => IOUArray i Int32 -> Int -> Int32 -> IO () Исходный код
MArray IOUArray Int64 IO Исходный код
Подробности экземпляра Определён в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Int64 -> IO (i, i) Исходный код getNumElements :: Ix i => IOUArray i Int64 -> IO Int Исходный код newArray :: Ix i => (i, i) -> Int64 -> IO (IOUArray i Int64) Исходный код newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int64) Исходный код unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int64) Исходный код unsafeRead :: Ix i => IOUArray i Int64 -> Int -> IO Int64 Исходный код unsafeWrite :: Ix i => IOUArray i Int64 -> Int -> Int64 -> IO () Исходный код
MArray IOUArray Int8 IO Исходный код
Подробности экземпляра Определён в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Int8 -> IO (i, i) Исходный код getNumElements :: Ix i => IOUArray i Int8 -> IO Int Исходный код newArray :: Ix i => (i, i) -> Int8 -> IO (IOUArray i Int8) Исходный код newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int8) Исходный код unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int8) Исходный код unsafeRead :: Ix i => IOUArray i Int8 -> Int -> IO Int8 Исходный код unsafeWrite :: Ix i => IOUArray i Int8 -> Int -> Int8 -> IO () Исходный код
MArray IOUArray Word16 IO Исходный код
Подробности экземпляра Определён в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Word16 -> IO (i, i) Исходный код getNumElements :: Ix i => IOUArray i Word16 -> IO Int Исходный код newArray :: Ix i => (i, i) -> Word16 -> IO (IOUArray i Word16) Исходный код newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word16) Исходный код unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word16) Исходный код unsafeRead :: Ix i => IOUArray i Word16 -> Int -> IO Word16 Исходный код unsafeWrite :: Ix i => IOUArray i Word16 -> Int -> Word16 -> IO () Исходный код
MArray IOUArray Word32 IO Исходный код
Подробности экземпляра Определён в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Word32 -> IO (i, i) Исходный код getNumElements :: Ix i => IOUArray i Word32 -> IO Int Исходный код newArray :: Ix i => (i, i) -> Word32 -> IO (IOUArray i Word32) Исходный код newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word32) Исходный код unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word32) Исходный код unsafeRead :: Ix i => IOUArray i Word32 -> Int -> IO Word32 Исходный код unsafeWrite :: Ix i => IOUArray i Word32 -> Int -> Word32 -> IO () Исходный код
MArray IOUArray Word64 IO Исходный код

Подробности экземпляра Определено в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Word64 -> IO (i, i) Источник getNumElements :: Ix i => IOUArray i Word64 -> IO Int Источник newArray :: Ix i => (i, i) -> Word64 -> IO (IOUArray i Word64) Источник newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word64) Источник unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word64) Источник unsafeRead :: Ix i => IOUArray i Word64 -> Int -> IO Word64 Источник unsafeWrite :: Ix i => IOUArray i Word64 -> Int -> Word64 -> IO () Источник
MArray IOUArray Word8 IO Источник
Подробности экземпляра Определено в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Word8 -> IO (i, i) Источник getNumElements :: Ix i => IOUArray i Word8 -> IO Int Источник newArray :: Ix i => (i, i) -> Word8 -> IO (IOUArray i Word8) Источник newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word8) Источник unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word8) Источник unsafeRead :: Ix i => IOUArray i Word8 -> Int -> IO Word8 Источник unsafeWrite :: Ix i => IOUArray i Word8 -> Int -> Word8 -> IO () Источник
MArray IOUArray Bool IO Источник
Подробности экземпляра Определено в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Bool -> IO (i, i) Источник getNumElements :: Ix i => IOUArray i Bool -> IO Int Источник newArray :: Ix i => (i, i) -> Bool -> IO (IOUArray i Bool) Источник newArray_ :: Ix i => (i, i) -> IO (IOUArray i Bool) Источник unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Bool) Источник unsafeRead :: Ix i => IOUArray i Bool -> Int -> IO Bool Источник unsafeWrite :: Ix i => IOUArray i Bool -> Int -> Bool -> IO () Источник
MArray IOUArray Char IO Источник
Подробности экземпляра Определено в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Char -> IO (i, i) Источник getNumElements :: Ix i => IOUArray i Char -> IO Int Источник newArray :: Ix i => (i, i) -> Char -> IO (IOUArray i Char) Источник newArray_ :: Ix i => (i, i) -> IO (IOUArray i Char) Источник unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Char) Источник unsafeRead :: Ix i => IOUArray i Char -> Int -> IO Char Источник unsafeWrite :: Ix i => IOUArray i Char -> Int -> Char -> IO () Источник
MArray IOUArray Double IO Источник
Подробности экземпляра Определено в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Double -> IO (i, i) Источник getNumElements :: Ix i => IOUArray i Double -> IO Int Источник newArray :: Ix i => (i, i) -> Double -> IO (IOUArray i Double) Источник newArray_ :: Ix i => (i, i) -> IO (IOUArray i Double) Источник unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Double) Источник unsafeRead :: Ix i => IOUArray i Double -> Int -> IO Double Источник unsafeWrite :: Ix i => IOUArray i Double -> Int -> Double -> IO () Источник
MArray IOUArray Float IO Источник
Подробности экземпляра Определено в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Float -> IO (i, i) Источник getNumElements :: Ix i => IOUArray i Float -> IO Int Источник newArray :: Ix i => (i, i) -> Float -> IO (IOUArray i Float) Источник newArray_ :: Ix i => (i, i) -> IO (IOUArray i Float) Источник unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Float) Источник unsafeRead :: Ix i => IOUArray i Float -> Int -> IO Float Источник unsafeWrite :: Ix i => IOUArray i Float -> Int -> Float -> IO () Источник
MArray IOUArray Int IO Источник

Подробности экземпляра Определено в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Int -> IO (i, i) Источник getNumElements :: Ix i => IOUArray i Int -> IO Int Источник newArray :: Ix i => (i, i) -> Int -> IO (IOUArray i Int) Источник newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int) Источник unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int) Источник unsafeRead :: Ix i => IOUArray i Int -> Int -> IO Int Источник unsafeWrite :: Ix i => IOUArray i Int -> Int -> Int -> IO () Источник
MArray IOUArray Word IO Источник
Подробности экземпляра Определено в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i Word -> IO (i, i) Источник getNumElements :: Ix i => IOUArray i Word -> IO Int Источник newArray :: Ix i => (i, i) -> Word -> IO (IOUArray i Word) Источник newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word) Источник unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word) Источник unsafeRead :: Ix i => IOUArray i Word -> Int -> IO Word Источник unsafeWrite :: Ix i => IOUArray i Word -> Int -> Word -> IO () Источник
MArray IOUArray (FunPtr a) IO Источник
Подробности экземпляра Определено в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i (FunPtr a) -> IO (i, i) Источник getNumElements :: Ix i => IOUArray i (FunPtr a) -> IO Int Источник newArray :: Ix i => (i, i) -> FunPtr a -> IO (IOUArray i (FunPtr a)) Источник newArray_ :: Ix i => (i, i) -> IO (IOUArray i (FunPtr a)) Источник unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i (FunPtr a)) Источник unsafeRead :: Ix i => IOUArray i (FunPtr a) -> Int -> IO (FunPtr a) Источник unsafeWrite :: Ix i => IOUArray i (FunPtr a) -> Int -> FunPtr a -> IO () Источник
MArray IOUArray (Ptr a) IO Источник
Подробности экземпляра Определено в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i (Ptr a) -> IO (i, i) Источник getNumElements :: Ix i => IOUArray i (Ptr a) -> IO Int Источник newArray :: Ix i => (i, i) -> Ptr a -> IO (IOUArray i (Ptr a)) Источник newArray_ :: Ix i => (i, i) -> IO (IOUArray i (Ptr a)) Источник unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i (Ptr a)) Источник unsafeRead :: Ix i => IOUArray i (Ptr a) -> Int -> IO (Ptr a) Источник unsafeWrite :: Ix i => IOUArray i (Ptr a) -> Int -> Ptr a -> IO () Источник
MArray IOUArray (StablePtr a) IO Источник
Подробности экземпляра Определено в Data.Array.IO.Internals Методы getBounds :: Ix i => IOUArray i (StablePtr a) -> IO (i, i) Источник getNumElements :: Ix i => IOUArray i (StablePtr a) -> IO Int Источник newArray :: Ix i => (i, i) -> StablePtr a -> IO (IOUArray i (StablePtr a)) Источник newArray_ :: Ix i => (i, i) -> IO (IOUArray i (StablePtr a)) Источник unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i (StablePtr a)) Источник unsafeRead :: Ix i => IOUArray i (StablePtr a) -> Int -> IO (StablePtr a) Источник unsafeWrite :: Ix i => IOUArray i (StablePtr a) -> Int -> StablePtr a -> IO () Источник
Eq (IOUArray i e) Источник
Подробности экземпляра Определено в Data.Array.IO.Internals Методы (==) :: IOUArray i e -> IOUArray i e -> Bool (/=) :: IOUArray i e -> IOUArray i e -> Bool

Перегруженный интерфейс изменяемых массивов

модуль Data.Array.MArray

Ввод-вывод с IOUArray

hGetArray Источник

Аргументы

:: Handle	Дескриптор для чтения
-> IOUArray Int Word8	Массив, в который следует поместить значения
-> Int	Количество `Word8` для чтения
-> IO Int	Возвращает количество фактически прочитанных `Word8`; оно может быть меньше запрошенного, если достигнут конец файла.

Считывает заданное количество Word8 из указанного Handle непосредственно в массив.

hPutArray Источник

Аргументы

:: Handle	Дескриптор для записи
-> IOUArray Int Word8	Массив, из которого выполняется запись
-> Int	Количество `Word8` для записи
-> IO ()

Записывает массив значений Word8 в указанный Handle.

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.14.1/docs/libraries/array-0.5.8.0-93e8/Data-Array-IO.html

Data.Array.IO

Содержание

Описание

Массивы IO с упакованными элементами

Экземпляры

Методы

Методы

Массивы IO с неупакованными элементами

Экземпляры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Перегруженный интерфейс изменяемых массивов

Ввод-вывод с IOUArray

Аргументы

Аргументы