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.
Attributes
- Companion
- object
- Source
- Parallel.scala
- Graph
-
- Supertypes
Members list
Type members
Inherited and Abstract types
Attributes
- Inherited from:
- NonEmptyParallel
- Source
- Parallel.scala
Value members
Abstract methods
The applicative instance for F[_]
The monad instance for M[_]
Concrete methods
Provides an ApplicativeError[F, E] instance for any F, that has a Parallel.Aux[M, F] and a MonadError[M, E] instance.
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].
Attributes
- Source
- Parallel.scala
The Apply instance for F[_]
The FlatMap instance for M[_]
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.
Attributes
- Inherited from:
- NonEmptyParallel
- Source
- Parallel.scala
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.
Attributes
- Inherited from:
- NonEmptyParallel
- Source
- Parallel.scala
Inherited and Abstract methods
Natural Transformation from the sequential FlatMap M[_] to the parallel Apply F[_].
Natural Transformation from the sequential FlatMap M[_] to the parallel Apply F[_].
Attributes
- Inherited from:
- NonEmptyParallel
- Source
- Parallel.scala
Natural Transformation from the parallel Apply F[_] to the sequential FlatMap M[_].
Natural Transformation from the parallel Apply F[_] to the sequential FlatMap M[_].
Attributes
- Inherited from:
- NonEmptyParallel
- Source
- Parallel.scala