Stability | experimental |
---|---|
Maintainer | Sebastian Fischer (sebf\@informatik.uni-kiel.de) |
This library provides lists with monadic head and tail as an
example for nested monadic data that can be used with the
combinator share
for explicit sharing.
Documentation
Data type for lists where both the head and tail are monadic.
(Monad m, Convertible m a b) => Convertible m [a] (List m b) | This instance enables the function |
(Monad m, Shareable m a) => Shareable m (List m a) | This instance allows to use nested monadic lists as argument to the
|
(Monad m, Convertible m a b) => Convertible m (List m a) [b] | This instance enables the function |