Some types that form a Monad, are also capable of forming an Applicative that supports parallel composition. The Parallel type class allows us to represent this relationship.
Some types that form a Monad, are also capable of forming an Applicative that supports parallel composition. The Parallel type class allows us to represent this relationship.
- Companion
- object
Type members
Inherited types
Value members
Abstract methods
Concrete methods
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 methods
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
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
Natural Transformation from the sequential FlatMap M[_] to the parallel Apply F[_].
Natural Transformation from the sequential FlatMap M[_] to the parallel Apply F[_].
- Inherited from
- NonEmptyParallel
Natural Transformation from the parallel Apply F[_] to the sequential FlatMap M[_].
Natural Transformation from the parallel Apply F[_] to the sequential FlatMap M[_].
- Inherited from
- NonEmptyParallel