The monad-control package

[Tags: bsd3, library]

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. For convenience, it provides a wrapped version of Control.Exception with types generalized from IO to all monads in MonadControlIO.

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.

The package includes a copy of the monad-peel testsuite written by Anders Kaseorg. The tests can be performed by using cabal test.

The following critertion based benchmark shows that monad-control is on average about 2.5 times faster than monad-peel:


Versions0.1, 0.2,,,, 0.3,, 0.3.1,,,,, 0.3.2,,,,
Dependenciesbase (>=3 && <4.5), base-unicode-symbols (>=0.1.1 && <0.3), transformers (==0.2.*)
Copyright(c) 2011 Bas van Dijk, Anders Kaseorg
AuthorBas van Dijk, Anders Kaseorg
MaintainerBas van Dijk <>
Home page
Bug tracker
Source repositoryhead: git clone git://
Upload dateSat Aug 27 21:18:22 UTC 2011
Uploaded byBasVanDijk
DistributionsDebian:, Fedora:, FreeBSD:, NixOS:
Downloads135653 total (13139 in last 30 days)




Maintainers' corner

For package maintainers and hackage trustees