T
- Data type stored within the Streampublic static interface Streams.StreamKind<T> extends Higher<Witness.stream,T>, java.util.stream.Stream<T>
Modifier and Type | Interface and Description |
---|---|
static class |
Streams.StreamKind.Box<T> |
Modifier and Type | Method and Description |
---|---|
static <T> java.util.stream.Stream<T> |
narrow(Higher<Witness.stream,T> stream)
Convert the HigherKindedType definition for a Stream into
|
static <T> Streams.StreamKind<T> |
narrowK(Higher<Witness.stream,T> stream)
Convert the raw Higher Kinded Type for Stream types into the StreamKind type definition class
|
static <T> Streams.StreamKind<T> |
of(T... elements) |
static <T> Streams.StreamKind<T> |
widen(java.util.stream.Stream<T> stream)
Convert a Stream to a simulated HigherKindedType that captures Stream nature
and Stream element data type separately.
|
static <C2,T> Higher<C2,Higher<Witness.stream,T>> |
widen2(Higher<C2,Streams.StreamKind<T>> stream)
Widen a StreamKind nested inside another HKT encoded type
|
allMatch, anyMatch, builder, collect, collect, concat, count, distinct, empty, filter, findAny, findFirst, flatMap, flatMapToDouble, flatMapToInt, flatMapToLong, forEach, forEachOrdered, generate, iterate, limit, map, mapToDouble, mapToInt, mapToLong, max, min, noneMatch, peek, reduce, reduce, reduce, skip, sorted, sorted, toArray, toArray
static <T> Streams.StreamKind<T> of(T... elements)
of
in interface java.util.stream.Stream<T>
static <T> Streams.StreamKind<T> widen(java.util.stream.Stream<T> stream)
Stream
- Stream to widen to a StreamKindstatic <C2,T> Higher<C2,Higher<Witness.stream,T>> widen2(Higher<C2,Streams.StreamKind<T>> stream)
stream
- HTK encoded type containing a Stream to widenstatic <T> Streams.StreamKind<T> narrowK(Higher<Witness.stream,T> stream)
stream
- HKT encoded Stream into a StreamKindstatic <T> java.util.stream.Stream<T> narrow(Higher<Witness.stream,T> stream)
Stream
- Type Constructor to convert back into narrowed type