Provides the region monad for safely opening and working with scarce resources
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Control/Monad/Trans
talks Added Dutch HUG Day 2010 talk May 2, 2010
.authorspellings Added .authorspellings Oct 10, 2010
CONTRIBUTORS Added CONTRIBUTORS file Oct 10, 2010
LICENSE Updated copyrights Sep 22, 2011
NEWS Added 0.9 release to NEWS Mar 9, 2011
README.markdown Added README.markdown Apr 17, 2011
Setup.hs Initial import Dec 20, 2009
regions.cabal Export RegionBaseControl(..) from Unsafe Jun 16, 2014

README.markdown

This package provides the region monad transformer. Scarce resources like files, memory pointers or USB devices for example can be opened in a region. When the region terminates, all opened resources will be automatically closed. The main advantage of regions is that the opened resources can not be returned from the region which ensures no I/O with closed resources is possible.

The primary technique used in this package is called "Lightweight monadic regions" which was invented by Oleg Kiselyov and Chung-chieh Shan.

Also see the regions-mtl and regions-monadstf packages which provide instances for the classes in the respected monad transformers packages.

For an example on how to use this library see the safer-file-handles, usb-safe or regional-pointers packages.