Modulerebase-1.21.2Haskell2010

Rebase.GHC.STRef

datadata STRef s a

a value of type STRef s a is a mutable variable in state thread s, containing a value of type a

Example1 expression

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

Instances4NFData2, NFData1, Eq, NFData

NFData2 STRefDefined in deepseq-1.5.0.0 · Control.DeepSeq
NFData1 (STRef s)Defined in deepseq-1.5.0.0 · Control.DeepSeq
Eq (STRef s a)Defined in ghc-internal-9.1003.0 · GHC.Internal.STRef
Pointer equality.
NFData (STRef s a)Defined in deepseq-1.5.0.0 · Control.DeepSeq
NOTE: Only strict in the reference and not the referenced value.

valuenewSTRef :: a -> ST s (STRef s a)

Build a new STRef in the current state thread

valuereadSTRef :: STRef s a -> ST s a

Read the value of an STRef

valuewriteSTRef :: STRef s a -> a -> ST s ()

Write a new value into an STRef