explicit-sharing-0.1: Explicit Sharing of Monadic Effects

Control.Monad.Sharing.Lazy

Documentation

data Lazy m a Source

Instances

Monad m => MonadState Store (Lazy m)
Monad m => Monad (Lazy m)
MonadPlus m => MonadPlus (Lazy m)
MonadPlus m => Sharing (Lazy m)

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

evalLazy :: Monad m => Nondet (Lazy m) a => Lazy m a -> m aSource

module Control.Monad

module Control.Monad.Sharing