StreamPullOps
Value members
Concrete methods
Interprets this pull to produce a stream. This method introduces a resource scope, to ensure any resources acquired by this pull are released in due course, even if the resulting stream does not terminate successfully.
Interprets this pull to produce a stream. This method introduces a resource scope, to ensure any resources acquired by this pull are released in due course, even if the resulting stream does not terminate successfully.
May only be called on pulls which return a Unit result type. Use
p.void.stream to explicitly ignore the result type of the pull.
Interpret this Pull to produce a Stream without introducing a scope.
Interpret this Pull to produce a Stream without introducing a scope.
Only use this if you know a scope is not needed. Scope introduction is
generally harmless and the risk of not introducing a scope is a memory leak in streams that otherwise would execute in constant memory.
May only be called on pulls whose result type is Unit.
Use p.void.stream to explicitly ignore the result of a pull.