Movatterモバイル変換


[0]ホーム

URL:


Scala 3
3.7.4
LearnInstallPlaygroundFind A LibraryCommunityBlog
Scala 3
LearnInstallPlaygroundFind A LibraryCommunityBlog
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
Scala 3/scala/Tuple

Tuple

scala.Tuple
See theTuple companion object
sealedtraitTuple extendsProduct

Tuple of arbitrary arity

Attributes

Companion
object
Source
Tuple.scala
Graph
Supertypes
traitProduct
traitEquals
classObject
traitMatchable
classAny
Known subtypes
objectEmptyTuple
classH*:T

Members list

Value members

Concrete methods

inlinedef*:[H,This >:this.type <:Tuple](x:H):H*:This

Return a new tuple by prepending the element tothis tuple. This operation is O(this.size)

Return a new tuple by prepending the element tothis tuple. This operation is O(this.size)

Attributes

Source
Tuple.scala
inlinedef++[This >:this.type <:Tuple](that:Tuple):Concat[This, that.type]

Return a new tuple by concatenatingthis tuple withthat tuple. This operation is O(this.size + that.size)

Return a new tuple by concatenatingthis tuple withthat tuple. This operation is O(this.size + that.size)

Attributes

Source
Tuple.scala
inlinedef:*[This >:this.type <:Tuple,L](x:L):Append[This,L]

Return a copy ofthis tuple with an element appended

Return a copy ofthis tuple with an element appended

Attributes

Source
Tuple.scala
inlinedefapply[This >:this.type <:Tuple](n:Int):Elem[This, n.type]

Get the i-th element of this tuple. Equivalent to productElement but with a precise return type.

Get the i-th element of this tuple. Equivalent to productElement but with a precise return type.

Attributes

Source
Tuple.scala
inlinedefdrop[This >:this.type <:Tuple](n:Int):Drop[This, n.type]

Given a tuple(a1, ..., am), returns the tuple(an+1, ..., am) consisting all its elements except the first n ones.

Given a tuple(a1, ..., am), returns the tuple(an+1, ..., am) consisting all its elements except the first n ones.

Attributes

Source
Tuple.scala
inlinedefhead[This >:this.type <:Tuple]:Head[This]

Get the head of this tuple

Get the head of this tuple

Attributes

Source
Tuple.scala
inlinedefinit[This >:this.type <:Tuple]:Init[This]

Get the initial part of the tuple without its last element

Get the initial part of the tuple without its last element

Attributes

Source
Tuple.scala
inlinedeflast[This >:this.type <:Tuple]:Last[This]

Get the last of this tuple

Get the last of this tuple

Attributes

Source
Tuple.scala
inlinedefmap[F[_]](f: [t] =>t=>F[t]):Map[this.type,F]

