zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/AssociativeBothSyntax/AssociativeBothContravariantOps

AssociativeBothContravariantOps

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

Provides infix syntax for associative operations for contravariant types.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def bothWith[B, C](fb: => F[B])(f: C => (A, B))(implicit both: AssociativeBoth[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

Generated with