The usb-safe package

[Tags: bsd3, library]

The usb library provides a standard Haskell abstraction layer over bindings-libusb providing: abstract types instead of Ptrs, automatic marshalling and unmarshalling, automatic garbage collection, exceptions instead of integer return codes, etc..

While all that is very nice there are still some things that you can do wrong. For example doing I/O with a closed device or reading from or writing to an endpoint which doesn't belong to the claimed interface. Or reading from an Out endpoint or writing to an In endpoint.

usb-safe provides the following guarantees:

The primary technique used in usb-safe 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 usb-safe.

See the usb-safe-examples package for examples how to use this library:

darcs get


Versions0.1, 0.2, 0.3, 0.4, 0.4.1, 0.5, 0.5.1,, 0.6, 0.7, 0.8, 0.9, 0.10, 0.11,,, 0.12, 0.13, 0.14
Change logNone available
Dependenciesbase (>=4 && <4.3), base-unicode-symbols (>=0.1.1 && <0.2), bytestring (==0.9.*), MonadCatchIO-transformers (==0.0.2.*), regions (==0.3.*), transformers (>=0.1.4 && <0.2), usb (==0.3.*) [details]
Copyright2009 Bas van Dijk
AuthorBas van Dijk
MaintainerBas van Dijk <>
CategorySystem, Monadic Regions
Source repositoryhead: darcs get
UploadedSat Jan 23 14:25:41 UTC 2010 by BasVanDijk
Downloads2574 total (145 in last 30 days)
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees