monix-bio/monix.bio.instances/CatsParallelForTask

CatsParallelForTask

class CatsParallelForTask[E] extends Parallel[[_] =>> IO[E, _$1]]

cats.Parallel type class instance for IO.

cats.Parallel type class instance for IO.

A cats.Parallel instances means that Task can be used for processing tasks in parallel (with non-deterministic effects ordering).

References:

trait Parallel[[_] =>> IO[E, _$1]]
trait NonEmptyParallel[[_] =>> IO[E, _$1]]
trait Serializable
class Object
trait Matchable
class Any

Type members

Types

override type F[A] = Type[E, A]

Value members

Inherited methods

def applicativeError[E](E: MonadError[[_] =>> IO[E, _$1], E]): ApplicativeError[F, E]

Provides an ApplicativeError[F, E] instance for any F, that has a Parallel.Aux[M, F] and a MonadError[M, E] instance. I.e. if you have a type M[_], that supports parallel composition through type F[_], then you can get ApplicativeError[F, E] from MonadError[M, E].

Provides an ApplicativeError[F, E] instance for any F, that has a Parallel.Aux[M, F] and a MonadError[M, E] instance. I.e. if you have a type M[_], that supports parallel composition through type F[_], then you can get ApplicativeError[F, E] from MonadError[M, E].

Inherited from
Parallel
override def apply: Apply[F]
Definition Classes
Parallel -> NonEmptyParallel
Inherited from
Parallel
override def flatMap: FlatMap[[_] =>> IO[E, _$1]]
Definition Classes
Parallel -> NonEmptyParallel
Inherited from
Parallel
def parProductL[A, B](ma: IO[E, A])(mb: IO[E, B]): IO[E, A]

Like Apply.productL, but uses the apply instance corresponding to the Parallel instance instead.

Like Apply.productL, but uses the apply instance corresponding to the Parallel instance instead.

Inherited from
NonEmptyParallel
def parProductR[A, B](ma: IO[E, A])(mb: IO[E, B]): IO[E, B]

Like Apply.productR, but uses the apply instance corresponding to the Parallel instance instead.

Like Apply.productR, but uses the apply instance corresponding to the Parallel instance instead.

Inherited from
NonEmptyParallel

Concrete fields

override val applicative: CommutativeApplicative[[_] =>> Type[E, _$2]]
override val monad: Monad[[_] =>> IO[E, _$3]]
override val parallel: FunctionK[[_] =>> IO[E, _$8], [_] =>> Type[E, _$9]]
override val sequential: FunctionK[[_] =>> Type[E, _$4], [_] =>> IO[E, _$5]]