Control.Monad.Sharing

This library provides an interface to monads that support explicit sharing. A project website with tutorials can be found at http://sebfisch.github.com/explicit-sharing.

Documentation

module Control.Monad

Classes

class MonadPlus s => Sharing s where

Interface of monads that support explicit sharing.

Methods

share :: Shareable s a => s a -> s (s a)

Yields an action that returns the same results as the given action but whose effects are only executed once. Especially, when the resulting action is duplicated it returns the same result at every occurrence.

Instances

Nondet n => Sharing (Lazy n)

class Shareable m a where

Interface of shareable nested monadic data types. The provided function shareArgs is supposed to map the given function on every monadic argument.

We provide instances of the Shareable class for some predefined Haskell types. For flat types the function shareArgs just returns its argument which has no arguments to which the given function could be applied.

Methods

shareArgs :: Monad n => (forall b. Shareable m b => m b -> n (m b)) -> a -> n a

Instances

Monad m => Shareable m Char

Monad m => Shareable m Double

Monad m => Shareable m Float

Monad m => Shareable m Integer

Monad m => Shareable m Int

Monad m => Shareable m Bool

(Monad m, Shareable m a) => Shareable m [m a]

An instance for lists with monadic elements.

Monad m => Shareable m [Char]

Monad m => Shareable m [Double]

Monad m => Shareable m [Float]

Monad m => Shareable m [Integer]

Monad m => Shareable m [Int]

Monad m => Shareable m [Bool]

Monad m => Shareable m (a -> b)

(Monad m, Shareable m a) => Shareable m (List m a)

This instance allows to use nested monadic lists as argument to the Control.Monad.Sharing.share combinator.

class Convertible m a b where

Interface for convertible datatypes. The provided function convArgs is supposed to map the given function on every argument of the given value and combine the results to give the converted value.

We provide instances of the Convertible class for some predefined Haskell types. For flat types the function convArgs just returns its argument which has no arguments to which the given function could be applied.

Methods

convert :: a -> m b

Instances

Monad m => Convertible m Char Char

Monad m => Convertible m Double Double

Monad m => Convertible m Float Float

Monad m => Convertible m Integer Integer

Monad m => Convertible m Int Int

Monad m => Convertible m Bool Bool

(Monad m, Convertible m a b) => Convertible m [m a] [b]

An instance to convert lists with monadic elements into ordinary lists.

(Monad m, Convertible m a b) => Convertible m [a] [m b]

An instance to convert ordinary lists into lists with monadic elements.

Monad m => Convertible m [Char] [Char]

Monad m => Convertible m [Double] [Double]

Monad m => Convertible m [Float] [Float]

Monad m => Convertible m [Integer] [Integer]

Monad m => Convertible m [Int] [Int]

Monad m => Convertible m [Bool] [Bool]

(Monad m, Convertible m a b) => Convertible m [a] (List m b)

This instance enables the function Control.Monad.Sharing.convert to transform ordinary Haskell lists into nested monadic lists.

(Monad m, Convertible m a b) => Convertible m (List m a) [b]

This instance enables the function Control.Monad.Sharing.convert to transform nested monadic lists into ordinary Haskell lists.

Observation functions

collect :: Nondet n => (forall s. Sharing s => s n) -> n

hasResult :: (forall s. Sharing s => s a) -> Bool

results :: Ord a => (forall s. Sharing s => s a) -> Set a

resultDist :: Ord a => (forall s. Sharing s => s a) -> Map a Rational

resultList :: (forall s. Sharing s => s a) -> IO [a]

unsafeResults :: (forall s. Sharing s => s a) -> [a]