Called on a tuple(a1, ..., an), returns a new tuple(f(a1), ..., f(an)). The result is typed as(F[A1], ..., F[An]) if the tuple type is fully known. If the tuple is of the forma1 *: ... *: Tuple (that is, the tail is not known to be the cons type.

Called on a tuple(a1, ..., an), returns a new tuple(f(a1), ..., f(an)). The result is typed as(F[A1], ..., F[An]) if the tuple type is fully known. If the tuple is of the forma1 *: ... *: Tuple (that is, the tail is not known to be the cons type.

Attributes

Source
Tuple.scala
inlinedefreverse[This >:this.type <:Tuple]:Reverse[This]

Given a tuple(a1, ..., am), returns the reversed tuple(am, ..., a1) consisting all its elements.

Given a tuple(a1, ..., am), returns the reversed tuple(am, ..., a1) consisting all its elements.

Attributes

Source
Tuple.scala
inlinedefsize[This >:this.type <:Tuple]:Size[This]

Return the size (or arity) of the tuple

Return the size (or arity) of the tuple

Attributes

Source
Tuple.scala
inlinedefsplitAt[This >:this.type <:Tuple](n:Int):Split[This, n.type]

Given a tuple(a1, ..., am), returns a pair of the tuple(a1, ..., an) consisting of the first n elements, and the tuple(an+1, ..., am) consisting of the remaining elements.

Given a tuple(a1, ..., am), returns a pair of the tuple(a1, ..., an) consisting of the first n elements, and the tuple(an+1, ..., am) consisting of the remaining elements.

Attributes

Source
Tuple.scala
inlinedeftail[This >:this.type <:Tuple]:Tail[This]

Get the tail of this tuple. This operation is O(this.size)

Get the tail of this tuple. This operation is O(this.size)

Attributes

Source
Tuple.scala
inlinedeftake[This >:this.type <:Tuple](n:Int):Take[This, n.type]

Given a tuple(a1, ..., am), returns the tuple(a1, ..., an) consisting of its first n elements.

Given a tuple(a1, ..., am), returns the tuple(a1, ..., an) consisting of its first n elements.

Attributes

Source
Tuple.scala
inlinedeftoArray:Array[Object]

Create a copy of this tuple as an Array

Create a copy of this tuple as an Array

Attributes

Source
Tuple.scala

Create a copy of this tuple as an IArray

Create a copy of this tuple as an IArray

Attributes

Source
Tuple.scala
inlinedeftoList:List[Union[this.type]]

Create a copy of this tuple as a List

Create a copy of this tuple as a List

Attributes

Source
Tuple.scala
inlinedefzip[This >:this.type <:Tuple,T2 <:Tuple](t2:T2):Zip[This,T2]

Given two tuples,(a1, ..., an) and(b1, ..., bn), returns a tuple((a1, b1), ..., (an, bn)). If the two tuples have different sizes, the extra elements of the larger tuple will be disregarded. The result is typed as((A1, B1), ..., (An, Bn)) if at least one of the tuple types has aEmptyTuple tail. Otherwise the result type is(A1, B1) *: ... *: (Ai, Bi) *: Tuple

Given two tuples,(a1, ..., an) and(b1, ..., bn), returns a tuple((a1, b1), ..., (an, bn)). If the two tuples have different sizes, the extra elements of the larger tuple will be disregarded. The result is typed as((A1, B1), ..., (An, Bn)) if at least one of the tuple types has aEmptyTuple tail. Otherwise the result type is(A1, B1) *: ... *: (Ai, Bi) *: Tuple

Attributes

Source
Tuple.scala

Inherited methods

The name of the nth element of this product, 0-based.

The name of the nth element of this product, 0-based. In the default implementation, an empty string.

Value parameters

n

the index of the element name to return

Attributes

Returns

the name of the specified element

Throws

IndexOutOfBoundsExceptionif then is out of range(n < 0 || n >= productArity).

Inherited from:
Product
Source
Product.scala

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
Source
Product.scala

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, anIterator[Any]

Inherited from:
Product
Source
Product.scala

A string used in thetoString methods of derived classes.

A string used in thetoString methods of derived classes. Implementations may override this method to prepend a string prefix to the result oftoString methods.

Attributes

Returns

in the default implementation, the empty string

Inherited from:
Product
Source
Product.scala

Inherited and Abstract methods

Checks whether this instance can possibly equalthat.

Checks whether this instance can possibly equalthat.

A method that should be called from every well-designed equals method that is open to be overridden in a subclass. SeeProgramming in Scala, Chapter 28 for discussion and design.

Value parameters

that

the value being probed for possible equality

Attributes

Returns

true if this instance can possibly equalthat, otherwise false

Inherited from:
Equals
Source
Equals.scala

The size of this product.

The size of this product.

Attributes

Returns

for a productA(x1, ..., xk), returnsk

Inherited from:
Product
Source
Product.scala

The nth element of this product, 0-based.

The nth element of this product, 0-based. In other words, for a productA(x1, ..., xk), returnsx(n+1) where0 <= n < k.

Value parameters

n

the index of the element to return

Attributes

Returns

the elementn elements after the first element

Throws

IndexOutOfBoundsExceptionif then is out of range(n < 0 || n >= productArity).

Inherited from:
Product
Source
Product.scala
In this article
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL

[8]ページ先頭

©2009-2025 Movatter.jp