Zip

trait Zip[F[_]]
Companion
object
class Object
trait Matchable
class Any
trait IsomorphismZip[F, G]
Zip[F]

Type members

Classlikes

trait ZipLaw

Value members

Abstract methods

def zip[A, B](a: => F[A], b: => F[B]): F[(A, B)]

Concrete methods

def ap(implicit F: Functor[F]): Apply[F]
def apzip[A, B](f: => F[A] => F[B], a: => F[A]): F[(A, B)]
def apzipPL[A, B](f: => PLens[F[A], F[B]], a: => F[A])(implicit M: Monoid[F[B]]): F[(A, B)]
def compose[G[_]](implicit T0: Functor[F], G0: Zip[G]): Zip[[α] =>> F[G[α]]]

The composition of Zip F and G, [x]F[G[x]], is a Zip (if F is a Functor)

The composition of Zip F and G, [x]F[G[x]], is a Zip (if F is a Functor)

def product[G[_]](implicit G0: Zip[G]): Zip[[α] =>> (F[α], G[α])]

The product of Zips F and G, [x](F[x], G[x]]), is a Zip

The product of Zips F and G, [x](F[x], G[x]]), is a Zip

def zipWith[A, B, C](fa: => F[A], fb: => F[B])(f: (A, B) => C)(implicit F: Functor[F]): F[C]

Concrete fields