AssociativeEitherCovariantOps

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

Provides infix syntax for associative operations for covariant types.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def eventually(implicit either: AssociativeEither[F], covariant: Covariant[F]): F[A]

Combines an F[A] value with itself using orElse until it eventually returns the result of the left value without having to evaluate the right value.

Combines an F[A] value with itself using orElse until it eventually returns the result of the left value without having to evaluate the right value.

Attributes

def orElse(fa2: => F[A])(implicit either: AssociativeEither[F], covariant: Covariant[F]): F[A]

Combines two values of types F[A] and F[A] to produce an F[Either[A, A]] and then merges the result.

Combines two values of types F[A] and F[A] to produce an F[Either[A, A]] and then merges the result.

Attributes