Documentation

The Resource effect. This effect keeps track of all registered actions, and calls them upon exit (via runResource). Actions may be registered via register, or resources may be allocated atomically via allocate. allocate corresponds closely to bracket.

Releasing may be performed before exit via the release function. This is a highly recommended optimization, as it will ensure that scarce resources are freed early. Note that calling release will deregister the action, so that a release action will only ever be called once.

A resource's state. Type parameter m is the Monad the resource deallocation will run in.

A lookup key for a specific release action. This value is returned by register and allocate, and is passed to release.

Unwrap a Resource effect, and call all registered release actions.

Perform some allocation, and automatically register a cleanup action.

Register some action that will be called precisely once, either when runResource is called or when the ReleaseKey is passed to release.

Call a release action early, and deregister it from the list of cleanup actions to be performed.

Unprotect resource from cleanup actions, this allowes you to send resource into another resourcet process and reregister it there.

It returns an release action that should be run in order to clean resource or Nothing in case if resource is already freed.