O object

Tuple

extends Object with Serializable

Supertypes

Object, Serializable

Members

type 

Concat

 = FIXME: MatchType support

Type of the concatenation of two tuples

Type of the concatenation of two tuples

type 

Drop

 = FIXME: MatchType support

Transforms a tuple (T1, ..., Tn) into (Ti+1, ..., Tn).

Transforms a tuple (T1, ..., Tn) into (Ti+1, ..., Tn).

type 

Elem

 = FIXME: MatchType support

Type of the element a position N in the tuple X

Type of the element a position N in the tuple X

type 

Filter

 = FIXME: MatchType support

Filters out those members of the tuple for which the predicate P returns false. A predicate P[X] is a type that can be either true or false. For exampl...

Filters out those members of the tuple for which the predicate P returns false. A predicate P[X] is a type that can be either true or false. For example:

type IsString[x] = x match {
  case String => true
  case _ => false
}
Filter[(1, "foo", 2, "bar"), IsString] =:= ("foo", "bar")
type 

FlatMap

 = FIXME: MatchType support

Converts a tuple (T1, ..., Tn) to a flattened (..F[T1], ..., ..F[Tn])

Converts a tuple (T1, ..., Tn) to a flattened (..F[T1], ..., ..F[Tn])

type 

Fold

 = FIXME: MatchType support

Fold a tuple (T1, ..., Tn) into F[T1, F[... F[Tn, Z]...]]]

Fold a tuple (T1, ..., Tn) into F[T1, F[... F[Tn, Z]...]]]

type 

InverseMap

 = FIXME: MatchType support

Converts a tuple (F[T1], ..., F[Tn]) to (T1, ... Tn)

Converts a tuple (F[T1], ..., F[Tn]) to (T1, ... Tn)

type 

IsMappedBy

 = =:=[X,Map[InverseMap[X,F],F]]

Implicit evidence. IsMappedBy[F][X] is present in the implicit scope iff X is a tuple for which each element's type is constructed via F. E.g. (F[A1], ..., F[An]

Implicit evidence. IsMappedBy[F][X] is present in the implicit scope iff X is a tuple for which each element's type is constructed via F. E.g. (F[A1], ..., F[An]), but not (F[A1], B2, ..., F[An]) where B2 does not have the shape of F[A].

type 

Map

 = FIXME: MatchType support

Converts a tuple (T1, ..., Tn) to (F[T1], ..., F[Tn])

Converts a tuple (T1, ..., Tn) to (F[T1], ..., F[Tn])

type 

Size

 = FIXME: MatchType support

Literal constant Int size of a tuple

Literal constant Int size of a tuple

type 

Split

 = ( Take[T,N], Drop[T,N] )

Splits a tuple (T1, ..., Tn) into a pair of two tuples (T1, ..., Ti) and (Ti+1, ..., Tn).

Splits a tuple (T1, ..., Tn) into a pair of two tuples (T1, ..., Ti) and (Ti+1, ..., Tn).

type 

Tail

 = FIXME: MatchType support

Type of the tail of a tuple

Type of the tail of a tuple

type 

Take

 = FIXME: MatchType support

Transforms a tuple (T1, ..., Tn) into (T1, ..., Ti).

Transforms a tuple (T1, ..., Tn) into (T1, ..., Ti).

type 

Union

 = Fold[T,Nothing,x | y]

Given a tuple (T1, ..., Tn), returns a union of its member types: T1 | ... | Tn. Returns Nothing if the tuple is empty.

Given a tuple (T1, ..., Tn), returns a union of its member types: T1 | ... | Tn. Returns Nothing if the tuple is empty.

type 

Widen

 = FIXME: MatchType support

Use this type to widen a self-type to a tuple. E.g.

Use this type to widen a self-type to a tuple. E.g.

val x: (1, 3) = (1, 3)
val y: Widen[x.type] = x
type 

Zip

 = FIXME: MatchType support

Given two tuples, A1 *: ... *: An * At and B1 *: ... *: Bn *: Bt where at least one of At or Bt is EmptyTuple or Tuple, returns the tuple type (A1, B1)...

Given two tuples, A1 *: ... *: An * At and B1 *: ... *: Bn *: Bt where at least one of At or Bt is EmptyTuple or Tuple, returns the tuple type (A1, B1) *: ... *: (An, Bn) *: Ct where Ct is EmptyTuple if At or Bt is EmptyTuple, otherwise Ct is Tuple.

def 

apply

( ) : EmptyTuple

Empty tuple

Empty tuple

def 

apply

[T] ( x: T ) : *:[T,EmptyTuple]

Tuple with one element

Tuple with one element

def 

fromArray

[T] ( xs: Array[T] ) : Tuple

Convert an array into a tuple of unknown arity and types

Convert an array into a tuple of unknown arity and types

def 

fromIArray

[T] ( xs: IArray[T] ) : Tuple

Convert an immutable array into a tuple of unknown arity and types

Convert an immutable array into a tuple of unknown arity and types

def 

fromProduct

( product: Product ) : Tuple

Convert a Product into a tuple of unknown arity and types

Convert a Product into a tuple of unknown arity and types

def 

fromProductTyped

[P] ( p: P ) ( implicit  m: ProductOf[P] ) :

def 

unapply

( x: EmptyTuple ) : true

Matches an empty tuple.

Matches an empty tuple.