Control.Monad.Sharing.Lazy

Documentation

data Lazy m a

Instances

Monad m => Monad (Lazy m)

MonadPlus m => MonadPlus (Lazy m)

MonadPlus m => Sharing (Lazy m)

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

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

module Control.Monad.Sharing