Provides privilege separated versions of the concurrency primitives.
|Latest on Hackage:||0.6|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
MVar or other concurrency primitive can be read by or written to any
function which recieves it as a value. This package provides read-only and
write-only versions of
Functions which use these versions receive permission to read, write, or
both based on their type signatures.
Write-only types are no longer
Eq, but are now contravariant functors.
Read-only types are no longer
Eq, but are now functors.
Functions are low lifted to
- Initial version with read-only and write-only versions of