zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/AssociativeEitherSyntax/AssociativeEitherContravariantOps

AssociativeEitherContravariantOps

zio.prelude.AssociativeEitherSyntax.AssociativeEitherContravariantOps
implicit class AssociativeEitherContravariantOps[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 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.

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.

Attributes

Generated with