Data.Mutable.SRef

Use 1-length mutable storable vectors for mutable references.

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

Types

data SRef s a

A storable vector reference, supporting any monad.

Instances

Storable a => MutableRef (SRef s a)

MutableContainer (SRef s a)

type RefElement (SRef s a) = a

type MCState (SRef s a) = s

type IOSRef = SRef (PrimState IO)

A storable IO vector reference.

Functions

asSRef :: SRef s a -> SRef 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)