Stability | experimental |
---|---|

Maintainer | Sebastian Fischer <mailto:sebf@informatik.uni-kiel.de> |

This library provides an interface to monads that support explicit sharing based on two-level types. This implementation is not as efficient as the default implementation but supports a restricted form of sharing across non-determinism if a first-order data type is used as underlying monad.

- module Control.Monad
- class Sharing m where
- class Shareable m a where
- class Convertible m a b where
- convArgs :: (forall c d. Convertible m c d => c -> m d) -> a -> m b

- convert :: Convertible m a b => a -> m b
- data Lazy m a
- evalLazy :: (Monad m, Shareable (Lazy m) a, Convertible (Lazy m) a b) => Lazy m a -> m b

# Documentation

module Control.Monad

# Classes

Interface of monads that support explicit sharing.

class Shareable m a whereSource

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.

class Convertible m a b whereSource

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.

convArgs :: (forall c d. Convertible m c d => c -> m d) -> a -> m bSource

Monad m => Convertible m Char Char | |

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 [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 |

(Monad m, Convertible m a b) => Convertible m (List m a) [b] | This instance enables the function |

convert :: Convertible m a b => a -> m bSource

Converts a convertible value recursively.

# Monad transformer

Monad transformer that adds explicit sharing capability to every monad.