explicit-sharing-0.1: Explicit Sharing of Monadic Effects

Control.Monad.Sharing.Lazy.ContReaderNoThunks

Documentation

newtype Lazy m a Source

Constructors

Lazy 

Fields

fromLazy :: ContT (ReaderT Store m) a
 

Instances

data Store Source

Constructors

Store Int (IntMap Untyped) 

Instances

runLazy :: Monad m => Lazy m a -> m aSource

memo :: MonadState Store m => m a -> m (m a)Source