Data.Ref

Documentation

class Ref ref where

Associated Types

type RefM ref :: * -> *

The monad type associated with a given reference type. eg, IO for IORefs, ST for STRefs. Need to consider if Functional Dependencies will yield better type inference or not.

Methods

newRef :: a -> RefM ref (ref a)

newRef' :: a -> RefM ref (ref a)

readRef :: ref a -> RefM ref a

readRef' :: ref a -> RefM ref a

writeRef :: ref a -> a -> RefM ref ()

writeRef' :: ref a -> a -> RefM ref ()

modifyRef :: ref a -> (a -> a) -> RefM ref ()

modifyRef' :: ref a -> (a -> a) -> RefM ref ()

Instances

Ref IORef

Ref (STRef s)

module Data.Ref.CAS