Control.Monad.Sharing.Lazy.ContReaderNoThunks

Documentation

newtype Lazy m a

Constructors

Lazy

Fields

fromLazy :: ContT (ReaderT Store m) a

Instances

Monad m => MonadState Store (Lazy m)

Monad m => Monad (Lazy m)

MonadPlus m => MonadPlus (Lazy m)

MonadPlus m => Sharing (Lazy m)

data Store

Constructors

Store Int (IntMap Untyped)

Instances

Monad m => MonadState Store (Lazy m)

getFreshKey :: MonadState Store m => m Int

lookupHNF :: MonadState Store m => Int -> m (Maybe a)

insertHNF :: MonadState Store m => Int -> a -> m ()

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

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