scalaz-core/scalaz/IsomorphismZip

IsomorphismZip

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

Type members

Inherited classlikes

trait ZipLaw
Inherited from
Zip

Value members

Abstract methods

def iso: IsoFunctor[F, G]

Concrete methods

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

Inherited methods

def ap(implicit F: Functor[F]): Apply[F]
Inherited from
Zip
def apzip[A, B](f: => F[A] => F[B], a: => F[A]): F[(A, B)]
Inherited from
Zip
def apzipPL[A, B](f: => PLens[F[A], F[B]], a: => F[A])(implicit M: Monoid[F[B]]): F[(A, B)]
Inherited from
Zip
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)

Inherited from
Zip
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

Inherited from
Zip
def zipLaw: ZipLaw
Inherited from
Zip
def zipWith[A, B, C](fa: => F[A], fb: => F[B])(f: (A, B) => C)(implicit F: Functor[F]): F[C]
Inherited from
Zip

Inherited fields

val zipSyntax: ZipSyntax[F]
Inherited from
Zip

Implicits

Implicits

implicit
def G: Zip[G]