Tuple (original) (raw)
An infix shorthand for Concat[X, Y]
An infix shorthand for Concat[X, Y]
Attributes
Source
An infix shorthand for Append[X, Y]
An infix shorthand for Append[X, Y]
Attributes
Source
Type of a tuple with an element appended
Type of a tuple with an element appended
Attributes
Source
Type of the concatenation of two tuples
Type of the concatenation of two tuples
Attributes
Source
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
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
Transforms a tuple (T1, ..., Tn) into (Ti+1, ..., Tn).
Transforms a tuple (T1, ..., Tn) into (Ti+1, ..., Tn).
Attributes
Source
Type of the element at position N in the tuple X
Type of the element at position N in the tuple X
Attributes
Source
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
Converts a tuple (T1, ..., Tn) to a flattened (..F[T1], ..., ..F[Tn])
Converts a tuple (T1, ..., Tn) to a flattened (..F[T1], ..., ..F[Tn])
Attributes
Source
Fold a tuple (T1, ..., Tn) into F[T1, F[... F[Tn, Z]...]]]
Fold a tuple (T1, ..., Tn) into F[T1, F[... F[Tn, Z]...]]]
Attributes
Source
Type of the head of a tuple
Type of the head of a tuple
Attributes
Source
Type of the initial part of the tuple without its last element
Type of the initial part of the tuple without its last element
Attributes
Source
Converts a tuple (F[T1], ..., F[Tn]) to (T1, ... Tn)
Converts a tuple (F[T1], ..., F[Tn]) to (T1, ... Tn)
Attributes
Source
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
Type of the last element of a tuple
Type of the last element of a tuple
Attributes
Source
Converts a tuple (T1, ..., Tn) to (F[T1], ..., F[Tn])
Converts a tuple (T1, ..., Tn) to (F[T1], ..., F[Tn])
Attributes
Source
Type of the reversed tuple
Type of the reversed tuple
Attributes
Source
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
Literal constant Int size of a tuple
Literal constant Int size of a tuple
Attributes
Source
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
Type of the tail of a tuple
Type of the tail of a tuple
Attributes
Source
Transforms a tuple (T1, ..., Tn) into (T1, ..., Ti).
Transforms a tuple (T1, ..., Tn) into (T1, ..., Ti).
Attributes
Source
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
Given two tuples, A1 *: ... *: An * At and B1 *: ... *: Bn *: Bt where at least one of At or Bt is EmptyTuple, returns the tuple type (A1, B1) *: ... *: (An, Bn) *: EmptyTuple.
Given two tuples, A1 *: ... *: An * At and B1 *: ... *: Bn *: Bt where at least one of At or Bt is EmptyTuple, returns the tuple type (A1, B1) *: ... *: (An, Bn) *: EmptyTuple.
Attributes
Source
Convert an array into a tuple of unknown arity and types
Convert an array into a tuple of unknown arity and types
Attributes
Source
Convert an immutable array into a tuple of unknown arity and types
Convert an immutable array into a tuple of unknown arity and types
Attributes
Source
Convert a Product into a tuple of unknown arity and types
Convert a Product into a tuple of unknown arity and types
Attributes
Source