package stream
- Alphabetic
- Public
- All
Type Members
-
trait
Sink[-R, +E, +A0, -A, +B] extends AnyRef
A
Sink[E, A0, A, B]consumes values of typeA, ultimately producing either an error of typeE, or a value of typeBtogether with a remainder of typeA0.A
Sink[E, A0, A, B]consumes values of typeA, ultimately producing either an error of typeE, or a value of typeBtogether with a remainder of typeA0.Sinks form monads and combine in the usual ways.
- trait SinkPure[+E, +A0, -A, +B] extends Sink[Any, E, A0, A, B]
-
trait
Stream[-R, +E, +A] extends Serializable
A
Stream[E, A]represents an effectful stream that can produce values of typeA, or potentially fail with a value of typeE.A
Stream[E, A]represents an effectful stream that can produce values of typeA, or potentially fail with a value of typeE.Streams have a very similar API to Scala collections, making them immediately familiar to most developers. Unlike Scala collections, streams can be used on effectful streams of data, such as HTTP connections, files, and so forth.
Streams do not leak resources. This guarantee holds in the presence of early termination (not all of a stream is consumed), failure, or even interruption.
Thanks to only first-order types, appropriate variance annotations, and specialized effect type (ZIO), streams feature extremely good type inference and should almost never require specification of any type parameters.
- trait StreamChunk[-R, +E, +A] extends AnyRef
-
sealed
trait
Take[+E, +A] extends AnyRef
A
Take[E, A]represents a singletakefrom a queue modeling a stream of values.A
Take[E, A]represents a singletakefrom a queue modeling a stream of values. ATakemay be a failure valueE, an element valueA, or end-of- stream marker.
Value Members
- object Sink
- object Stream extends Serializable
- object StreamChunk
- object StreamChunkPure extends Serializable
- object Take