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.
The applicative instance for F[_]
The monad instance for M[_]
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].
The Apply instance for F[_]
The FlatMap instance for M[_]
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.
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.
Natural Transformation from the sequential FlatMap M[_] to the parallel Apply F[_].
Natural Transformation from the sequential FlatMap M[_] to the parallel Apply F[_].
Natural Transformation from the parallel Apply F[_] to the sequential FlatMap M[_].
Natural Transformation from the parallel Apply F[_] to the sequential FlatMap M[_].