StreamPullOps

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.

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.