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.
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 chunk of values.
Ouptuts a single value.
Pull that outputs nothing and has result of r
.
Reads and outputs nothing, and fails with the given error.
Creates a pull from the supplied segment.
Creates a pull from the supplied segment. The output values of the segment are output from the pull and the result value of the segment is the result of the pull.
The segment is unfolded in chunks of up to the specified size.
segment to lift
max chunk size to emit before yielding execution downstream
max number of times to step the segment while waiting for a chunk to be output; upon reaching this limit, an empty chunk is emitted and execution is yielded downstream
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 Pull
.