regions: Provides the region monad for safely opening and working with scarce resources.

[ bsd3, control, library, monadic-regions ] [ Propose Tags ]

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. See:

http://okmij.org/ftp/Haskell/regions.html#light-weight

This package provides two modules:

  • Control.Monad.Trans.Region.Internal should only be used by library authors wishing to allow their users to open their type of resources in a region. It should not be used by end-users directly!

  • Control.Monad.Trans.Region provides the public and safe interface to regions which can be used by end-users.

Also see the regions-monadsfd and regions-monadstf packages which provide instances for the classes in the respected monads packages.

For an example of how to use this library see the usb-safe package.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.1.0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.6.0.1, 0.7, 0.7.0.1, 0.8, 0.8.1, 0.9, 0.10, 0.11
Dependencies base (>=4 && <4.2), MonadCatchIO-transformers (>=0.0.2 && <0.0.3), transformers (>=0.1.4 && <0.2), unicode-symbols (>=0.1 && <0.2) [details]
License BSD-3-Clause
Copyright 2009 Bas van Dijk
Author Bas van Dijk
Maintainer Bas van Dijk <v.dijk.bas@gmail.com>
Category Control
Source repo head: darcs get http://code.haskell.org/~basvandijk/code/regions
Uploaded by BasVanDijk at 2009-12-21T09:46:51Z
Distributions
Reverse Dependencies 10 direct, 0 indirect [details]
Downloads 12165 total (36 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]