Control.Monad.Sharing.Lazy

Documentation

module Control.Monad.Sharing

data Lazy m a

Continuation-based, store-passing implementation of explicit | sharing. It is an inlined version of ContT (ReaderT Store m) | where the result type of continuations is polymorphic.

Instances

Monad m => Monad (Lazy m)

MonadPlus m => MonadPlus (Lazy m)

Monad m => Sharing (Lazy m)

evalLazy :: (Monad m, Trans (Lazy m) a b) => Lazy m a -> m b

Lifts all monadic effects to the top-level and unwraps the monad | transformer for explicit sharing.