Data.Array.ST.Safe

Авторские права	(c) Университет Глазго 2011
Лицензия	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)) -> Массив i e Исходный код

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

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

модуль Data.Array.MArray.Safe