Data.STRef

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

STRefs

data STRef s a Источник

значение типа STRef s a — это изменяемая переменная в потоке состояния s, содержащая значение типа a

>>> :{
runST (do
    ref <- newSTRef "hello"
    x <- readSTRef ref
    writeSTRef ref (x ++ "world")
    readSTRef ref )
:}
"helloworld"

newSTRef :: a -> ST s (STRef s a) Источник

Создать новую STRef в текущем потоке состояния

readSTRef :: STRef s a -> ST s a Источник

Прочитать значение STRef

writeSTRef :: STRef s a -> a -> ST s () Источник

Записать новое значение в STRef

modifySTRef :: STRef s a -> (a -> a) -> ST s () Источник

Изменить содержимое STRef.

>>> :{
runST (do
    ref <- newSTRef ""
    modifySTRef ref (const "world")
    modifySTRef ref (++ "!")
    modifySTRef ref ("Hello, " ++)
    readSTRef ref )
:}
"Hello, world!"

Обратите внимание, что modifySTRef не применяет функцию строго. Это означает, что если программа вызывает modifySTRef много раз, но редко использует значение, тонки будут накапливаться в памяти, что приведёт к утечке памяти. Это распространённая ошибка, совершаемая при использовании STRef как счётчика. Например, следующее вызовет утечку памяти и возможно переполнение стека:

>>> import Control.Monad (replicateM_)
>>> :{
print (runST (do
    ref <- newSTRef 0
    replicateM_ 1000 $ modifySTRef ref (+1)
    readSTRef ref ))
:}
1000

Чтобы избежать этой проблемы, используйте modifySTRef' вместо этого.

modifySTRef' :: STRef s a -> (a -> a) -> ST s () Источник

Строгая версия modifySTRef

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