Control.Monad.Adaptive.Ref

Documentation

class EqRef r where

Methods

eqRef :: r a -> r a -> Bool

Instances

EqRef IORef

EqRef (STRef s)

class (EqRef r, Functor m, Monad m) => Ref m r | m -> r where

Methods

newRef :: a -> m (r a)

readRef :: r a -> m a

writeRef :: r a -> a -> m ()

Instances

Ref IO IORef

Ref (ST s) (STRef s)

Ref m r => Ref (Changeable m r) r

Ref m r => Ref (Adaptive m r) r

Ref m r => Ref (OrderedList m r a) r

mapRef :: Ref m r => (a -> a) -> r a -> m ()