Control.Monad.Sharing.Lazy.ContReaderNoThunksInlined

Documentation

newtype Lazy m a

Constructors

Lazy

Fields

fromLazy :: forall w. (a -> Store -> m w) -> Store -> m w

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)

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

memo :: Lazy m a -> Lazy m (Lazy m a)