Tuple
extends Object with SerializableSupertypes
Object, SerializableMembers
Concat
= FIXME: MatchType supportType of the concatenation of two tuples
Type of the concatenation of two tuples
Drop
= FIXME: MatchType supportTransforms a tuple (T1, ..., Tn) into (Ti+1, ..., Tn).
Transforms a tuple (T1, ..., Tn) into (Ti+1, ..., Tn).
Elem
= FIXME: MatchType supportType of the element a position N in the tuple X
Type of the element a position N in the tuple X
Head
= FIXME: MatchType supportType of the head of a tuple
Type of the head of a tuple
InverseMap
= FIXME: MatchType supportConverts a tuple (F[T1], ..., F[Tn]) to (T1, ... Tn)
Converts a tuple (F[T1], ..., F[Tn]) to (T1, ... Tn)
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].
Map
= FIXME: MatchType supportConverts a tuple (T1, ..., Tn) to (F[T1], ..., F[Tn])
Converts a tuple (T1, ..., Tn) to (F[T1], ..., F[Tn])
Size
= FIXME: MatchType supportLiteral constant Int size of a tuple
Literal constant Int size of a tuple
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).
Tail
= FIXME: MatchType supportType of the tail of a tuple
Type of the tail of a tuple
Take
= FIXME: MatchType supportTransforms a tuple (T1, ..., Tn) into (T1, ..., Ti).
Transforms a tuple (T1, ..., Tn) into (T1, ..., Ti).
Zip
= FIXME: MatchType supportGiven two tuples, A1 *: ... *: An * At and B1 *: ... *: Bn *: Bt
where at least one of At or Bt is Unit 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 Unit or Tuple,
returns the tuple type (A1, B1) *: ... *: (An, Bn) *: Ct
where Ct is Unit if At or Bt is Unit, otherwise Ct is Tuple.
fromArray
[T] ( xs: Array[T] ) : TupleConvert an array into a tuple of unknown arity and types
Convert an array into a tuple of unknown arity and types
fromIArray
[T] ( xs: IArray[T] ) : TupleConvert an immutable array into a tuple of unknown arity and types
Convert an immutable array into a tuple of unknown arity and types
fromProduct
( product: Product ) : TupleConvert a Product into a tuple of unknown arity and types
Convert a Product into a tuple of unknown arity and types