Safe Haskell | None |
---|---|
Language | Haskell98 |
Data.LensRef.Common
Documentation
type RefWriterT w m = ReaderT (Ref m w) m Source
runRefWriterT :: (MonadRefCreator m, Monoid w) => RefWriterT w m a -> m (a, Ref m w) Source
tell' :: (Monoid w, MonadRefCreator m, MonadRefWriter m) => w -> RefWriterT w m () Source
newtype MonadMonoid a Source
Constructors
MonadMonoid | |
Fields
|
Instances
Monad m => Monoid (MonadMonoid m) |
memoRead_ :: (MonadRefWriter m, MonadRefCreator m) => m a -> m (m a) Source