Attributes
- Companion
- trait
- Source
- Tuple.scala
- Graph
-
- Supertypes
- Self type
-
Tuple.type
Members list
Type members
Types
Type of a tuple with an element appended
Type of the concatenation of two tuples
A type level Boolean indicating whether the tuple X
has an element that matches Y
.
A type level Boolean indicating whether the tuple X
has an element that matches Y
.
Attributes
- Source
- Tuple.scala
A type level Boolean indicating whether the type Y
contains none of the elements of X
.
A type level Boolean indicating whether the type Y
contains none of the elements of X
.
Attributes
- Source
- Tuple.scala
Transforms a tuple (T1, ..., Tn)
into (Ti+1, ..., Tn)
.
Type of the element at position N in the tuple X
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:
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] <: Boolean = x match {
case String => true
case _ => false
}
summon[Tuple.Filter[(1, "foo", 2, "bar"), IsString] =:= ("foo", "bar")]
Attributes
- Source
- Tuple.scala
Converts a tuple (T1, ..., Tn)
to a flattened (..F[T1], ..., ..F[Tn])
Fold a tuple (T1, ..., Tn)
into F[T1, F[... F[Tn, Z]...]]]
Type of the head of a tuple
Type of the initial part of the tuple without its last element
Converts a tuple (F[T1], ..., F[Tn])
to (T1, ... Tn)
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]
.
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]
.
Attributes
- Source
- Tuple.scala
Type of the last element of a tuple
Converts a tuple (T1, ..., Tn)
to (F[T1], ..., F[Tn])
Type of the reversed tuple
Prepends all elements of a tuple in reverse order onto the other tuple
Prepends all elements of a tuple in reverse order onto the other tuple
Attributes
- Source
- Tuple.scala
Literal constant Int size of a tuple
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)
.
Attributes
- Source
- Tuple.scala
Type of the tail of a tuple
Transforms a tuple (T1, ..., Tn)
into (T1, ..., Ti)
.
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.
Attributes
- Source
- Tuple.scala
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
.
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
.
Attributes
- Source
- Tuple.scala
Value members
Concrete methods
Empty tuple
Tuple with one element
Convert an array into a tuple of unknown arity and types
Convert an immutable array into a tuple of unknown arity and types
Convert a Product into a tuple of unknown arity and types
Attributes
- Source
- Tuple.scala
Matches an empty tuple.