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

CovariantStreamT

object CovariantStreamT
class Object
trait Matchable
class Any

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]