Class PaginedDoubleStream

All Implemented Interfaces:
AutoCloseable, BaseStream<Double,DoubleStream>, DoubleStream

public final class PaginedDoubleStream extends DoubleStreamWrapper
A stream on which skip and limit operations are delegated to a root stream. This is useful when the root stream is capable of some optimizations, for example using SQL. The redirection stops as soon as an operation may change the elements order or filtering.
Since:
1.1
Version:
1.1