Portability | non-portable (uses ghc extensions) |
---|---|
Stability | experimental |
Maintainer | ajnsit@gmail.com |
MonadBi represents the relationship between monads that can be transformed into each other (atleast partially).
MonadBi acts as a superset of MonadTrans, and provides raise
analogous to lift
, which lifts underlying monads
into the transformer. It also provides lower
which is the opposite of lift
, and extracts underlying monads
from monad transformers.
Natural instances are provided for many Monad Transformers.