c

zio.prelude.AssociativeBothSyntax

AssociativeBothCovariantOps

implicit class AssociativeBothCovariantOps[F[+_], A] extends AnyRef

Provides infix syntax for associative operations for covariant types.

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

Instance Constructors

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

Value Members

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

    A symbolic alias for zipRight.

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

    A symbolic alias for zipLeft.

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

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

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

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

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