object
syntax
Type Members
-
-
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Contains syntax for F[Streaming[F, A]].
To eanble this, say:
import cats.data.StreamingT.syntax._
This provides the %:: and %::: operators for prepending to an F[Streaming[F, A]] value, as well as a lazy Streaming[F, A] value. This mirrors the methods of the same name which can be used to prepend to a Streaming[F, A] value.
In order to support laziness when using F[Streaming[F, A]] values, the type constructor F[_] must support laziness, and the F[Streaming[F, A]] value must be constructed lazily.
For example,
StreamingT[Option, ?]
cannot support laziness, because Option[_] is eager.Additionally,
x %:: Future.successful(xs)
will not produce a lazy StreamT[Future, ?], sincexs
will already have been evaluated.