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

(EqRef (STRef s), Functor (ST s), Monad (ST s)) => Ref (ST s) (STRef s)

(EqRef r, Functor (Changeable m r), Monad (Changeable m r), Ref m r) => Ref (Changeable m r) r

(EqRef r, Functor (Adaptive m r), Monad (Adaptive m r), Ref m r) => Ref (Adaptive m r) r

(EqRef r, Functor (OrderedList m r a), Monad (OrderedList m r a), Ref m r) => Ref (OrderedList m r a) r

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