CommutativeBothContraVariantOps

zio.prelude.CommutativeBothSyntax.CommutativeBothContraVariantOps
implicit class CommutativeBothContraVariantOps[F[_], A](fa: => F[A])

Provides infix syntax for commutative operations for contravariant types.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def bothWithPar[B, C](fb: => F[B])(f: C => (A, B))(implicit both: CommutativeBoth[F], contravariant: Contravariant[F]): F[C]

Combines two values of types F[A] and F[B] to produce an F[(A, B)] and then contramaps the result with the specified function.

Combines two values of types F[A] and F[B] to produce an F[(A, B)] and then contramaps the result with the specified function.

Attributes