Control.Monad.Sharing

Documentation

module Control.Monad

class MonadPlus m => Nondet m a where

Methods

mapNondet :: (forall b. Nondet m b => m b -> m (m b)) -> a -> m a

eval :: Nondet m a => a -> m a

class MonadPlus m => Sharing m where

Methods

share :: Nondet m a => m a -> m (m a)

Instances

MonadPlus m => Sharing (Lazy m)

MonadPlus m => Sharing (Lazy m)

MonadPlus m => Sharing (Lazy m)

MonadPlus m => Sharing (Lazy m)

shareRec :: (Sharing m, Nondet m a) => (m a -> m a) -> m (m a)