Cartesian

libretto.lambda.Cartesian
trait Cartesian[|*|[_, _], F[_]] extends Zippable[|*|, F]

Attributes

Graph
Supertypes
trait Zippable[|*|, F]
class Object
trait Matchable
class Any

Members list

Type members

Classlikes

object Unzip

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Unzip.type

Value members

Abstract methods

def unzip[A, B](fab: F[A |*| B]): (F[A], F[B])

Inherited methods

def zip[A, B](fa: F[A], fb: F[B]): F[A |*| B]

Attributes

Inherited from:
Zippable