Data.LensRef.Common

Documentation

type RefWriterT w m = ReaderT (Ref m w) m

runRefWriterT :: (MonadRefCreator m, Monoid w) => RefWriterT w m a -> m (a, Ref m w)

tell' :: (Monoid w, MonadRefCreator m, MonadRefWriter m) => w -> RefWriterT w m ()

newtype MonadMonoid a

Constructors

MonadMonoid

Fields

runMonadMonoid :: a ()

Instances

Monad m => Monoid (MonadMonoid m)

newtype Morph m n

Constructors

Morph

Fields

runMorph :: forall a. m a -> n a

type SRef m a = Morph (StateT a m) m

class Monad m => NewRef m where

Methods

newRef' :: a -> m (SRef m a)

Instances

NewRef IO

NewRef (Prog t)

NewRef m => NewRef (ReaderT r m)

NewRef m => NewRef (StateT s m)

(Monoid w, NewRef m) => NewRef (WriterT w m)

memoRead_ :: (MonadRefWriter m, MonadRefCreator m) => m a -> m (m a)