libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.lambda/Tupled/Zip

Zip

libretto.lambda.Tupled$.Zip
case class Zip[|*|[_, _], F[_], X, Y](_1: Tupled[|*|, F, X], _2: Tupled[|*|, F, Y]) extends Tupled[|*|, F, X |*| Y]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Tupled[|*|, F, X |*| Y]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Inherited methods

def fold(zip: [x, y] => (x$1: F[x], x$2: F[y]) => F[x |*| y]): F[A]

Attributes

Inherited from:
Tupled
def isEqualTo(that: Tupled[|*|, F, X |*| Y])(equal: [X] => (x$1: F[X], x$2: F[X]) => Boolean): Boolean

Attributes

Inherited from:
Tupled
def mapReduce[G[_]](map: [x] => (x$1: F[x]) => G[x], zip: [x, y] => (x$1: G[x], x$2: G[y]) => G[x |*| y]): G[A]

Attributes

Inherited from:
Tupled
def mapReduce0[B](map: [x] => (x$1: F[x]) => B, reduce: (B, B) => B): B

Attributes

Inherited from:
Tupled
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def trans[G[_]](f: [x] => (x$1: F[x]) => G[x]): Tupled[|*|, G, A]

Attributes

Inherited from:
Tupled
def zip[B](that: Tupled[|*|, F, B]): Tupled[|*|, F, A |*| B]

Attributes

Inherited from:
Tupled
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL