ThoughtWorksInc/Binding.scala/com.thoughtworks.binding/CovariantStreamT

CovariantStreamT

object CovariantStreamT
class Object
trait Matchable
class Any

Type members

Types

final
type Done >: (Done) <: (Done)
final
type Skip >: (Skip) <: (Skip)
final
type Step >: (Step) <: (Step)
final
type Yield >: (Yield) <: (Yield)

Value members

Concrete methods

def apply[M[_], A]: StreamT[M, A] =:= CovariantStreamT[M, A]
def mergeAll[M[_], A](streams: Iterable[CovariantStreamT[M, A]])(using Nondeterminism[M]): CovariantStreamT[M, A]
def pure[M[_], A](a: A)(using Applicative[M]): StreamT[M, A]

Givens

Givens

given Monad_CovariantStreamT[M[_]](using val M: Nondeterminism[M]): Monad[[X] =>> CovariantStreamT[M, X]]
given OneStep_M_CovariantStreamT: Lift[From, To]

Extensions

Extensions

extension [M[_], A](binding: CovariantStreamT[M, A])
def collect[B](pf: PartialFunction[A, B])(using M: Functor[M]): CovariantStreamT[M, B]
def mergeWith(that: CovariantStreamT[M, A])(using Nondeterminism[M]): CovariantStreamT[M, A]
extension [M[_], A](fa: StreamT[M, A])
final
def flatMapLatest[B](f: A => StreamT[M, B])(implicit M: Nondeterminism[M]): StreamT[M, B]
final
def scan[B >: A](op: (B, B) => B)(implicit M: Functor[M]): StreamT[M, B]
final
def scanLeft[B](head: B)(op: (B, A) => B)(implicit M: Applicative[M]): StreamT[M, B]

Implicits

Implicits

final implicit
def StreamTHoist: StreamTHoist
Exported from StreamT.StreamTHoist

Exports

Defined exports

final
def Done: Done
Exported from StreamT.Done
final
def Skip: Skip
Exported from StreamT.Skip
final
def Yield: Yield
Exported from StreamT.Yield