data-ref-0.0: Unify STRef and IORef in plain Haskell 98

Safe HaskellNone

Data.Ref

Documentation

data T m a Source

Constructors

Cons 

Fields

write :: a -> m ()
 
read :: m a
 

modify :: C m => T m a -> (a -> a) -> m ()Source

newCons :: C m => (a -> m ref) -> (ref -> a -> m ()) -> (ref -> m a) -> a -> m (T m a)Source

class Monad m => C m whereSource

Methods

new :: a -> m (T m a)Source

Instances

C IO 
C STM 
C (ST s) 
C m => C (MaybeT m) 
C m => C (IdentityT m) 
(Monoid w, C m) => C (WriterT w m) 
(Monoid w, C m) => C (WriterT w m) 
C m => C (StateT s m) 
C m => C (StateT s m) 
C m => C (ReaderT r m) 
(Error e, C m) => C (ErrorT e m) 
C m => C (ContT r m) 
(Monoid w, C m) => C (RWST r w s m) 
(Monoid w, C m) => C (RWST r w s m) 

lift :: (Monad m, MonadTrans t) => T m a -> T (t m) aSource

liftIO :: MonadIO m => T IO a -> T m aSource

newLifted :: (C m, MonadTrans t) => a -> t m (T (t m) a)Source