Safe Haskell	Safe-Inferred
Language	Haskell98

Control.Monad.Ref

Synopsis

Documentation

class Monad m => MonadRef m where Source

Associated Types

type Ref m :: * -> * Source

Methods

newRef :: a -> m (Ref m a) Source

writeRef :: Ref m a -> a -> m () Source

atomicModifyRef :: Ref m a -> (a -> (a, b)) -> m b Source

Instances

MonadRef IO
MonadRef SpiderHostFrame
MonadRef SpiderHost
MonadRef EventM
MonadRef m => MonadRef (ReaderT r m)
(Monoid w, MonadRef m) => MonadRef (WriterT w m)

cacheM :: (MonadRef m, MonadRef m', Ref m ~ Ref m') => m' a -> m (m' a, m ()) Source

cacheMWithTry :: (MonadRef m, MonadRef m', Ref m ~ Ref m') => m' a -> m (m' a, m (Maybe a), m ()) Source

memoM :: (MonadRef m, MonadRef m', Ref m ~ Ref m') => m' a -> m (m' a) Source

Not thread-safe or reentrant

modifyRef :: MonadRef m => Ref m a -> (a -> a) -> m () Source