explicit-sharing-0.1: Explicit Sharing of Monadic Effects
Control.Monad.Sharing.Lazy.ContReaderNoThunks
newtype Lazy m a Source
Constructors
Fields
Instances
data Store Source
getFreshKey :: MonadState Store m => m IntSource
lookupHNF :: MonadState Store m => Int -> m (Maybe a)Source
insertHNF :: MonadState Store m => Int -> a -> m ()Source
runLazy :: Monad m => Lazy m a -> m aSource
memo :: MonadState Store m => m a -> m (m a)Source