Data.Mutable.URef

Use 1-length mutable unboxed vectors for mutable references.

Motivated by: http://stackoverflow.com/questions/27261813/why-is-my-little-stref-int-require-allocating-gigabytes and ArrayRef.

Types

data URef s a

An unboxed vector reference, supporting any monad.

Instances

Unbox a => MutableRef (URef s a)

MutableContainer (URef s a)

type RefElement (URef s a) = a

type MCState (URef s a) = s

type IOURef = URef (PrimState IO)

An unboxed IO vector reference.

Functions

asURef :: URef s a -> URef s a

class MutableContainer c => MutableRef c where

Associated Types

type RefElement c

Methods

newRef :: (PrimMonad m, PrimState m ~ MCState c) => RefElement c -> m c

readRef :: (PrimMonad m, PrimState m ~ MCState c) => c -> m (RefElement c)

writeRef :: (PrimMonad m, PrimState m ~ MCState c) => c -> RefElement c -> m ()

modifyRef :: (PrimMonad m, PrimState m ~ MCState c) => c -> (RefElement c -> RefElement c) -> m ()

modifyRef' :: (PrimMonad m, PrimState m ~ MCState c) => c -> (RefElement c -> RefElement c) -> m ()

Instances

MutableRef (IORef a)

MutableRef (STRef s a)

MutableRef (MutVar s a)

Unbox a => MutableRef (URef s a)

MutableRef (VRef s a)

Storable a => MutableRef (SRef s a)