libretto/libretto.impl/Tupled

Tupled

object Tupled
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

case
class Single[|*|[_, _], F[_], A](v: F[A]) extends Tupled[|*|, F, A]
case
class Zip[|*|[_, _], F[_], X, Y](_1: Tupled[|*|, F, X], _2: Tupled[|*|, F, Y]) extends Tupled[|*|, F, X |*| Y]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def unzip[|*|[_, _], F[_], A, B](ab: Tupled[|*|, F, |*|[A, B]]): Option[(Tupled[|*|, F, A], Tupled[|*|, F, B])]