Modulebase-4.23.0.0Haskell2010

Data.STRef.Lazy

Mutable references in the lazy ST monad.

STRefs

5 declarations

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"

Instances1Eq

Eq (STRef s a)Defined in ghc-internal-10.0.0 · GHC.Internal.STRef
Pointer equality.

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

valuereadSTRef :: STRef s a -> ST s a

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

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