Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulemassiv-1.0.5.0Haskell2010

Data.Massiv.Array.Mutable.Atomic

Contents

Atomic element-wise mutation

Synopsis

value atomicReadIntArray
value atomicWriteIntArray
value atomicModifyIntArray
value atomicAddIntArray
value atomicSubIntArray
value atomicAndIntArray
value atomicNandIntArray
value atomicOrIntArray
value atomicXorIntArray
value casIntArray

Packagemassiv-1.0.5.0
Exports10
LanguageHaskell2010
LicenceBSD-3-Clause
SourceAtomic.hs

Atomic element-wise mutation

valueatomicReadIntArray

:: (Index ix, PrimMonad m)
=> MArray (PrimState m) P ix Int
-> ix
-> m (Maybe Int)

Atomically read an Int element from the array

valueatomicWriteIntArray

:: (Index ix, PrimMonad m)
=> MArray (PrimState m) P ix Int
-> ix
-> Int
-> m Bool

Atomically write an Int element int the array. Returns True if supplied index was correct and write was successfull.

valueatomicModifyIntArray

:: (Index ix, PrimMonad m)
=> MArray (PrimState m) P ix Int
-> ix
-> Int -> Int
-> m (Maybe Int)

Atomically modify an Int element of the array. Returns the old value, unless the supplied index was out of bounds.

valueatomicAddIntArray

:: (Index ix, PrimMonad m)
=> MArray (PrimState m) P ix Int
-> ix
-> Int
-> m (Maybe Int)

Atomically add to an Int element in the array. Returns the old value.

valueatomicSubIntArray

:: (Index ix, PrimMonad m)
=> MArray (PrimState m) P ix Int
-> ix
-> Int
-> m (Maybe Int)

Atomically subtract from an Int element in the array. Returns the old value.

valueatomicAndIntArray

:: (Index ix, PrimMonad m)
=> MArray (PrimState m) P ix Int
-> ix
-> Int
-> m (Maybe Int)

Atomically AND an Int element in the array. Returns the old value.

valueatomicNandIntArray

:: (Index ix, PrimMonad m)
=> MArray (PrimState m) P ix Int
-> ix
-> Int
-> m (Maybe Int)

Atomically NAND an Int element in the array. Returns the old value.

valueatomicOrIntArray

:: (Index ix, PrimMonad m)
=> MArray (PrimState m) P ix Int
-> ix
-> Int
-> m (Maybe Int)

Atomically OR an Int element in the array. Returns the old value.

valueatomicXorIntArray

:: (Index ix, PrimMonad m)
=> MArray (PrimState m) P ix Int
-> ix
-> Int
-> m (Maybe Int)

Atomically XOR an Int element in the array. Returns the old value.

valuecasIntArray

:: (Index ix, PrimMonad m)
=> MArray (PrimState m) P ix Int
Array to mutate
-> ix
Index at which to mutate
-> Int
Expected value
-> Int
New value
-> m (Maybe Int)

Atomically CAS (Compare-and-Swap) an Int in the array. Returns the old value.