ThoughtWorksInc/Binding.scala/com.thoughtworks.binding/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 empty[M[_], A](implicit M: Applicative[M]): 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]): CovariantStreamT[M, A]

Givens

Givens

Extensions

Extensions

extension [M[_], A](binding: CovariantStreamT[M, A])
def collect[B](pf: PartialFunction[A, B])(using Functor[M]): CovariantStreamT[M, B]
def filter(p: A => Boolean)(using Functor[M]): CovariantStreamT[M, A]
def flatMapLatest[B](f: A => CovariantStreamT[M, B])(using Nondeterminism[M]): CovariantStreamT[M, B]
def headOption(using Monad[M]): M[Option[A]]
def map[B](f: A => B)(implicit m: Functor[M]): CovariantStreamT[M, B]
def memoize(using Functor[M]): CovariantStreamT[M, A]
def noSkip(using Monad[M]): CovariantStreamT[M, A]
def scanLeft[B](head: B)(op: (B, A) => B)(using Applicative[M]): CovariantStreamT[M, B]
def step: M[Step[A, StreamT[M, A]]]
def toLazyList(using Monad[M]): M[LazyList[A]]
def trans[N[_]](t: NaturalTransformation[M, N])(using Functor[M]): CovariantStreamT[N, A]
extension [A](head: => A)
def #::[A](head: => A)(implicit M: Applicative[M]): CovariantStreamT[M, A]
extension [A](head: A)
def ::[A](head: A)(implicit M: Applicative[M]): CovariantStreamT[M, A]