Data.Array.ST

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

Упакованные массивы

data STArray s i e :: * -> * -> * -> * Источник

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

• s: аргумент переменной состояния для типа ST
• i: тип индекса массива (должен быть экземпляром Ix)
• e: тип элементов массива.

runSTArray :: Ix i => (forall s. ST s (STArray s i e)) -> Array i e Источник

Безопасный способ создания и работы с изменяемым массивом перед возвращением неизменяемого массива для последующего использования. Эта функция избегает копирования массива перед возвратом — она использует unsafeFreeze внутри, но эта обертка — безопасный интерфейс к этой функции.

Неупакованные массивы

data STUArray s i e Источник

Изменяемый массив с неупакованными элементами, который можно обрабатывать в ST монаде. Аргументы типа следующие:

• s: аргумент переменной состояния для типа ST
• i: тип индекса массива (должен быть экземпляром Ix)
• e: тип элементов массива. Поддерживаются только определенные типы элементов.

STUArray обычно будет более эффективным (по времени и памяти) по сравнению с эквивалентной упакованной версией (STArray) с тем же типом элементов. Однако, STUArray строго относится к своим элементам — поэтому не используйте STUArray, если вам требуется нестрогость, которую обеспечивает STArray.

runSTUArray :: Индекс i => (forall s. ST s (STUArray s i e)) -> UArray i e Источник

Безопасный способ создания и работы с необработанным изменяемым массивом перед возвратом неизменяемого массива для последующего ознакомления. Эта функция избегает копирования массива перед возвратом — она использует unsafeFreeze внутри, но этот обертывающий элемент является безопасным интерфейсом к этой функции.

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

модуль Data.Array.MArray