monad-control-aligned: Lift control operations, like exception catching, through monad transformers
This package defines the type class MonadBaseControl, a subset of
MonadBase into which generic control operations such as catch can be
lifted from IO or any other base monad. Instances are based on monad
transformers in MonadTransControl, which includes all standard monad
transformers in the transformers library except ContT.
See the lifted-base
package which uses monad-control to lift IO
operations from the base library (like catch or bracket) into any monad
that is an instance of MonadBase or MonadBaseControl.
Note that this package is a rewrite of Anders Kaseorg's monad-peel
library. The main difference is that this package provides CPS style operators
and exploits the RankNTypes and TypeFamilies language extensions to
simplify and speedup most definitions.
[Skip to Readme]
Downloads
- monad-control-aligned-0.0.2.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.0.0, 0.0.1, 0.0.1.1, 0.0.2, 0.0.2.1 |
|---|---|
| Change log | CHANGELOG |
| Dependencies | base (>=4.5 && <5), stm (>=2.3 && <2.6), transformers (>=0.2 && <0.7), transformers-base (>=0.4.6 && <0.5), transformers-compat (>=0.6.1 && <0.8) [details] |
| Tested with | ghc ==7.4.2 || ==7.6.3 || ==7.8.4 || ==7.10.3 || ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.4 || ==9.4.2 |
| License | BSD-3-Clause |
| Copyright | (c) 2011 Bas van Dijk, Anders Kaseorg |
| Author | Bas van Dijk, Anders Kaseorg |
| Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi>, Bas van Dijk <v.dijk.bas@gmail.com> |
| Category | Control |
| Home page | https://github.com/athanclark/monad-control |
| Bug tracker | https://github.com/athanclark/monad-control/issues |
| Source repo | head: git clone git://github.com/athanclark/monad-control.git |
| Uploaded | by athanclark at 2023-10-02T10:10:43Z |
| Distributions | LTSHaskell:0.0.2.1, Stackage:0.0.2.1 |
| Reverse Dependencies | 10 direct, 4 indirect [details] |
| Downloads | 2687 total (20 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2023-10-02 [all 1 reports] |
Readme for monad-control-aligned-0.0.2.1
[back to package description]
This package defines the type class MonadControlIO, a subset of
MonadIO into which generic control operations such as catch can be
lifted from IO. Instances are based on monad transformers in
MonadTransControl, which includes all standard monad transformers in
the transformers library except ContT.
Note that this package is a rewrite of Anders Kaseorg's monad-peel
library. The main difference is that this package provides CPS style
operators and exploits the RankNTypes language extension to simplify
most definitions.
This criterion
based benchmark shows that monad-control is on average about 2.5
times faster than monad-peel.