safer-file-handles: Type-safe file handling

[ bsd3, library, monadic-regions, system ] [ Propose Tags ]
Versions 0.1, 0.2,, 0.3,, 0.4, 0.5, 0.6, 0.6.1, 0.7, 0.8, 0.9, 0.10,, 0.11
Dependencies base (>=4 && <4.3), base‑unicode‑symbols (>=0.1.1 && <0.3), explicit‑iomodes (==0.5.*), MonadCatchIO‑transformers (==0.2.*), pathtype (>=0.0.1 && <0.6), regional‑pointers (==0.4.*), regions (>=0.6 && <0.8), transformers (==0.2.*) [details]
License BSD-3-Clause
Copyright 2010 Bas van Dijk
Author Bas van Dijk
Maintainer Bas van Dijk <>
Category System, Monadic Regions
Source repo head: darcs get
Uploaded by BasVanDijk at Sat Sep 11 14:18:20 UTC 2010
Distributions NixOS:0.11
Downloads 4738 total (42 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

This package adds three safety features on top of the regular System.IO file handles and operations:

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

This technique is implemented in the regions package which is re-exported from safer-file-handles.

See the safer-file-handles-examples package for examples how to use this package:

darcs get

See the safer-file-handles-bytestring/text package for ByteString/Text operations on regional file handles.




Maintainer's Corner

For package maintainers and hackage trustees