Description
Supports the automatic undoing of IO operations when an exception is thrown.
Description
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.