Class Vector<T>
- Type Parameters:
T
- Component type of the Vector.
- All Implemented Interfaces:
Foldable<T>
,IndexedSeq<T>
,Seq<T>
,Traversable<T>
,Function1<Integer,
,T> PartialFunction<Integer,
,T> Value<T>
,Serializable
,Iterable<T>
,Function<Integer,
T>
- Author:
- Ruslan Sennov, Pap Lőrinc
- See Also:
-
Method Summary
Modifier and TypeMethodDescriptionAppends an element to this.Appends all given elements to this.asJava()
Creates an immutableList
view on top of thisSeq
, i.e. calling mutators will result inUnsupportedOperationException
at runtime.asJavaMutable
(Consumer<? super List<T>> action) <R> Vector
<R> collect
(PartialFunction<? super T, ? extends R> partialFunction) Collects all elements that are in the domain of the givenpartialFunction
by mapping the elements to typeR
.Returns aCollector
which may be used in conjunction withStream.collect(Collector)
to obtain aVector
.Returns the union of all combinations from k = 0 to length().combinations
(int k) Returns the k-combination of this traversable, i.e. all subset of this of k distinct elements.crossProduct
(int power) Calculates the n-ary cartesian power (or cross product or simply product) of this.distinct()
Returns a new version of this which contains no duplicates.distinctBy
(Comparator<? super T> comparator) Returns a new version of this which contains no duplicates.distinctBy
(Function<? super T, ? extends U> keyExtractor) Returns a new version of this which contains no duplicates.drop
(int n) Drops the first n elements of this or all elements, if this length < n.dropRight
(int n) Drops the last n elements of this or all elements, if this length < n.dropRightUntil
(Predicate<? super T> predicate) Drops elements until the predicate holds for the current element, starting from the end.dropRightWhile
(Predicate<? super T> predicate) Drops elements while the predicate holds for the current element, starting from the end.Drops elements until the predicate holds for the current element.Drops elements while the predicate holds for the current element.static <T> Vector
<T> empty()
Returns the empty Vector.boolean
In Vavr there are four basic classes of collections: Seq (sequential elements) Set (distinct elements) Map (indexed elements) Multimap (indexed collections) Two collection instances of these classes are equal if and only if both collections belong to the same basic collection class (Seq, Set, Map or Multimap) contain the same elements have the same element order, if the collections are of type Seq Two Map/Multimap elements, resp. entries, (key1, value1) and (key2, value2) are equal, if the keys are equal and the values are equal.static <T> Vector
<T> Returns a Vector containingn
values supplied by a given Suppliers
.static <T> Vector
<T> fill
(int n, T element) Returns a Vector containingn
times the givenelement
Returns a new traversable consisting of all elements which satisfy the given predicate.<U> Vector
<U> FlatMaps this Traversable.get
(int index) Returns the element at the specified index.Groups this elements by classifying the elements.grouped
(int size) Groups thisTraversable
into fixed size blocks.boolean
Checks if this Traversable is known to have a finite size.int
hashCode()
Returns the hash code of this collection.head()
Returns the first element of a non-empty Traversable.int
Returns the index of the first occurrence of the given element after or at some start index or -1 if this does not contain the given element.init()
Dual of Traversable.tail(), returning all elements except the last.Dual of Traversable.tailOption(), returning all elements except the last asOption
.Inserts the given element at the specified index.Inserts the given elements at the specified index.intersperse
(T element) Inserts an element between all elements of this Traversable.boolean
isAsync()
AVector
is computed synchronously.boolean
isEmpty()
Checks if this Traversable is empty.boolean
isLazy()
AVector
is computed eagerly.boolean
Checks if this Traversable can be repeatedly traversed.iterator()
An iterator by means of head() and tail().int
lastIndexOf
(T element, int end) Returns the index of the last occurrence of the given element before or at a given end index or -1 if this does not contain the given element.A copy of this sequence with an element prepended until a given target length is reached.int
length()
Computes the number of elements of this Traversable.<U> Vector
<U> Maps the elements of thisTraversable
to elements of a new type preserving their order, if any.static <T> Vector
<T> Narrows a widenedVector<? extends T>
toVector<T>
by performing a type-safe cast.static <T> Vector
<T> of
(T element) Returns a singletonVector
, i.e. aVector
of one element.static <T> Vector
<T> of
(T... elements) Creates a Vector of the given elements.ofAll
(boolean... elements) Creates a Vector from boolean values.ofAll
(byte... elements) Creates a Vector from byte values.ofAll
(char... elements) Creates a Vector from char values.ofAll
(double... elements) Creates a Vector from double values.ofAll
(float... elements) Creates a Vector from float values.ofAll
(int... elements) Creates a Vector from int values.ofAll
(long... elements) Creates a Vector from long values.ofAll
(short... elements) Creates a Vector from short values.static <T> Vector
<T> Creates a Vector of the given elements.static <T> Vector
<T> Creates a Vector that contains the elements of the givenStream
.Returns thisTraversable
if it is nonempty, otherwise return the alternative.Returns thisTraversable
if it is nonempty, otherwise return the result of evaluating supplier.A copy of this sequence with an element appended until a given target length is reached.Creates a partition of thisTraversable
by splitting this elements in two in distinct traversables according to a predicate.Produces a new list where a slice of elements in this list is replaced by another sequence.Performs the givenaction
on the first element if this is an eager implementation.Computes all unique permutations.Prepends an element to this.prependAll
(Iterable<? extends T> iterable) Prepends all given elements to this.range
(char from, char toExclusive) range
(int from, int toExclusive) Creates a Vector of int numbers starting fromfrom
, extending totoExclusive - 1
.range
(long from, long toExclusive) Creates a Vector of long numbers starting fromfrom
, extending totoExclusive - 1
.rangeBy
(char from, char toExclusive, int step) rangeBy
(double from, double toExclusive, double step) rangeBy
(int from, int toExclusive, int step) Creates a Vector of int numbers starting fromfrom
, extending totoExclusive - 1
, withstep
.rangeBy
(long from, long toExclusive, long step) Creates a Vector of long numbers starting fromfrom
, extending totoExclusive - 1
, withstep
.rangeClosed
(char from, char toInclusive) rangeClosed
(int from, int toInclusive) Creates a Vector of int numbers starting fromfrom
, extending totoInclusive
.rangeClosed
(long from, long toInclusive) Creates a Vector of long numbers starting fromfrom
, extending totoInclusive
.rangeClosedBy
(char from, char toInclusive, int step) rangeClosedBy
(double from, double toInclusive, double step) rangeClosedBy
(int from, int toInclusive, int step) Creates a Vector of int numbers starting fromfrom
, extending totoInclusive
, withstep
.rangeClosedBy
(long from, long toInclusive, long step) Creates a Vector of long numbers starting fromfrom
, extending totoInclusive
, withstep
.Returns a new traversable consisting of all elements which do not satisfy the given predicate.Removes the first occurrence of the given element.Removes all occurrences of the given elements.Deprecated.Removes all occurrences of the given element.removeAt
(int index) Removes the element at the specified position in this sequence.removeFirst
(Predicate<T> predicate) Removes the first occurrence that satisfy predicateremoveLast
(Predicate<T> predicate) Removes the last occurrence that satisfy predicateReplaces the first occurrence (if exists) of the given currentElement with newElement.replaceAll
(T currentElement, T newElement) Replaces all occurrences of the given currentElement with newElement.Keeps all occurrences of the given elements from this.reverse()
Reverses the order of elements.rotateLeft
(int n) Circular rotates the elements by the specified distance to the left direction.rotateRight
(int n) Circular rotates the elements by the specified distance to the right direction.Computes a prefix scan of the elements of the collection.<U> Vector
<U> scanLeft
(U zero, BiFunction<? super U, ? super T, ? extends U> operation) Produces a collection containing cumulative results of applying the operator going left to right.<U> Vector
<U> scanRight
(U zero, BiFunction<? super T, ? super U, ? extends U> operation) Produces a collection containing cumulative results of applying the operator going right to left.shuffle()
Randomize the order of the elements in the current sequence.slice
(int beginIndex, int endIndex) Returns a Seq that is a slice of this.Slides a non-overlapping window of a variable size over thisTraversable
.sliding
(int size) Slides a window of a specificsize
and step size 1 over thisTraversable
by callingTraversable.sliding(int, int)
.sliding
(int size, int step) Slides a window of a specificsize
andstep
size over thisTraversable
.sortBy
(Comparator<? super U> comparator, Function<? super T, ? extends U> mapper) Sorts this elements by comparing the elements in a different domain, using the givenmapper
.<U extends Comparable<? super U>>
Vector<T> Sorts this elements by comparing the elements in a different domain, using the givenmapper
.sorted()
Sorts this elements according to their natural order.sorted
(Comparator<? super T> comparator) Sorts this elements according to the providedComparator
.Returns a tuple where the first element is the longest prefix of elements that satisfy the givenpredicate
and the second element is the remainder.splitAt
(int n) Splits a Seq at the specified index.Splits a sequence at the first element which satisfies thePredicate
, e.g.splitAtInclusive
(Predicate<? super T> predicate) Splits a sequence at the first element which satisfies thePredicate
, e.g.Returns the name of this Value type, which is used by toString().subSequence
(int beginIndex) Returns a Seq that is a subsequence of this.subSequence
(int beginIndex, int endIndex) Returns a Seq that is a subsequence of this.static <T> Vector
<T> Returns a Vector containingn
values of a given Functionf
over a range of integer values from 0 ton - 1
.tail()
Drops the first element of a non-empty Traversable.Drops the first element of a non-empty Traversable and returns anOption
.take
(int n) Takes the first n elements of this or all elements, if this length < n.takeRight
(int n) Takes the last n elements of this or all elements, if this length < n.takeRightUntil
(Predicate<? super T> predicate) Takes elements until the predicate holds for the current element, starting from the end.takeRightWhile
(Predicate<? super T> predicate) Takes elements while the predicate holds for the current element, starting from the end.Takes elements until the predicate holds for the current element.Takes elements while the predicate holds for the current element.toString()
Clarifies that values have a proper toString() method implemented.<U> U
Transforms thisVector
.Transposes the rows and columns of aVector
matrix.static <T> Vector
<T> Creates a Vector from a seed value and a function.static <T,
U> Vector <U> unfoldLeft
(T seed, Function<? super T, Option<Tuple2<? extends T, ? extends U>>> f) Creates a Vector from a seed value and a function.static <T,
U> Vector <U> unfoldRight
(T seed, Function<? super T, Option<Tuple2<? extends U, ? extends T>>> f) Creates a Vector from a seed value and a function.Unzips this elements by mapping this elements to pairs which are subsequently split into two distinct sets.Unzips this elements by mapping this elements to triples which are subsequently split into three distinct sets.Updates the given element at the specified index using the specified function.Updates the given element at the specified index.Returns a traversable formed from this traversable and another Iterable collection by combining corresponding elements in pairs.Returns a traversable formed from this traversable and another Iterable by combining corresponding elements in pairs.<U,
R> Vector <R> zipWith
(Iterable<? extends U> that, BiFunction<? super T, ? super U, ? extends R> mapper) Returns a traversable formed from this traversable and another Iterable collection by mapping elements.Zips this traversable with its indices.<U> Vector
<U> zipWithIndex
(BiFunction<? super T, ? super Integer, ? extends U> mapper) Zips this traversable with its indices by applying mapper provided.Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface io.vavr.collection.Foldable
fold, reduce, reduceOption
Methods inherited from interface io.vavr.Function1
andThen, arity, compose, curried, isMemoized, memoized, partial, reversed, tupled
Methods inherited from interface io.vavr.collection.IndexedSeq
asPartialFunction, endsWith, indexOfSlice, indexWhere, isDefinedAt, last, lastIndexOfSlice, lastIndexWhere, reverseIterator, search, search, segmentLength, startsWith
Methods inherited from interface io.vavr.collection.Seq
apply, containsSlice, crossProduct, crossProduct, foldRight, indexOf, indexOfOption, indexOfOption, indexOfSlice, indexOfSliceOption, indexOfSliceOption, indexWhere, indexWhereOption, indexWhereOption, isSequential, iterator, lastIndexOf, lastIndexOfOption, lastIndexOfOption, lastIndexOfSlice, lastIndexOfSliceOption, lastIndexOfSliceOption, lastIndexWhere, lastIndexWhereOption, lastIndexWhereOption, lift, prefixLength, startsWith, withDefault, withDefaultValue
Methods inherited from interface io.vavr.collection.Traversable
arrangeBy, average, containsAll, count, existsUnique, find, findLast, foldLeft, forEachWithIndex, get, headOption, isDistinct, isOrdered, isSingleValued, lastOption, max, maxBy, maxBy, min, minBy, minBy, mkCharSeq, mkCharSeq, mkCharSeq, mkString, mkString, mkString, nonEmpty, product, reduceLeft, reduceLeftOption, reduceRight, reduceRightOption, single, singleOption, size, spliterator, sum
Methods inherited from interface io.vavr.Value
collect, collect, contains, corresponds, eq, exists, forAll, forEach, getOrElse, getOrElse, getOrElseThrow, getOrElseTry, getOrNull, out, out, stderr, stdout, toArray, toCharSeq, toCompletableFuture, toEither, toEither, toInvalid, toInvalid, toJavaArray, toJavaArray, toJavaArray, toJavaCollection, toJavaList, toJavaList, toJavaMap, toJavaMap, toJavaMap, toJavaOptional, toJavaParallelStream, toJavaSet, toJavaSet, toJavaStream, toLeft, toLeft, toLinkedMap, toLinkedMap, toLinkedSet, toList, toMap, toMap, toOption, toPriorityQueue, toPriorityQueue, toQueue, toRight, toRight, toSet, toSortedMap, toSortedMap, toSortedMap, toSortedMap, toSortedSet, toSortedSet, toStream, toTree, toTree, toTry, toTry, toValid, toValid, toValidation, toValidation, toVector
-
Method Details
-
empty
Returns the empty Vector.- Type Parameters:
T
- Component type.- Returns:
- The empty Vector.
-
collector
Returns aCollector
which may be used in conjunction withStream.collect(Collector)
to obtain aVector
.- Type Parameters:
T
- Component type of the Vector.- Returns:
- A io.vavr.collection.List Collector.
-
narrow
Narrows a widenedVector<? extends T>
toVector<T>
by performing a type-safe cast. This is eligible because immutable/read-only collections are covariant.- Type Parameters:
T
- Component type of theVector
.- Parameters:
vector
- AnVector
.- Returns:
- the given
vector
instance as narrowed typeVector<T>
.
-
of
Returns a singletonVector
, i.e. aVector
of one element.- Type Parameters:
T
- The component type- Parameters:
element
- An element.- Returns:
- A new Vector instance containing the given element
-
of
Creates a Vector of the given elements.- Type Parameters:
T
- Component type of the Vector.- Parameters:
elements
- Zero or more elements.- Returns:
- A vector containing the given elements in the same order.
- Throws:
NullPointerException
- ifelements
is null
-
tabulate
Returns a Vector containingn
values of a given Functionf
over a range of integer values from 0 ton - 1
.- Type Parameters:
T
- Component type of the Vector- Parameters:
n
- The number of elements in the Vectorf
- The Function computing element values- Returns:
- A Vector consisting of elements
f(0),f(1), ..., f(n - 1)
- Throws:
NullPointerException
- iff
is null
-
fill
Returns a Vector containingn
values supplied by a given Suppliers
.- Type Parameters:
T
- Component type of the Vector- Parameters:
n
- The number of elements in the Vectors
- The Supplier computing element values- Returns:
- A Vector of size
n
, where each element contains the result supplied bys
. - Throws:
NullPointerException
- ifs
is null
-
fill
Returns a Vector containingn
times the givenelement
- Type Parameters:
T
- Component type of the Vector- Parameters:
n
- The number of elements in the Vectorelement
- The element- Returns:
- A Vector of size
n
, where each element is the givenelement
.
-
ofAll
Creates a Vector of the given elements.The resulting vector has the same iteration order as the given iterable of elements if the iteration order of the elements is stable.
- Type Parameters:
T
- Component type of the Vector.- Parameters:
iterable
- An Iterable of elements.- Returns:
- A vector containing the given elements in the same order.
- Throws:
NullPointerException
- ifelements
is null
-
ofAll
Creates a Vector that contains the elements of the givenStream
.- Type Parameters:
T
- Component type of the Stream.- Parameters:
javaStream
- AStream
- Returns:
- A Vector containing the given elements in the same order.
-
ofAll
Creates a Vector from boolean values.- Parameters:
elements
- boolean values- Returns:
- A new Vector of Boolean values
- Throws:
NullPointerException
- if elements is null
-
ofAll
Creates a Vector from byte values.- Parameters:
elements
- byte values- Returns:
- A new Vector of Byte values
- Throws:
NullPointerException
- if elements is null
-
ofAll
Creates a Vector from char values.- Parameters:
elements
- char values- Returns:
- A new Vector of Character values
- Throws:
NullPointerException
- if elements is null
-
ofAll
Creates a Vector from double values.- Parameters:
elements
- double values- Returns:
- A new Vector of Double values
- Throws:
NullPointerException
- if elements is null
-
ofAll
Creates a Vector from float values.- Parameters:
elements
- float values- Returns:
- A new Vector of Float values
- Throws:
NullPointerException
- if elements is null
-
ofAll
Creates a Vector from int values.- Parameters:
elements
- int values- Returns:
- A new Vector of Integer values
- Throws:
NullPointerException
- if elements is null
-
ofAll
Creates a Vector from long values.- Parameters:
elements
- long values- Returns:
- A new Vector of Long values
- Throws:
NullPointerException
- if elements is null
-
ofAll
Creates a Vector from short values.- Parameters:
elements
- short values- Returns:
- A new Vector of Short values
- Throws:
NullPointerException
- if elements is null
-
range
-
rangeBy
-
rangeBy
-
range
Creates a Vector of int numbers starting fromfrom
, extending totoExclusive - 1
.Examples:
Vector.range(0, 0) // = Vector() Vector.range(2, 0) // = Vector() Vector.range(-2, 2) // = Vector(-2, -1, 0, 1)
- Parameters:
from
- the first numbertoExclusive
- the last number + 1- Returns:
- a range of int values as specified or the empty range if
from >= toExclusive
-
rangeBy
Creates a Vector of int numbers starting fromfrom
, extending totoExclusive - 1
, withstep
.Examples:
Vector.rangeBy(1, 3, 1) // = Vector(1, 2) Vector.rangeBy(1, 4, 2) // = Vector(1, 3) Vector.rangeBy(4, 1, -2) // = Vector(4, 2) Vector.rangeBy(4, 1, 2) // = Vector()
- Parameters:
from
- the first numbertoExclusive
- the last number + 1step
- the step- Returns:
- a range of long values as specified or the empty range if
from >= toInclusive
andstep > 0
or
from <= toInclusive
andstep < 0
- Throws:
IllegalArgumentException
- ifstep
is zero
-
range
Creates a Vector of long numbers starting fromfrom
, extending totoExclusive - 1
.Examples:
Vector.range(0L, 0L) // = Vector() Vector.range(2L, 0L) // = Vector() Vector.range(-2L, 2L) // = Vector(-2L, -1L, 0L, 1L)
- Parameters:
from
- the first numbertoExclusive
- the last number + 1- Returns:
- a range of long values as specified or the empty range if
from >= toExclusive
-
rangeBy
Creates a Vector of long numbers starting fromfrom
, extending totoExclusive - 1
, withstep
.Examples:
Vector.rangeBy(1L, 3L, 1L) // = Vector(1L, 2L) Vector.rangeBy(1L, 4L, 2L) // = Vector(1L, 3L) Vector.rangeBy(4L, 1L, -2L) // = Vector(4L, 2L) Vector.rangeBy(4L, 1L, 2L) // = Vector()
- Parameters:
from
- the first numbertoExclusive
- the last number + 1step
- the step- Returns:
- a range of long values as specified or the empty range if
from >= toInclusive
andstep > 0
or
from <= toInclusive
andstep < 0
- Throws:
IllegalArgumentException
- ifstep
is zero
-
rangeClosed
-
rangeClosedBy
-
rangeClosedBy
-
rangeClosed
Creates a Vector of int numbers starting fromfrom
, extending totoInclusive
.Examples:
Vector.rangeClosed(0, 0) // = Vector(0) Vector.rangeClosed(2, 0) // = Vector() Vector.rangeClosed(-2, 2) // = Vector(-2, -1, 0, 1, 2)
- Parameters:
from
- the first numbertoInclusive
- the last number- Returns:
- a range of int values as specified or the empty range if
from > toInclusive
-
rangeClosedBy
Creates a Vector of int numbers starting fromfrom
, extending totoInclusive
, withstep
.Examples:
Vector.rangeClosedBy(1, 3, 1) // = Vector(1, 2, 3) Vector.rangeClosedBy(1, 4, 2) // = Vector(1, 3) Vector.rangeClosedBy(4, 1, -2) // = Vector(4, 2) Vector.rangeClosedBy(4, 1, 2) // = Vector()
- Parameters:
from
- the first numbertoInclusive
- the last numberstep
- the step- Returns:
- a range of int values as specified or the empty range if
from > toInclusive
andstep > 0
or
from < toInclusive
andstep < 0
- Throws:
IllegalArgumentException
- ifstep
is zero
-
rangeClosed
Creates a Vector of long numbers starting fromfrom
, extending totoInclusive
.Examples:
Vector.rangeClosed(0L, 0L) // = Vector(0L) Vector.rangeClosed(2L, 0L) // = Vector() Vector.rangeClosed(-2L, 2L) // = Vector(-2L, -1L, 0L, 1L, 2L)
- Parameters:
from
- the first numbertoInclusive
- the last number- Returns:
- a range of long values as specified or the empty range if
from > toInclusive
-
rangeClosedBy
Creates a Vector of long numbers starting fromfrom
, extending totoInclusive
, withstep
.Examples:
Vector.rangeClosedBy(1L, 3L, 1L) // = Vector(1L, 2L, 3L) Vector.rangeClosedBy(1L, 4L, 2L) // = Vector(1L, 3L) Vector.rangeClosedBy(4L, 1L, -2L) // = Vector(4L, 2L) Vector.rangeClosedBy(4L, 1L, 2L) // = Vector()
- Parameters:
from
- the first numbertoInclusive
- the last numberstep
- the step- Returns:
- a range of int values as specified or the empty range if
from > toInclusive
andstep > 0
or
from < toInclusive
andstep < 0
- Throws:
IllegalArgumentException
- ifstep
is zero
-
transpose
Transposes the rows and columns of aVector
matrix.- Type Parameters:
T
- matrix element type- Parameters:
matrix
- to be transposed.- Returns:
- a transposed
Vector
matrix. - Throws:
IllegalArgumentException
- if the row lengths ofmatrix
differ.ex:
Vector.transpose(Vector(Vector(1,2,3), Vector(4,5,6))) → Vector(Vector(1,4), Vector(2,5), Vector(3,6))
-
unfoldRight
public static <T,U> Vector<U> unfoldRight(T seed, Function<? super T, Option<Tuple2<? extends U, ? extends T>>> f) Creates a Vector from a seed value and a function. The function takes the seed at first. The function should returnNone
when it's done generating the Vector, otherwiseSome
Tuple
of the element for the next call and the value to add to the resulting Vector.Example:
Vector.unfoldRight(10, x -> x == 0 ? Option.none() : Option.of(new Tuple2<>(x, x-1))); // Vector(10, 9, 8, 7, 6, 5, 4, 3, 2, 1))
- Type Parameters:
T
- type of seedsU
- type of unfolded values- Parameters:
seed
- the start value for the iterationf
- the function to get the next step of the iteration- Returns:
- a Vector with the values built up by the iteration
- Throws:
NullPointerException
- iff
is null
-
unfoldLeft
public static <T,U> Vector<U> unfoldLeft(T seed, Function<? super T, Option<Tuple2<? extends T, ? extends U>>> f) Creates a Vector from a seed value and a function. The function takes the seed at first. The function should returnNone
when it's done generating the Vector, otherwiseSome
Tuple
of the value to add to the resulting Vector and the element for the next call.Example:
Vector.unfoldLeft(10, x -> x == 0 ? Option.none() : Option.of(new Tuple2<>(x-1, x))); // Vector(1, 2, 3, 4, 5, 6, 7, 8, 9, 10))
- Type Parameters:
T
- type of seedsU
- type of unfolded values- Parameters:
seed
- the start value for the iterationf
- the function to get the next step of the iteration- Returns:
- a Vector with the values built up by the iteration
- Throws:
NullPointerException
- iff
is null
-
unfold
public static <T> Vector<T> unfold(T seed, Function<? super T, Option<Tuple2<? extends T, ? extends T>>> f) Creates a Vector from a seed value and a function. The function takes the seed at first. The function should returnNone
when it's done generating the Vector, otherwiseSome
Tuple
of the value to add to the resulting Vector and the element for the next call.Example:
Vector.unfold(10, x -> x == 0 ? Option.none() : Option.of(new Tuple2<>(x-1, x))); // Vector(1, 2, 3, 4, 5, 6, 7, 8, 9, 10))
- Type Parameters:
T
- type of seeds and unfolded values- Parameters:
seed
- the start value for the iterationf
- the function to get the next step of the iteration- Returns:
- a Vector with the values built up by the iteration
- Throws:
NullPointerException
- iff
is null
-
append
Description copied from interface:Seq
Appends an element to this. -
appendAll
Description copied from interface:Seq
Appends all given elements to this. -
asJava
Description copied from interface:Seq
Creates an immutableList
view on top of thisSeq
, i.e. calling mutators will result inUnsupportedOperationException
at runtime.The difference to conversion methods
toJava*()
is that- A view is created in O(1) (constant time) whereas conversion takes O(n) (linear time), with n = collection size.
- The operations on a view have the same performance characteristics than the underlying persistent Vavr collection whereas the performance characteristics of a converted collection are those of the Java standard collections.
java.util.List
view throwsUnsupportedOperationException
before checking method arguments. Java does handle this case inconsistently.- Specified by:
asJava
in interfaceSeq<T>
- Returns:
- A new immutable
Collection
view on thisTraversable
.
-
asJava
Description copied from interface:Seq
-
asJavaMutable
Description copied from interface:Seq
Creates a mutableList
view on top of thisSeq
, i.e. all mutator methods of theList
are implemented.- Specified by:
asJavaMutable
in interfaceSeq<T>
- Returns:
- A new mutable
Collection
view on thisTraversable
. - See Also:
-
asJavaMutable
Description copied from interface:Seq
- Specified by:
asJavaMutable
in interfaceIndexedSeq<T>
- Specified by:
asJavaMutable
in interfaceSeq<T>
- Parameters:
action
- A side-effecting unit of work that operates on a mutablejava.util.List
view.- Returns:
- this instance, if only read operations are performed on the
java.util.List
view or a new instance of this type, if write operations are performed on thejava.util.List
view. - See Also:
-
collect
Description copied from interface:Traversable
Collects all elements that are in the domain of the givenpartialFunction
by mapping the elements to typeR
.More specifically, for each of this elements in iteration order first it is checked
If the elements makes it through that filter, the mapped instance is added to the result collectionpartialFunction.isDefinedAt(element)
Note:If thisR newElement = partialFunction.apply(element)
Traversable
is ordered (i.e. extendsOrdered
, the caller ofcollect
has to ensure that the elements are comparable (i.e. extendComparable
).- Specified by:
collect
in interfaceIndexedSeq<T>
- Specified by:
collect
in interfaceSeq<T>
- Specified by:
collect
in interfaceTraversable<T>
- Type Parameters:
R
- The new element type- Parameters:
partialFunction
- A function that is not necessarily defined of all elements of this traversable.- Returns:
- A new
Traversable
instance containing elements of typeR
-
combinations
Description copied from interface:Seq
Returns the union of all combinations from k = 0 to length().Examples:
[].combinations() = [[]] [1,2,3].combinations() = [ [], // k = 0 [1], [2], [3], // k = 1 [1,2], [1,3], [2,3], // k = 2 [1,2,3] // k = 3 ]
- Specified by:
combinations
in interfaceIndexedSeq<T>
- Specified by:
combinations
in interfaceSeq<T>
- Returns:
- the combinations of this
-
combinations
Description copied from interface:Seq
Returns the k-combination of this traversable, i.e. all subset of this of k distinct elements.- Specified by:
combinations
in interfaceIndexedSeq<T>
- Specified by:
combinations
in interfaceSeq<T>
- Parameters:
k
- Size of subsets- Returns:
- the k-combination of this elements
- See Also:
-
crossProduct
Description copied from interface:Seq
Calculates the n-ary cartesian power (or cross product or simply product) of this.Example:
// = ((A,A), (A,B), (A,C), ..., (B,A), (B,B), ..., (Z,Y), (Z,Z)) CharSeq.rangeClosed('A', 'Z').crossProduct(2);
Cartesian power of negative value will return empty iterator.
Example:
// = () CharSeq.rangeClosed('A', 'Z').crossProduct(-1);
- Specified by:
crossProduct
in interfaceIndexedSeq<T>
- Specified by:
crossProduct
in interfaceSeq<T>
- Parameters:
power
- the number of cartesian multiplications- Returns:
- A new Iterator representing the n-ary cartesian power of this
-
distinct
Description copied from interface:Traversable
Returns a new version of this which contains no duplicates. Elements are compared usingequals
.- Specified by:
distinct
in interfaceIndexedSeq<T>
- Specified by:
distinct
in interfaceSeq<T>
- Specified by:
distinct
in interfaceTraversable<T>
- Returns:
- a new
Traversable
containing this elements without duplicates
-
distinctBy
Description copied from interface:Traversable
Returns a new version of this which contains no duplicates. Elements are compared using the givencomparator
.- Specified by:
distinctBy
in interfaceIndexedSeq<T>
- Specified by:
distinctBy
in interfaceSeq<T>
- Specified by:
distinctBy
in interfaceTraversable<T>
- Parameters:
comparator
- A comparator- Returns:
- a new
Traversable
containing this elements without duplicates
-
distinctBy
Description copied from interface:Traversable
Returns a new version of this which contains no duplicates. Elements mapped to keys which are compared usingequals
.The elements of the result are determined in the order of their occurrence - first match wins.
- Specified by:
distinctBy
in interfaceIndexedSeq<T>
- Specified by:
distinctBy
in interfaceSeq<T>
- Specified by:
distinctBy
in interfaceTraversable<T>
- Type Parameters:
U
- key type- Parameters:
keyExtractor
- A key extractor- Returns:
- a new
Traversable
containing this elements without duplicates
-
drop
Description copied from interface:Traversable
Drops the first n elements of this or all elements, if this length < n.- Specified by:
drop
in interfaceIndexedSeq<T>
- Specified by:
drop
in interfaceSeq<T>
- Specified by:
drop
in interfaceTraversable<T>
- Parameters:
n
- The number of elements to drop.- Returns:
- a new instance consisting of all elements of this except the first n ones, or else the empty instance, if this has less than n elements.
-
dropUntil
Description copied from interface:Traversable
Drops elements until the predicate holds for the current element.- Specified by:
dropUntil
in interfaceIndexedSeq<T>
- Specified by:
dropUntil
in interfaceSeq<T>
- Specified by:
dropUntil
in interfaceTraversable<T>
- Parameters:
predicate
- A condition tested subsequently for this elements.- Returns:
- a new instance consisting of all elements starting from the first one which does satisfy the given predicate.
-
dropWhile
Description copied from interface:Traversable
Drops elements while the predicate holds for the current element.Note: This is essentially the same as
dropUntil(predicate.negate())
. It is intended to be used with method references, which cannot be negated directly.- Specified by:
dropWhile
in interfaceIndexedSeq<T>
- Specified by:
dropWhile
in interfaceSeq<T>
- Specified by:
dropWhile
in interfaceTraversable<T>
- Parameters:
predicate
- A condition tested subsequently for this elements.- Returns:
- a new instance consisting of all elements starting from the first one which does not satisfy the given predicate.
-
dropRight
Description copied from interface:Traversable
Drops the last n elements of this or all elements, if this length < n.- Specified by:
dropRight
in interfaceIndexedSeq<T>
- Specified by:
dropRight
in interfaceSeq<T>
- Specified by:
dropRight
in interfaceTraversable<T>
- Parameters:
n
- The number of elements to drop.- Returns:
- a new instance consisting of all elements of this except the last n ones, or else the empty instance, if this has less than n elements.
-
dropRightUntil
Description copied from interface:Seq
Drops elements until the predicate holds for the current element, starting from the end.- Specified by:
dropRightUntil
in interfaceIndexedSeq<T>
- Specified by:
dropRightUntil
in interfaceSeq<T>
- Parameters:
predicate
- A condition tested subsequently for this elements, starting from the end.- Returns:
- a new instance consisting of all elements until and including the last one which does satisfy the given predicate.
-
dropRightWhile
Description copied from interface:Seq
Drops elements while the predicate holds for the current element, starting from the end.Note: This is essentially the same as
dropRightUntil(predicate.negate())
. It is intended to be used with method references, which cannot be negated directly.- Specified by:
dropRightWhile
in interfaceIndexedSeq<T>
- Specified by:
dropRightWhile
in interfaceSeq<T>
- Parameters:
predicate
- A condition tested subsequently for this elements, starting from the end.- Returns:
- a new instance consisting of all elements until and including the last one which does not satisfy the given predicate.
-
filter
Description copied from interface:Traversable
Returns a new traversable consisting of all elements which satisfy the given predicate.- Specified by:
filter
in interfaceIndexedSeq<T>
- Specified by:
filter
in interfaceSeq<T>
- Specified by:
filter
in interfaceTraversable<T>
- Parameters:
predicate
- A predicate- Returns:
- a new traversable
-
reject
Description copied from interface:Traversable
Returns a new traversable consisting of all elements which do not satisfy the given predicate.The default implementation is equivalent to
filter(predicate.negate()
- Specified by:
reject
in interfaceIndexedSeq<T>
- Specified by:
reject
in interfaceSeq<T>
- Specified by:
reject
in interfaceTraversable<T>
- Parameters:
predicate
- A predicate- Returns:
- a new traversable
-
flatMap
Description copied from interface:Traversable
FlatMaps this Traversable.- Specified by:
flatMap
in interfaceIndexedSeq<T>
- Specified by:
flatMap
in interfaceSeq<T>
- Specified by:
flatMap
in interfaceTraversable<T>
- Type Parameters:
U
- The resulting component type.- Parameters:
mapper
- A mapper- Returns:
- A new Traversable instance.
-
get
Description copied from interface:Seq
Returns the element at the specified index. -
head
Description copied from interface:Traversable
Returns the first element of a non-empty Traversable.- Specified by:
head
in interfaceTraversable<T>
- Returns:
- The first element of this Traversable.
-
groupBy
Description copied from interface:Traversable
Groups this elements by classifying the elements.- Specified by:
groupBy
in interfaceIndexedSeq<T>
- Specified by:
groupBy
in interfaceSeq<T>
- Specified by:
groupBy
in interfaceTraversable<T>
- Type Parameters:
C
- classified class type- Parameters:
classifier
- A function which classifies elements into classes- Returns:
- A Map containing the grouped elements
- See Also:
-
grouped
Description copied from interface:Traversable
Groups thisTraversable
into fixed size blocks.Let length be the length of this Iterable. Then grouped is defined as follows:
- If
this.isEmpty()
, the resultingIterator
is empty. - If
size <= length
, the resultingIterator
will containlength / size
blocks of sizesize
and maybe a non-empty block of sizelength % size
, if there are remaining elements. - If
size > length
, the resultingIterator
will contain one block of sizelength
.
[].grouped(1) = [] [].grouped(0) throws [].grouped(-1) throws [1,2,3,4].grouped(2) = [[1,2],[3,4]] [1,2,3,4,5].grouped(2) = [[1,2],[3,4],[5]] [1,2,3,4].grouped(5) = [[1,2,3,4]]
grouped(int)
is a special case of Traversable.sliding(int, int), i.e.grouped(size)
is the same assliding(size, size)
.- Specified by:
grouped
in interfaceIndexedSeq<T>
- Specified by:
grouped
in interfaceSeq<T>
- Specified by:
grouped
in interfaceTraversable<T>
- Parameters:
size
- a positive block size- Returns:
- A new Iterator of grouped blocks of the given size
- If
-
hasDefiniteSize
public boolean hasDefiniteSize()Description copied from interface:Traversable
Checks if this Traversable is known to have a finite size.This method should be implemented by classes only, i.e. not by interfaces.
- Specified by:
hasDefiniteSize
in interfaceTraversable<T>
- Returns:
- true, if this Traversable is known to have a finite size, false otherwise.
-
indexOf
Description copied from interface:Seq
Returns the index of the first occurrence of the given element after or at some start index or -1 if this does not contain the given element. -
init
Description copied from interface:Traversable
Dual of Traversable.tail(), returning all elements except the last.- Specified by:
init
in interfaceIndexedSeq<T>
- Specified by:
init
in interfaceSeq<T>
- Specified by:
init
in interfaceTraversable<T>
- Returns:
- a new instance containing all elements except the last.
-
initOption
Description copied from interface:Traversable
Dual of Traversable.tailOption(), returning all elements except the last asOption
.- Specified by:
initOption
in interfaceIndexedSeq<T>
- Specified by:
initOption
in interfaceSeq<T>
- Specified by:
initOption
in interfaceTraversable<T>
- Returns:
Some(traversable)
orNone
if this is empty.
-
insert
Description copied from interface:Seq
Inserts the given element at the specified index. -
insertAll
Description copied from interface:Seq
Inserts the given elements at the specified index. -
intersperse
Description copied from interface:Seq
Inserts an element between all elements of this Traversable.- Specified by:
intersperse
in interfaceIndexedSeq<T>
- Specified by:
intersperse
in interfaceSeq<T>
- Parameters:
element
- An element.- Returns:
- an interspersed version of this
-
isAsync
public boolean isAsync()AVector
is computed synchronously. -
isEmpty
public boolean isEmpty()Description copied from interface:Traversable
Checks if this Traversable is empty. -
isLazy
public boolean isLazy()AVector
is computed eagerly. -
isTraversableAgain
public boolean isTraversableAgain()Description copied from interface:Traversable
Checks if this Traversable can be repeatedly traversed.This method should be implemented by classes only, i.e. not by interfaces.
- Specified by:
isTraversableAgain
in interfaceTraversable<T>
- Returns:
- true, if this Traversable is known to be traversable repeatedly, false otherwise.
-
iterator
Description copied from interface:Traversable
An iterator by means of head() and tail(). Subclasses may want to override this method. -
lastIndexOf
Description copied from interface:Seq
Returns the index of the last occurrence of the given element before or at a given end index or -1 if this does not contain the given element.- Specified by:
lastIndexOf
in interfaceSeq<T>
- Parameters:
element
- an elementend
- the end index- Returns:
- the index of the last occurrence of the given element
-
length
public int length()Description copied from interface:Traversable
Computes the number of elements of this Traversable.Same as
Traversable.size()
.- Specified by:
length
in interfaceTraversable<T>
- Returns:
- the number of elements
-
map
Description copied from interface:Traversable
Maps the elements of thisTraversable
to elements of a new type preserving their order, if any. -
orElse
Description copied from interface:Traversable
Returns thisTraversable
if it is nonempty, otherwise return the alternative.- Specified by:
orElse
in interfaceIndexedSeq<T>
- Specified by:
orElse
in interfaceSeq<T>
- Specified by:
orElse
in interfaceTraversable<T>
- Parameters:
other
- An alternativeTraversable
- Returns:
- this
Traversable
if it is nonempty, otherwise return the alternative.
-
orElse
Description copied from interface:Traversable
Returns thisTraversable
if it is nonempty, otherwise return the result of evaluating supplier.- Specified by:
orElse
in interfaceIndexedSeq<T>
- Specified by:
orElse
in interfaceSeq<T>
- Specified by:
orElse
in interfaceTraversable<T>
- Parameters:
supplier
- An alternativeTraversable
supplier- Returns:
- this
Traversable
if it is nonempty, otherwise return the result of evaluating supplier.
-
padTo
Description copied from interface:Seq
A copy of this sequence with an element appended until a given target length is reached.Note: lazily-evaluated Seq implementations need to process all elements in order to gather the overall length.
- Specified by:
padTo
in interfaceIndexedSeq<T>
- Specified by:
padTo
in interfaceSeq<T>
- Parameters:
length
- the target lengthelement
- the padding element- Returns:
- a new sequence consisting of all elements of this sequence followed by the minimal number
of occurrences of
element
so that the resulting sequence has a length of at leastlength
.
-
leftPadTo
Description copied from interface:Seq
A copy of this sequence with an element prepended until a given target length is reached.Note: lazily-evaluated Seq implementations need to process all elements in order to gather the overall length.
- Specified by:
leftPadTo
in interfaceSeq<T>
- Parameters:
length
- the target lengthelement
- the padding element- Returns:
- a new sequence consisting of all elements of this sequence prepended by the minimal number
of occurrences of
element
so that the resulting sequence has a length of at leastlength
.
-
patch
Description copied from interface:Seq
Produces a new list where a slice of elements in this list is replaced by another sequence. -
partition
Description copied from interface:Traversable
Creates a partition of thisTraversable
by splitting this elements in two in distinct traversables according to a predicate.- Specified by:
partition
in interfaceIndexedSeq<T>
- Specified by:
partition
in interfaceSeq<T>
- Specified by:
partition
in interfaceTraversable<T>
- Parameters:
predicate
- A predicate which classifies an element if it is in the first or the second traversable.- Returns:
- A disjoint union of two traversables. The first
Traversable
contains all elements that satisfy the givenpredicate
, the secondTraversable
contains all elements that don't. The original order of elements is preserved.
-
peek
Description copied from interface:Value
Performs the givenaction
on the first element if this is an eager implementation. Performs the givenaction
on all elements (the first immediately, successive deferred), if this is a lazy implementation. -
permutations
Description copied from interface:Seq
Computes all unique permutations.Example:
[].permutations() = [] [1,2,3].permutations() = [ [1,2,3], [1,3,2], [2,1,3], [2,3,1], [3,1,2], [3,2,1] ]
- Specified by:
permutations
in interfaceIndexedSeq<T>
- Specified by:
permutations
in interfaceSeq<T>
- Returns:
- this unique permutations
-
prepend
Description copied from interface:Seq
Prepends an element to this. -
prependAll
Description copied from interface:Seq
Prepends all given elements to this.- Specified by:
prependAll
in interfaceIndexedSeq<T>
- Specified by:
prependAll
in interfaceSeq<T>
- Parameters:
iterable
- An Iterable of elements- Returns:
- A new Seq containing the given elements prepended to this elements
-
remove
Description copied from interface:Seq
Removes the first occurrence of the given element. -
removeFirst
Description copied from interface:Seq
Removes the first occurrence that satisfy predicate- Specified by:
removeFirst
in interfaceIndexedSeq<T>
- Specified by:
removeFirst
in interfaceSeq<T>
- Parameters:
predicate
- an predicate- Returns:
- a new Seq
-
removeLast
Description copied from interface:Seq
Removes the last occurrence that satisfy predicate- Specified by:
removeLast
in interfaceIndexedSeq<T>
- Specified by:
removeLast
in interfaceSeq<T>
- Parameters:
predicate
- an predicate- Returns:
- a new Seq
-
removeAt
Description copied from interface:Seq
Removes the element at the specified position in this sequence. Shifts any subsequent elements to the left (subtracts one from their indices). -
removeAll
Description copied from interface:Seq
Removes all occurrences of the given element. -
removeAll
Description copied from interface:Seq
Removes all occurrences of the given elements. -
removeAll
Deprecated.Description copied from interface:Seq
Returns a new Seq consisting of all elements which do not satisfy the given predicate. -
replace
Description copied from interface:Traversable
Replaces the first occurrence (if exists) of the given currentElement with newElement.- Specified by:
replace
in interfaceIndexedSeq<T>
- Specified by:
replace
in interfaceSeq<T>
- Specified by:
replace
in interfaceTraversable<T>
- Parameters:
currentElement
- An element to be substituted.newElement
- A replacement for currentElement.- Returns:
- a Traversable containing all elements of this where the first occurrence of currentElement is replaced with newElement.
-
replaceAll
Description copied from interface:Traversable
Replaces all occurrences of the given currentElement with newElement.- Specified by:
replaceAll
in interfaceIndexedSeq<T>
- Specified by:
replaceAll
in interfaceSeq<T>
- Specified by:
replaceAll
in interfaceTraversable<T>
- Parameters:
currentElement
- An element to be substituted.newElement
- A replacement for currentElement.- Returns:
- a Traversable containing all elements of this where all occurrences of currentElement are replaced with newElement.
-
retainAll
Description copied from interface:Traversable
Keeps all occurrences of the given elements from this.- Specified by:
retainAll
in interfaceIndexedSeq<T>
- Specified by:
retainAll
in interfaceSeq<T>
- Specified by:
retainAll
in interfaceTraversable<T>
- Parameters:
elements
- Elements to be kept.- Returns:
- a Traversable containing all occurrences of the given elements.
-
reverse
Description copied from interface:Seq
Reverses the order of elements. -
rotateLeft
Description copied from interface:Seq
Circular rotates the elements by the specified distance to the left direction.// = List(3, 4, 5, 1, 2) List.of(1, 2, 3, 4, 5).rotateLeft(2);
- Specified by:
rotateLeft
in interfaceIndexedSeq<T>
- Specified by:
rotateLeft
in interfaceSeq<T>
- Parameters:
n
- distance of left rotation- Returns:
- the rotated elements.
-
rotateRight
Description copied from interface:Seq
Circular rotates the elements by the specified distance to the right direction.// = List(4, 5, 1, 2, 3) List.of(1, 2, 3, 4, 5).rotateRight(2);
- Specified by:
rotateRight
in interfaceIndexedSeq<T>
- Specified by:
rotateRight
in interfaceSeq<T>
- Parameters:
n
- distance of right rotation- Returns:
- the rotated elements.
-
scan
Description copied from interface:Traversable
Computes a prefix scan of the elements of the collection. Note: The neutral element z may be applied more than once.- Specified by:
scan
in interfaceIndexedSeq<T>
- Specified by:
scan
in interfaceSeq<T>
- Specified by:
scan
in interfaceTraversable<T>
- Parameters:
zero
- neutral element for the operator opoperation
- the associative operator for the scan- Returns:
- a new traversable collection containing the prefix scan of the elements in this traversable collection
-
scanLeft
Description copied from interface:Traversable
Produces a collection containing cumulative results of applying the operator going left to right. Note: will not terminate for infinite-sized collections. Note: might return different results for different runs, unless the underlying collection type is ordered.- Specified by:
scanLeft
in interfaceIndexedSeq<T>
- Specified by:
scanLeft
in interfaceSeq<T>
- Specified by:
scanLeft
in interfaceTraversable<T>
- Type Parameters:
U
- the type of the elements in the resulting collection- Parameters:
zero
- the initial valueoperation
- the binary operator applied to the intermediate result and the element- Returns:
- collection with intermediate results
-
scanRight
Description copied from interface:Traversable
Produces a collection containing cumulative results of applying the operator going right to left. The head of the collection is the last cumulative result. Note: will not terminate for infinite-sized collections. Note: might return different results for different runs, unless the underlying collection type is ordered.- Specified by:
scanRight
in interfaceIndexedSeq<T>
- Specified by:
scanRight
in interfaceSeq<T>
- Specified by:
scanRight
in interfaceTraversable<T>
- Type Parameters:
U
- the type of the elements in the resulting collection- Parameters:
zero
- the initial valueoperation
- the binary operator applied to the intermediate result and the element- Returns:
- collection with intermediate results
-
shuffle
Description copied from interface:Seq
Randomize the order of the elements in the current sequence. -
slice
Description copied from interface:Seq
Returns a Seq that is a slice of this. The slice begins with the element at the specifiedbeginIndex
and extends to the element at indexendIndex - 1
.Examples:
List.of(1, 2, 3, 4).slice(1, 3); // = (2, 3) List.of(1, 2, 3, 4).slice(0, 4); // = (1, 2, 3, 4) List.of(1, 2, 3, 4).slice(2, 2); // = () List.of(1, 2).slice(1, 0); // = () List.of(1, 2).slice(-10, 10); // = (1, 2)
Seq.subSequence(int, int)
which throws in some cases instead of returning a sequence. -
slideBy
Description copied from interface:Traversable
Slides a non-overlapping window of a variable size over thisTraversable
.Each window contains elements with the same class, as determined by
classifier
. Two consecutive values in thisTraversable
will be in the same window only ifclassifier
returns equal values for them. Otherwise, the values will constitute the last element of the previous window and the first element of the next window.Examples:
[].slideBy(Function.identity()) = [] [1,2,3,4,4,5].slideBy(Function.identity()) = [[1],[2],[3],[4,4],[5]] [1,2,3,10,12,5,7,20,29].slideBy(x -> x/10) = [[1,2,3],[10,12],[5,7],[20,29]]
- Specified by:
slideBy
in interfaceIndexedSeq<T>
- Specified by:
slideBy
in interfaceSeq<T>
- Specified by:
slideBy
in interfaceTraversable<T>
- Parameters:
classifier
- A function which classifies elements into classes- Returns:
- A new Iterator of windows of the grouped elements
-
sliding
Description copied from interface:Traversable
Slides a window of a specificsize
and step size 1 over thisTraversable
by callingTraversable.sliding(int, int)
.- Specified by:
sliding
in interfaceIndexedSeq<T>
- Specified by:
sliding
in interfaceSeq<T>
- Specified by:
sliding
in interfaceTraversable<T>
- Parameters:
size
- a positive window size- Returns:
- a new Iterator of windows of a specific size using step size 1
-
sliding
Description copied from interface:Traversable
Slides a window of a specificsize
andstep
size over thisTraversable
.Examples:
[].sliding(1,1) = [] [1,2,3,4,5].sliding(2,3) = [[1,2],[4,5]] [1,2,3,4,5].sliding(2,4) = [[1,2],[5]] [1,2,3,4,5].sliding(2,5) = [[1,2]] [1,2,3,4].sliding(5,3) = [[1,2,3,4],[4]]
- Specified by:
sliding
in interfaceIndexedSeq<T>
- Specified by:
sliding
in interfaceSeq<T>
- Specified by:
sliding
in interfaceTraversable<T>
- Parameters:
size
- a positive window sizestep
- a positive step size- Returns:
- a new Iterator of windows of a specific size using a specific step size
-
sorted
Description copied from interface:Seq
Sorts this elements according to their natural order. If this elements are notComparable
, ajava.lang.ClassCastException
may be thrown. -
sorted
Description copied from interface:Seq
Sorts this elements according to the providedComparator
. If this elements are notComparable
, ajava.lang.ClassCastException
may be thrown. -
sortBy
Description copied from interface:Seq
Sorts this elements by comparing the elements in a different domain, using the givenmapper
. -
sortBy
public <U> Vector<T> sortBy(Comparator<? super U> comparator, Function<? super T, ? extends U> mapper) Description copied from interface:Seq
Sorts this elements by comparing the elements in a different domain, using the givenmapper
. -
span
Description copied from interface:Traversable
Returns a tuple where the first element is the longest prefix of elements that satisfy the givenpredicate
and the second element is the remainder.- Specified by:
span
in interfaceIndexedSeq<T>
- Specified by:
span
in interfaceSeq<T>
- Specified by:
span
in interfaceTraversable<T>
- Parameters:
predicate
- A predicate.- Returns:
- a
Tuple
containing the longest prefix of elements that satisfy p and the remainder.
-
splitAt
Description copied from interface:Seq
Splits a Seq at the specified index. The result ofsplitAt(n)
is equivalent toTuple.of(take(n), drop(n))
. -
splitAt
Description copied from interface:Seq
Splits a sequence at the first element which satisfies thePredicate
, e.g. Tuple(init, element+tail). -
splitAtInclusive
Description copied from interface:Seq
Splits a sequence at the first element which satisfies thePredicate
, e.g. Tuple(init+element, tail).- Specified by:
splitAtInclusive
in interfaceSeq<T>
- Parameters:
predicate
- An predicate- Returns:
- A
Tuple
containing divided sequences
-
subSequence
Description copied from interface:Seq
Returns a Seq that is a subsequence of this. The subsequence begins with the element at the specifiedbeginIndex
and extends to the end of this Seq.Examples:
List.of(1, 2).subSequence(0); // = (1, 2) List.of(1, 2).subSequence(1); // = (2) List.of(1, 2).subSequence(2); // = () List.of(1, 2).subSequence(10); // throws IndexOutOfBoundsException List.of(1, 2).subSequence(-10); // throws IndexOutOfBoundsException
Seq.drop(int)
which is similar but does not throw.- Specified by:
subSequence
in interfaceIndexedSeq<T>
- Specified by:
subSequence
in interfaceSeq<T>
- Parameters:
beginIndex
- the beginning index, inclusive- Returns:
- the specified subsequence
-
subSequence
Description copied from interface:Seq
Returns a Seq that is a subsequence of this. The subsequence begins with the element at the specifiedbeginIndex
and extends to the element at indexendIndex - 1
.Examples:
List.of(1, 2, 3, 4).subSequence(1, 3); // = (2, 3) List.of(1, 2, 3, 4).subSequence(0, 4); // = (1, 2, 3, 4) List.of(1, 2, 3, 4).subSequence(2, 2); // = () List.of(1, 2).subSequence(1, 0); // throws IndexOutOfBoundsException List.of(1, 2).subSequence(-10, 1); // throws IndexOutOfBoundsException List.of(1, 2).subSequence(0, 10); // throws IndexOutOfBoundsException
Seq.slice(int, int)
which returns an empty sequence instead of throwing.- Specified by:
subSequence
in interfaceIndexedSeq<T>
- Specified by:
subSequence
in interfaceSeq<T>
- Parameters:
beginIndex
- the beginning index, inclusiveendIndex
- the end index, exclusive- Returns:
- the specified subsequence
-
tail
Description copied from interface:Traversable
Drops the first element of a non-empty Traversable.- Specified by:
tail
in interfaceIndexedSeq<T>
- Specified by:
tail
in interfaceSeq<T>
- Specified by:
tail
in interfaceTraversable<T>
- Returns:
- A new instance of Traversable containing all elements except the first.
-
tailOption
Description copied from interface:Traversable
Drops the first element of a non-empty Traversable and returns anOption
.- Specified by:
tailOption
in interfaceIndexedSeq<T>
- Specified by:
tailOption
in interfaceSeq<T>
- Specified by:
tailOption
in interfaceTraversable<T>
- Returns:
Some(traversable)
orNone
if this is empty.
-
take
Description copied from interface:Traversable
Takes the first n elements of this or all elements, if this length < n.The result is equivalent to
sublist(0, max(0, min(length(), n)))
but does not throw ifn < 0
orn > length()
.In the case of
n < 0
the empty instance is returned, in the case ofn > length()
this is returned.- Specified by:
take
in interfaceIndexedSeq<T>
- Specified by:
take
in interfaceSeq<T>
- Specified by:
take
in interfaceTraversable<T>
- Parameters:
n
- The number of elements to take.- Returns:
- A new instance consisting of the first n elements of this or all elements, if this has less than n elements.
-
takeUntil
Description copied from interface:Traversable
Takes elements until the predicate holds for the current element.Note: This is essentially the same as
takeWhile(predicate.negate())
. It is intended to be used with method references, which cannot be negated directly.- Specified by:
takeUntil
in interfaceIndexedSeq<T>
- Specified by:
takeUntil
in interfaceSeq<T>
- Specified by:
takeUntil
in interfaceTraversable<T>
- Parameters:
predicate
- A condition tested subsequently for this elements.- Returns:
- a new instance consisting of all elements before the first one which does satisfy the given predicate.
-
takeWhile
Description copied from interface:Traversable
Takes elements while the predicate holds for the current element.- Specified by:
takeWhile
in interfaceIndexedSeq<T>
- Specified by:
takeWhile
in interfaceSeq<T>
- Specified by:
takeWhile
in interfaceTraversable<T>
- Parameters:
predicate
- A condition tested subsequently for the contained elements.- Returns:
- a new instance consisting of all elements before the first one which does not satisfy the given predicate.
-
takeRight
Description copied from interface:Traversable
Takes the last n elements of this or all elements, if this length < n.The result is equivalent to
sublist(max(0, min(length(), length() - n)), n)
, i.e. takeRight will not throw ifn < 0
orn > length()
.In the case of
n < 0
the empty instance is returned, in the case ofn > length()
this is returned.- Specified by:
takeRight
in interfaceIndexedSeq<T>
- Specified by:
takeRight
in interfaceSeq<T>
- Specified by:
takeRight
in interfaceTraversable<T>
- Parameters:
n
- The number of elements to take.- Returns:
- A new instance consisting of the last n elements of this or all elements, if this has less than n elements.
-
takeRightUntil
Description copied from interface:Seq
Takes elements until the predicate holds for the current element, starting from the end.- Specified by:
takeRightUntil
in interfaceIndexedSeq<T>
- Specified by:
takeRightUntil
in interfaceSeq<T>
- Parameters:
predicate
- A condition tested subsequently for this elements, starting from the end.- Returns:
- a new instance consisting of all elements after the last one which does satisfy the given predicate.
-
takeRightWhile
Description copied from interface:Seq
Takes elements while the predicate holds for the current element, starting from the end.Note: This is essentially the same as
takeRightUntil(predicate.negate())
. It is intended to be used with method references, which cannot be negated directly.- Specified by:
takeRightWhile
in interfaceIndexedSeq<T>
- Specified by:
takeRightWhile
in interfaceSeq<T>
- Parameters:
predicate
- A condition tested subsequently for this elements, starting from the end.- Returns:
- a new instance consisting of all elements after the last one which does not satisfy the given predicate.
-
transform
Transforms thisVector
.- Type Parameters:
U
- Type of transformation result- Parameters:
f
- A transformation- Returns:
- An instance of type
U
- Throws:
NullPointerException
- iff
is null
-
unzip
public <T1,T2> Tuple2<Vector<T1>,Vector<T2>> unzip(Function<? super T, Tuple2<? extends T1, ? extends T2>> unzipper) Description copied from interface:Traversable
Unzips this elements by mapping this elements to pairs which are subsequently split into two distinct sets.- Specified by:
unzip
in interfaceIndexedSeq<T>
- Specified by:
unzip
in interfaceSeq<T>
- Specified by:
unzip
in interfaceTraversable<T>
- Type Parameters:
T1
- 1st element type of a pair returned by unzipperT2
- 2nd element type of a pair returned by unzipper- Parameters:
unzipper
- a function which converts elements of this to pairs- Returns:
- A pair of set containing elements split by unzipper
-
unzip3
public <T1,T2, Tuple3<Vector<T1>,T3> Vector<T2>, unzip3Vector<T3>> (Function<? super T, Tuple3<? extends T1, ? extends T2, ? extends T3>> unzipper) Description copied from interface:Traversable
Unzips this elements by mapping this elements to triples which are subsequently split into three distinct sets.- Specified by:
unzip3
in interfaceIndexedSeq<T>
- Specified by:
unzip3
in interfaceSeq<T>
- Specified by:
unzip3
in interfaceTraversable<T>
- Type Parameters:
T1
- 1st element type of a triplet returned by unzipperT2
- 2nd element type of a triplet returned by unzipperT3
- 3rd element type of a triplet returned by unzipper- Parameters:
unzipper
- a function which converts elements of this to pairs- Returns:
- A triplet of set containing elements split by unzipper
-
update
Description copied from interface:Seq
Updates the given element at the specified index. -
update
Description copied from interface:Seq
Updates the given element at the specified index using the specified function. -
zip
Description copied from interface:Traversable
Returns a traversable formed from this traversable and another Iterable collection by combining corresponding elements in pairs. If one of the two iterables is longer than the other, its remaining elements are ignored.The length of the returned traversable is the minimum of the lengths of this traversable and
that
iterable.- Specified by:
zip
in interfaceIndexedSeq<T>
- Specified by:
zip
in interfaceSeq<T>
- Specified by:
zip
in interfaceTraversable<T>
- Type Parameters:
U
- The type of the second half of the returned pairs.- Parameters:
that
- The Iterable providing the second half of each result pair.- Returns:
- a new traversable containing pairs consisting of corresponding elements of this traversable and
that
iterable.
-
zipWith
public <U,R> Vector<R> zipWith(Iterable<? extends U> that, BiFunction<? super T, ? super U, ? extends R> mapper) Description copied from interface:Traversable
Returns a traversable formed from this traversable and another Iterable collection by mapping elements. If one of the two iterables is longer than the other, its remaining elements are ignored.The length of the returned traversable is the minimum of the lengths of this traversable and
that
iterable.- Specified by:
zipWith
in interfaceIndexedSeq<T>
- Specified by:
zipWith
in interfaceSeq<T>
- Specified by:
zipWith
in interfaceTraversable<T>
- Type Parameters:
U
- The type of the second parameter of the mapper.R
- The type of the mapped elements.- Parameters:
that
- The Iterable providing the second parameter of the mapper.mapper
- a mapper.- Returns:
- a new traversable containing mapped elements of this traversable and
that
iterable.
-
zipAll
Description copied from interface:Traversable
Returns a traversable formed from this traversable and another Iterable by combining corresponding elements in pairs. If one of the two collections is shorter than the other, placeholder elements are used to extend the shorter collection to the length of the longer.The length of the returned traversable is the maximum of the lengths of this traversable and
that
iterable.Special case: if this traversable is shorter than that elements, and that elements contains duplicates, the resulting traversable may be shorter than the maximum of the lengths of this and that because a traversable contains an element at most once.
If this Traversable is shorter than that, thisElem values are used to fill the result. If that is shorter than this Traversable, thatElem values are used to fill the result.
- Specified by:
zipAll
in interfaceIndexedSeq<T>
- Specified by:
zipAll
in interfaceSeq<T>
- Specified by:
zipAll
in interfaceTraversable<T>
- Type Parameters:
U
- The type of the second half of the returned pairs.- Parameters:
that
- The Iterable providing the second half of each result pair.thisElem
- The element to be used to fill up the result if this traversable is shorter than that.thatElem
- The element to be used to fill up the result if that is shorter than this traversable.- Returns:
- A new traversable containing pairs consisting of corresponding elements of this traversable and that.
-
zipWithIndex
Description copied from interface:Traversable
Zips this traversable with its indices.- Specified by:
zipWithIndex
in interfaceIndexedSeq<T>
- Specified by:
zipWithIndex
in interfaceSeq<T>
- Specified by:
zipWithIndex
in interfaceTraversable<T>
- Returns:
- A new traversable containing all elements of this traversable paired with their index, starting with 0.
-
zipWithIndex
Description copied from interface:Traversable
Zips this traversable with its indices by applying mapper provided.- Specified by:
zipWithIndex
in interfaceIndexedSeq<T>
- Specified by:
zipWithIndex
in interfaceSeq<T>
- Specified by:
zipWithIndex
in interfaceTraversable<T>
- Type Parameters:
U
- The type of the mapped elements.- Parameters:
mapper
- a mapper.- Returns:
- a new traversable containing elements of this traversable, zipped with indices, and mapped with mapper provided.
-
equals
Description copied from interface:Traversable
In Vavr there are four basic classes of collections:- Seq (sequential elements)
- Set (distinct elements)
- Map (indexed elements)
- Multimap (indexed collections)
- belong to the same basic collection class (Seq, Set, Map or Multimap)
- contain the same elements
- have the same element order, if the collections are of type Seq
Notes:
- No collection instance equals null, e.g. Queue(1) not equals null.
- Nulls are allowed and handled as expected, e.g. List(null, 1) equals Stream(null, 1) and HashMap((null, 1)) equals LinkedHashMap((null, 1)).
- The element order is taken into account for Seq only. E.g. List(null, 1) not equals Stream(1, null) and HashMap((null, 1), ("a", null)) equals LinkedHashMap(("a", null), (null, 1)). The reason is, that we do not know which implementations we compare when having two instances of type Map, Multimap or Set (see Liskov Substitution Principle).
- Other collection classes are equal if their types are equal and their elements are equal (in iteration order).
- Iterator equality is defined to be object reference equality.
-
hashCode
public int hashCode()Description copied from interface:Traversable
Returns the hash code of this collection.
We distinguish between two types of hashes, those for collections with predictable iteration order (like Seq) and those with arbitrary iteration order (like Set, Map and Multimap).
In all cases the hash of an empty collection is defined to be 1.
Collections with predictable iteration order are hashed as follows:
Collections with arbitrary iteration order are hashed in a way such that the hash of a fixed number of elements is independent of their iteration order.int hash = 1; for (T t : this) { hash = hash * 31 + Objects.hashCode(t); }
Please note that the particular hashing algorithms may change in a future version of Vavr.int hash = 1; for (T t : this) { hash += Objects.hashCode(t); }
Generally, hash codes of collections aren't cached in Vavr (opposed to the size/length). Storing hash codes in order to reduce the time complexity would increase the memory footprint. Persistent collections are built upon tree structures, it allows us to implement efficient memory sharing. A drawback of tree structures is that they make it necessary to store collection attributes at each tree node (read: element).
The computation of the hash code is linear in time, i.e. O(n). If the hash code of a collection is re-calculated often, e.g. when using a List as HashMap key, we might want to cache the hash code. This can be achieved by simply using a wrapper class, which is not included in Vavr but could be implemented like this:public final class Hashed<K> { private final K key; private final Lazy<Integer> hashCode; public Hashed(K key) { this.key = key; this.hashCode = Lazy.of(() -> Objects.hashCode(key)); } public K key() { return key; } @Override public boolean equals(Object o) { if (o == key) { return true; } else if (key != null && o instanceof Hashed) { final Hashed that = (Hashed) o; return key.equals(that.key); } else { return false; } } @Override public int hashCode() { return hashCode.get(); } @Override public String toString() { return "Hashed(" + (key == null ? "null" : key.toString()) + ")"; } }
-
stringPrefix
Description copied from interface:Value
Returns the name of this Value type, which is used by toString().- Specified by:
stringPrefix
in interfaceValue<T>
- Returns:
- This type name.
-
toString
Description copied from interface:Value
Clarifies that values have a proper toString() method implemented.See Object.toString().
-