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

AssociativeBothCovariantOps

zio.prelude.AssociativeBothSyntax.AssociativeBothCovariantOps
implicit class AssociativeBothCovariantOps[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 *>[B](fb: => F[B])(implicit both: AssociativeBoth[F], covariant: Covariant[F]): F[B]

A symbolic alias for zipRight.

A symbolic alias for zipRight.

Attributes

def <*[B](fb: => F[B])(implicit both: AssociativeBoth[F], covariant: Covariant[F]): F[A]

A symbolic alias for zipLeft.

A symbolic alias for zipLeft.

Attributes

def forever(implicit both: AssociativeBoth[F], covariant: Covariant[F]): F[A]

Combines an F[A] value with itself using zipRight forever.

Combines an F[A] value with itself using zipRight forever.

Attributes

def zipLeft[B](fb: => F[B])(implicit both: AssociativeBoth[F], covariant: Covariant[F]): F[A]

Combines two values of types F[A] and F[B] to produce an F[(A, B)], keeping only the left value.

Combines two values of types F[A] and F[B] to produce an F[(A, B)], keeping only the left value.

Attributes

def zipRight[B](fb: => F[B])(implicit both: AssociativeBoth[F], covariant: Covariant[F]): F[B]

Combines two values of types F[A] and F[B] to produce an F[(A, B)], keeping only the right value.

Combines two values of types F[A] and F[B] to produce an F[(A, B)], keeping only the right value.

Attributes

def zipWith[B, C](fb: => F[B])(f: (A, B) => C)(implicit both: AssociativeBoth[F], covariant: Covariant[F]): F[C]

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

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

Attributes

Generated with