Result of acquireCancellable
.
Acquire a resource within a Pull
.
Acquire a resource within a Pull
. The cleanup action will be run at the end
of the .stream
scope which executes the returned Pull
. The acquired
resource is returned as the result value of the pull.
Like acquire but the result value consists of a cancellation pull and the acquired resource.
Like acquire but the result value consists 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.
Like eval but if the effectful value fails, the exception is returned in a Left
instead of failing the pull.
Implicitly covaries a pull.
The completed Pull
.
The completed Pull
. Reads and outputs nothing.
Evaluates the supplied effectful value and returns the result as the resource of the returned pull.
Repeatedly uses the output of the pull as input for the next step of the pull.
Repeatedly uses the output of the pull as input for the next step of the pull.
Halts when a step terminates with None
or Pull.raiseError
.
Ouptuts a segment of values.
Ouptuts a single value.
Ouptuts a chunk of values.
Pull that outputs nothing and has result of r
.
Reads and outputs nothing, and fails with the given error.
Pull that outputs the specified segment and returns the result of the segment as the result of the pull.
Pull that outputs the specified segment and returns the result of the segment as the result of the pull. Less efficient than output.
Returns a pull that evaluates the supplied by-name each time the pull is used, allowing use of a mutable value in pull computations.
Sync
instance for Stream
.