Control.Monad.Sharing.Lazy.ContReader

Documentation

newtype Lazy m a

Constructors

Lazy

Fields

fromLazy :: ContT (ReaderT ThunkStore m) a

Instances

Monad m => MonadState ThunkStore (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