Control.Monad.Sharing.Lazy.ContReaderNoThunks

Documentation

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 ()

type Env = (Store, Shared)

newtype Lazy m a

Constructors

Lazy

Fields

fromLazy :: ContT (ReaderT Env m) a

Instances

Monad m => MonadState Store (Lazy m)

Monad m => MonadWriter Shared (Lazy m)

Monad m => Monad (Lazy m)

MonadPlus m => MonadPlus (Lazy m)

MonadPlus m => Sharing (Lazy m)

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

memo :: (MonadState Store m, MonadWriter Shared m) => m a -> m (m a)