Acquire a resource within a Pull
.
Acquire a resource within a Pull
. The cleanup action will be run at the end
of the .close
scope which executes the returned Pull
. The acquired
resource is returned as the result value of the pull.
Like acquire but the result value is a tuple consisting of a cancellation pull and the acquired resource.
Like acquire but the result value is a tuple consisting of a cancellation pull and the acquired resource. Running the cancellation pull frees the resource. This allows the acquired resource to be released earlier than at the end of the containing pull scope.
Repeatedly use the output of the Pull
as input for the next step of the pull.
Repeatedly use the output of the Pull
as input for the next step of the pull.
Halts when a step terminates with Pull.done
or Pull.fail
.
Write a Chunk[W]
to the output of this Pull
.
Write a single W
to the output of this Pull
.