Data.Mutable.VRef

Use 1-length mutable boxed vectors for mutable references.

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

Types

data VRef s a

A boxed vector reference, supporting any monad.

Instances

MutableRef (VRef s a)

MutableContainer (VRef s a)

type RefElement (VRef s a) = a

type MCState (VRef s a) = s

type IOVRef = VRef (PrimState IO)

A boxed IO vector reference.

Functions

asVRef :: VRef s a -> VRef 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)