Data.Ref

Documentation

data T m a

Constructors

Cons

Fields

write :: a -> m ()

read :: m a

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

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

class Monad m => C m where

Methods

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

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)

(Error e, C m) => C (ErrorT e m)

C m => C (ExceptT e m)

C m => C (StateT s m)

C m => C (StateT s m)

C m => C (ReaderT r 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) a

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

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