Lift control operations, like exception catching, through monad transformers
Haskell Nix
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
.gitignore Added .gitignore Aug 2, 2014
CHANGELOG Reordering & updated CHANGELOG Apr 5, 2016
default.nix Add .nix files Dec 12, 2014
monad-control.cabal Merge branch 'ghc-8' of Apr 5, 2016


Hackage Build Status

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.

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

This criterion based benchmark shows that monad-control is on average about 2.5 times faster than monad-peel.