c

zio.prelude.AssociativeBothSyntax

AssociativeBothContravariantOps

implicit class AssociativeBothContravariantOps[F[-_], A] extends AnyRef

Provides infix syntax for associative operations for contravariant types.

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AssociativeBothContravariantOps
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new AssociativeBothContravariantOps(fa: => F[A])

Value Members

  1. 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.