iotransaction

This module provides facilities for building transactions out of IO actions in such a way that, if one IO action in a transaction throws an exception, the effects of previous actions will be undone.