monadbi: Extract underlying monads from monad transformers

[ control, deprecated, library ] [ Propose Tags ]

Deprecated

This module provides a Class called MonadBi which acts as a superset of MonadTrans, and provides raise analogous to lift, i.e. lifts underlying monads into the transformer. It also provides lower which is the opposite of lift, and extracts underlying monads from monad transformers. Generally speaking, MonadBi represents the relationship between monads that can be transformed into each other (atleast partially). Natural instances are provided for many Monad Transformers.

[Skip to Readme]

Modules

[Index]

Control
- Monad
  - Control.Monad.Bi

Downloads

monadbi-0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

AnupamJain

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1
Dependencies	base (>=3 && <5), mtl [details]
License	LicenseRef-GPL
Author	Anupam Jain
Maintainer	ajnsit@gmail.com
Category	Control
Home page	https://github.com/ajnsit/monadbi
Source repo	head: git clone http://github.com/ajnsit/monadbi this: git clone http://github.com/ajnsit/monadbi/tree/v0.1(tag v0.1)
Uploaded	by AnupamJain at 2011-09-22T05:31:52Z
Distributions	NixOS:0.1
Reverse Dependencies	2 direct, 0 indirect [details]
Downloads	1206 total (5 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]

Readme for monadbi-0.1

[back to package description]

MonadBi (monadbi-0.1)
============================

This module provides a Class called `MonadBi` which acts as a superset of `MonadTrans`,
and provides `raise` analogous to `lift`, i.e. lifts underlying monads into the transformer.
It also provides `lower` which is the opposite of `lift`, and extracts underlying monads
from monad transformers.

Generally speaking, MonadBi represents the relationship between monads that can be
transformed into each other (atleast partially).

Natural instances are provided for many Monad Transformers.


Changelog
=========

0.1 : Intial release