MonadCompose: Methods for composing monads.

Methods for composing monads.

The IO monad transformer solves the problem of combining two IO-performing monads, so that neither one needs to provide a MonadIO interface and both can be transformed separately.

Most known monads have a distributive law. The Distributive module implements distributivity for monad transformers.

A monad transformer can transform another monad, but if you have two monads both lacking a transformer, there is little you can do in general. However, you can compose them in a coproduct construction. The PlusMonad module implements a similar plan, but differs from coproducts in that it doesn't compress together contiguous uses of a monad.

Modules

[Index]

Downloads

• MonadCompose-0.7.0.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• JamesCandy

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates