The Scoped monad that provides the possibility to safely scope the allocation of a resource

It is used to abstract over all of the CPS style withSomething functions, like withFile

Be sure to properly mask handlers if you are using UnsafeMkScoped. Use safe helper functions like registerHandler or bracketScoped where possible.

A scoped resource with token s belonging to a Scoped block with the same token.

If you are creating a ScopedResource, make sure the resource is deallocated properly when the Scoped block is exited.

Run a Scoped block safely, making sure that none of the safely allocated resources can escape it, using the same trick as ST

All of the allocated resources will live until the end of the block is reached

Run a handler masked for async exception when the Scoped block ends

You can register a handler wherever in your Scoped block you want, but it will nonetheless be run in reverse order that the handlers have been registered, after the scoped block's actions have been finished

Just like Async but bound to a Scoped block

Run an IO action asynchronously in a Scoped block. When the Scoped block ends, the Async is cancelled

Like async but uses forkOS internally

Wait for the ScopedAsync to finish immediately

Like wait but return either Left SomeException or Right a

Like wait but wait as part of the handlers of the Scoped block

Like waitCatch but wait as part of the handlers of the Scoped block

Just like Handle but bound to a Scoped block

Given a FilePath, safely allocates and deallocates a ScopedHandle in a Scoped block

See openFile

Like hPutStrLn but for ScopedHandle

Like hPutStr but for ScopedHandle

Like hGetLine but for ScopedHandle

Like hGetContents but for ScopedHandle

Like withTempFile but for Scoped

Like withSystemTempFile but for Scoped