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

Tupled

libretto.lambda.Tupled$
See theTupled companion trait
object Tupled

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Tupled.type

Members list

Concise view

Type members

Classlikes

case class Single[|*|[_, _], F[_], A](v: F[A]) extends Tupled[|*|, F, A]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Tupled[|*|, F, A]
class Object
trait Matchable
class Any
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

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def unzip[|*|[_, _], F[_], A, B](ab: Tupled[|*|, F, |*|[A, B]]): Option[(Tupled[|*|, F, A], Tupled[|*|, F, B])]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL