Packages

c

zio.prelude.AssociativeEitherSyntax

AssociativeEitherContravariantOps

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

Provides infix syntax for associative operations for contravariant types.

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

Instance Constructors

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

Value Members

  1. def eitherWith[B, C](fb: => F[B])(f: (C) => Either[A, B])(implicit either: AssociativeEither[F], contravariant: Contravariant[F]): F[C]

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