Class HashSet<T>
- Type Parameters:
T- Component type
- All Implemented Interfaces:
Foldable<T>,Set<T>,Traversable<T>,Function1<T,,Boolean> Value<T>,Serializable,Iterable<T>,Function<T,Boolean>
HashSet implementation.- See Also:
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionprivate static final classA serialization proxy which, in this context, is used to deserialize immutable, linked Lists with final instance fields. -
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final HashSet<?> private static final longprivate final HashArrayMappedTrie<T, T> -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionReturns a new set containing all elements of this set plus the given element, if it was not already present.private static <T> HashArrayMappedTrie<T, T> addAll(HashArrayMappedTrie<T, T> initial, Iterable<? extends T> additional) Returns a new set containing all elements of this set plus the given elements, excluding duplicates.<R> HashSet<R> collect(@NonNull PartialFunction<? super T, ? extends R> partialFunction) Applies aPartialFunctionto all elements that are defined for it and collects the results.Returns aCollectorwhich may be used in conjunction withStream.collect(java.util.stream.Collector)to obtain aHashSet.booleanShortcut forexists(e -> Objects.equals(e, element)), tests if the givenelementis contained.Returns a new set containing all elements of this set except those in the given set.distinct()Returns a newTraversablecontaining the elements of this instance with all duplicates removed.distinctBy(@NonNull Comparator<? super T> comparator) Returns a newTraversablecontaining the elements of this instance without duplicates, as determined by the givencomparator.distinctBy(@NonNull Function<? super T, ? extends U> keyExtractor) Returns a newTraversablecontaining the elements of this instance without duplicates, based on keys extracted from elements usingkeyExtractor.drop(int n) Returns a newTraversablewithout the firstnelements, or an empty instance if this contains fewer thannelements.dropRight(int n) Returns a newTraversablewithout the lastnelements, or an empty instance if this contains fewer thannelements.Returns a newTraversablestarting from the first element that satisfies the givenpredicate, dropping all preceding elements.Returns a newTraversablestarting from the first element that does not satisfy the givenpredicate, dropping all preceding elements.static <T> HashSet<T> empty()Returns the empty HashSet.booleanDetermines whether this collection is equal to the given object.static <T> HashSet<T> Returns a HashSet containing tuples returned byncalls to a given Suppliers.Returns a new traversable containing only the elements that satisfy the given predicate.<U> HashSet<U> Transforms each element of this Traversable into anIterableof elements and flattens the resulting iterables into a single Traversable.<U> UfoldRight(U zero, @NonNull BiFunction<? super T, ? super U, ? extends U> f) Folds the elements of this structure from the right, starting with the givenzerovalue and successively applying thecombinefunction to each element.Groups elements of thisTraversablebased on a classifier function.grouped(int size) Splits thisTraversableinto consecutive blocks of the given size.booleanIndicates whether thisTraversablehas a known finite size.inthashCode()Returns the hash code of this collection.head()Returns the first element of this non-emptyTraversable.Returns the first element of thisTraversableas anOption.init()Returns all elements of this Traversable except the last one.Returns all elements of this Traversable except the last one, wrapped in anOption.Returns a new set containing only the elements present in both this set and the given set.booleanisAsync()AHashSetis computed synchronously.booleanisEmpty()Checks if this Traversable contains no elements.booleanisLazy()AHashSetis computed eagerly.booleanChecks if this Traversable can be traversed multiple times without side effects.iterator()Returns an iterator over the elements of this Traversable, implemented viaTraversable.head()andTraversable.tail().last()Returns the last element of this Traversable.intlength()Returns the number of elements in this Traversable.<U> HashSet<U> Transforms the elements of this Traversable to a new type, preserving order if defined.<U> HashSet<U> mapTo(U value) Maps the underlying value to another fixed value.Maps the underlying value to VoidmkString(CharSequence prefix, CharSequence delimiter, CharSequence suffix) Concatenates the string representations of all elements in this Traversable with a prefix, delimiter, and suffix.static <T> HashSet<T> Narrows aHashSet<? extends T>toHashSet<T>via a type-safe cast.static <T> HashSet<T> of(T element) Returns a singletonHashSet, i.e.static <T> HashSet<T> of(T @NonNull ... elements) Creates a HashSet of the given elements.ofAll(boolean @NonNull ... elements) Creates a HashSet from boolean values.ofAll(byte @NonNull ... elements) Creates a HashSet from byte values.ofAll(char @NonNull ... elements) Creates a HashSet from char values.ofAll(double @NonNull ... elements) Creates a HashSet from double values.ofAll(float @NonNull ... elements) Creates a HashSet from float values.ofAll(int @NonNull ... elements) Creates a HashSet from int values.ofAll(long @NonNull ... elements) Creates a HashSet from long values.ofAll(short @NonNull ... elements) Creates a HashSet from short values.static <T> HashSet<T> Creates a HashSet of the given elements.static <T> HashSet<T> Creates a HashSet that contains the elements of the givenStream.Returns thisTraversableif it is non-empty; otherwise, returns the given alternative.Returns thisTraversableif it is non-empty; otherwise, returns the result of evaluating the given supplier.Splits thisTraversableinto two partitions according to a predicate.Performs the givenactionon the first element if this is an eager implementation.range(char from, char toExclusive) Creates a HashSet of char numbers starting fromfrom, extending totoExclusive - 1.range(int from, int toExclusive) Creates a HashSet of int numbers starting fromfrom, extending totoExclusive - 1.range(long from, long toExclusive) Creates a HashSet of long numbers starting fromfrom, extending totoExclusive - 1.rangeBy(char from, char toExclusive, int step) Creates a HashSet of char numbers starting fromfrom, extending totoExclusive - 1, withstep.rangeBy(double from, double toExclusive, double step) Creates a HashSet of double numbers starting fromfrom, extending totoExclusive - 1, withstep.rangeBy(int from, int toExclusive, int step) Creates a HashSet of int numbers starting fromfrom, extending totoExclusive - 1, withstep.rangeBy(long from, long toExclusive, long step) Creates a HashSet of long numbers starting fromfrom, extending totoExclusive - 1, withstep.rangeClosed(char from, char toInclusive) Creates a HashSet of char numbers starting fromfrom, extending totoInclusive.rangeClosed(int from, int toInclusive) Creates a HashSet of int numbers starting fromfrom, extending totoInclusive.rangeClosed(long from, long toInclusive) Creates a HashSet of long numbers starting fromfrom, extending totoInclusive.rangeClosedBy(char from, char toInclusive, int step) Creates a HashSet of char numbers starting fromfrom, extending totoInclusive, withstep.rangeClosedBy(double from, double toInclusive, double step) Creates a HashSet of double numbers starting fromfrom, extending totoInclusive, withstep.rangeClosedBy(int from, int toInclusive, int step) Creates a HashSet of int numbers starting fromfrom, extending totoInclusive, withstep.rangeClosedBy(long from, long toInclusive, long step) Creates a HashSet of long numbers starting fromfrom, extending totoInclusive, withstep.private voidreadObject(ObjectInputStream stream) readObjectmethod for the serialization proxy pattern.Returns a new traversable containing only the elements that do not satisfy the given predicate.Returns a new set with the given element removed, if it was present.Returns a new set with all given elements removed, if present.Replaces the first occurrence ofcurrentElementwithnewElement, if it exists.replaceAll(T currentElement, T newElement) Replaces all occurrences ofcurrentElementwithnewElement.Retains only the elements from this Traversable that are contained in the givenelements.Computes a prefix scan of the elements of this Traversable.<U> HashSet<U> scanLeft(U zero, @NonNull BiFunction<? super U, ? super T, ? extends U> operation) Produces a collection containing cumulative results of applying the operator from left to right.<U> HashSet<U> scanRight(U zero, @NonNull BiFunction<? super T, ? super U, ? extends U> operation) Produces a collection containing cumulative results of applying the operator from right to left.Partitions thisTraversableinto consecutive non-overlapping windows according to a classification function.sliding(int size) Slides a window of a givensizeover thisTraversablewith a step size of 1.sliding(int size, int step) Slides a window of a specificsizewith a givenstepover thisTraversable.Splits thisTraversableinto a prefix and remainder according to the givenpredicate.Returns the name of this Value type, which is used by toString().static <T> HashSet<T> Returns an HashSet containingnvalues of a given Functionfover a range of integer values from 0 ton - 1.tail()Returns a newTraversablewithout its first element.Returns a newTraversablewithout its first element as anOption.take(int n) Returns the firstnelements of thisTraversable, or all elements ifnexceeds the length.takeRight(int n) Returns the lastnelements of thisTraversable, or all elements ifnexceeds the length.Takes elements from thisTraversableuntil the given predicate holds for an element.Takes elements from thisTraversablewhile the given predicate holds.Converts this Vavr set to ajava.util.Set, preserving insertion or sort order.toString()Clarifies that values have a proper toString() method implemented.<U> UTransforms thisHashSet.Returns a new set containing all distinct elements from this set and the given set.Unzips the elements of thisTraversableby mapping each element to a pair and splitting them into two separateTraversablecollections.Unzips the elements of thisTraversableby mapping each element to a triple and splitting them into three separateTraversablecollections.private ObjectwriteReplacemethod for the serialization proxy pattern.Returns aTraversableformed by pairing elements of thisTraversablewith elements of anotherIterable.Returns aTraversableformed by pairing elements of thisTraversablewith elements of anotherIterable, filling in placeholder elements when one collection is shorter than the other.<U,R> HashSet <R> zipWith(@NonNull Iterable<? extends U> that, BiFunction<? super T, ? super U, ? extends R> mapper) Returns aTraversableby combining elements of thisTraversablewith elements of anotherIterableusing a mapping function.Zips thisTraversablewith its indices, starting at 0.<U> HashSet<U> zipWithIndex(@NonNull BiFunction<? super T, ? super Integer, ? extends U> mapper) Zips thisTraversablewith its indices and maps the resulting pairs using the provided mapper.Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface io.vavr.collection.Foldable
fold, reduce, reduceOptionMethods inherited from interface io.vavr.Function1
andThen, arity, compose, compose1, curried, isMemoized, memoized, partial, reversed, tupledMethods inherited from interface io.vavr.collection.Set
apply, isDistinctMethods inherited from interface io.vavr.collection.Traversable
arrangeBy, average, containsAll, count, existsUnique, find, findLast, foldLeft, forEachWithIndex, get, isOrdered, isSequential, isSingleValued, lastOption, max, maxBy, maxBy, min, minBy, minBy, mkCharSeq, mkCharSeq, mkCharSeq, mkString, mkString, nonEmpty, product, reduceLeft, reduceLeftOption, reduceRight, reduceRightOption, single, singleOption, size, spliterator, sumMethods inherited from interface io.vavr.Value
collect, collect, 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, 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
-
Field Details
-
serialVersionUID
private static final long serialVersionUID- See Also:
-
EMPTY
-
tree
-
-
Constructor Details
-
HashSet
-
-
Method Details
-
empty
Returns the empty HashSet.- Type Parameters:
T- Component type- Returns:
- The empty HashSet.
-
collector
Returns aCollectorwhich may be used in conjunction withStream.collect(java.util.stream.Collector)to obtain aHashSet.- Type Parameters:
T- Component type of the HashSet.- Returns:
- A io.vavr.collection.HashSet Collector.
-
narrow
Narrows aHashSet<? extends T>toHashSet<T>via a type-safe cast. Safe here because the set is immutable and no elements can be added that would violate the type (covariance)- Type Parameters:
T- the target element type- Parameters:
hashSet- the set to narrow- Returns:
- the same set viewed as
HashSet<T>
-
of
Returns a singletonHashSet, i.e. aHashSetof one element.- Type Parameters:
T- The component type- Parameters:
element- An element.- Returns:
- A new HashSet instance containing the given element
-
of
Creates a HashSet of the given elements.HashSet.of(1, 2, 3, 4)- Type Parameters:
T- Component type of the HashSet.- Parameters:
elements- Zero or more elements.- Returns:
- A set containing the given elements.
- Throws:
NullPointerException- ifelementsis null
-
tabulate
Returns an HashSet containingnvalues of a given Functionfover a range of integer values from 0 ton - 1.- Type Parameters:
T- Component type of the HashSet- Parameters:
n- The number of elements in the HashSetf- The Function computing element values- Returns:
- An HashSet consisting of elements
f(0),f(1), ..., f(n - 1) - Throws:
NullPointerException- iffis null
-
fill
Returns a HashSet containing tuples returned byncalls to a given Suppliers.- Type Parameters:
T- Component type of the HashSet- Parameters:
n- The number of elements in the HashSets- The Supplier computing element values- Returns:
- An HashSet of size
n, where each element contains the result supplied bys. - Throws:
NullPointerException- ifsis null
-
ofAll
Creates a HashSet of the given elements.- Type Parameters:
T- The value type- Parameters:
elements- Set elements- Returns:
- A new HashSet containing the given entries
-
ofAll
Creates a HashSet that contains the elements of the givenStream.- Type Parameters:
T- Component type of the Stream.- Parameters:
javaStream- AStream- Returns:
- A HashSet containing the given elements in the same order.
-
ofAll
Creates a HashSet from boolean values.- Parameters:
elements- boolean values- Returns:
- A new HashSet of Boolean values
- Throws:
NullPointerException- if elements is null
-
ofAll
Creates a HashSet from byte values.- Parameters:
elements- byte values- Returns:
- A new HashSet of Byte values
- Throws:
NullPointerException- if elements is null
-
ofAll
Creates a HashSet from char values.- Parameters:
elements- char values- Returns:
- A new HashSet of Character values
- Throws:
NullPointerException- if elements is null
-
ofAll
Creates a HashSet from double values.- Parameters:
elements- double values- Returns:
- A new HashSet of Double values
- Throws:
NullPointerException- if elements is null
-
ofAll
Creates a HashSet from float values.- Parameters:
elements- float values- Returns:
- A new HashSet of Float values
- Throws:
NullPointerException- if elements is null
-
ofAll
Creates a HashSet from int values.- Parameters:
elements- int values- Returns:
- A new HashSet of Integer values
- Throws:
NullPointerException- if elements is null
-
ofAll
Creates a HashSet from long values.- Parameters:
elements- long values- Returns:
- A new HashSet of Long values
- Throws:
NullPointerException- if elements is null
-
ofAll
Creates a HashSet from short values.- Parameters:
elements- short values- Returns:
- A new HashSet of Short values
- Throws:
NullPointerException- if elements is null
-
range
Creates a HashSet of int numbers starting fromfrom, extending totoExclusive - 1.Examples:
HashSet.range(0, 0) // = HashSet() HashSet.range(2, 0) // = HashSet() HashSet.range(-2, 2) // = HashSet(-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
-
range
Creates a HashSet of char numbers starting fromfrom, extending totoExclusive - 1.Examples:
HashSet.range('a', 'a') // = HashSet() HashSet.range('c', 'a') // = HashSet() HashSet.range('a', 'd') // = HashSet('a', 'b', 'c')- Parameters:
from- the first chartoExclusive- the last char + 1- Returns:
- a range of char values as specified or the empty range if
from >= toExclusive
-
rangeBy
Creates a HashSet of int numbers starting fromfrom, extending totoExclusive - 1, withstep.Examples:
HashSet.rangeBy(1, 3, 1) // = HashSet(1, 2) HashSet.rangeBy(1, 4, 2) // = HashSet(1, 3) HashSet.rangeBy(4, 1, -2) // = HashSet(4, 2) HashSet.rangeBy(4, 1, 2) // = HashSet()- 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 >= toInclusiveandstep > 0or
from <= toInclusiveandstep < 0 - Throws:
IllegalArgumentException- ifstepis zero
-
rangeBy
Creates a HashSet of char numbers starting fromfrom, extending totoExclusive - 1, withstep.Examples:
HashSet.rangeBy('a', 'c', 1) // = HashSet('a', 'b') HashSet.rangeBy('a', 'd', 2) // = HashSet('a', 'c') HashSet.rangeBy('d', 'a', -2) // = HashSet('d', 'b') HashSet.rangeBy('d', 'a', 2) // = HashSet()- Parameters:
from- the first chartoExclusive- the last char + 1step- the step- Returns:
- a range of char values as specified or the empty range if
from >= toExclusiveandstep > 0or
from <= toExclusiveandstep < 0 - Throws:
IllegalArgumentException- ifstepis zero
-
rangeBy
@GwtIncompatible public static HashSet<Double> rangeBy(double from, double toExclusive, double step) Creates a HashSet of double numbers starting fromfrom, extending totoExclusive - 1, withstep.Examples:
HashSet.rangeBy(1.0, 3.0, 1.0) // = HashSet(1.0, 2.0) HashSet.rangeBy(1.0, 4.0, 2.0) // = HashSet(1.0, 3.0) HashSet.rangeBy(4.0, 1.0, -2.0) // = HashSet(4.0, 2.0) HashSet.rangeBy(4.0, 1.0, 2.0) // = HashSet()- Parameters:
from- the first doubletoExclusive- the last double + 1step- the step- Returns:
- a range of double values as specified or the empty range if
from >= toExclusiveandstep > 0or
from <= toExclusiveandstep < 0 - Throws:
IllegalArgumentException- ifstepis zero
-
range
Creates a HashSet of long numbers starting fromfrom, extending totoExclusive - 1.Examples:
HashSet.range(0L, 0L) // = HashSet() HashSet.range(2L, 0L) // = HashSet() HashSet.range(-2L, 2L) // = HashSet(-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 HashSet of long numbers starting fromfrom, extending totoExclusive - 1, withstep.Examples:
HashSet.rangeBy(1L, 3L, 1L) // = HashSet(1L, 2L) HashSet.rangeBy(1L, 4L, 2L) // = HashSet(1L, 3L) HashSet.rangeBy(4L, 1L, -2L) // = HashSet(4L, 2L) HashSet.rangeBy(4L, 1L, 2L) // = HashSet()- 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 >= toInclusiveandstep > 0or
from <= toInclusiveandstep < 0 - Throws:
IllegalArgumentException- ifstepis zero
-
rangeClosed
Creates a HashSet of int numbers starting fromfrom, extending totoInclusive.Examples:
HashSet.rangeClosed(0, 0) // = HashSet(0) HashSet.rangeClosed(2, 0) // = HashSet() HashSet.rangeClosed(-2, 2) // = HashSet(-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
-
rangeClosed
Creates a HashSet of char numbers starting fromfrom, extending totoInclusive.Examples:
HashSet.rangeClosed('a', 'a') // = HashSet('a') HashSet.rangeClosed('c', 'a') // = HashSet() HashSet.rangeClosed('a', 'c') // = HashSet('a', 'b', 'c')- Parameters:
from- the first chartoInclusive- the last char- Returns:
- a range of char values as specified or the empty range if
from > toInclusive
-
rangeClosedBy
Creates a HashSet of int numbers starting fromfrom, extending totoInclusive, withstep.Examples:
HashSet.rangeClosedBy(1, 3, 1) // = HashSet(1, 2, 3) HashSet.rangeClosedBy(1, 4, 2) // = HashSet(1, 3) HashSet.rangeClosedBy(4, 1, -2) // = HashSet(4, 2) HashSet.rangeClosedBy(4, 1, 2) // = HashSet()- Parameters:
from- the first numbertoInclusive- the last numberstep- the step- Returns:
- a range of int values as specified or the empty range if
from > toInclusiveandstep > 0or
from < toInclusiveandstep < 0 - Throws:
IllegalArgumentException- ifstepis zero
-
rangeClosedBy
Creates a HashSet of char numbers starting fromfrom, extending totoInclusive, withstep.Examples:
HashSet.rangeClosedBy('a', 'c', 1) // = HashSet('a', 'b', 'c') HashSet.rangeClosedBy('a', 'd', 2) // = HashSet('a', 'c') HashSet.rangeClosedBy('d', 'a', -2) // = HashSet('d', 'b') HashSet.rangeClosedBy('d', 'a', 2) // = HashSet()- Parameters:
from- the first chartoInclusive- the last charstep- the step- Returns:
- a range of char values as specified or the empty range if
from > toInclusiveandstep > 0or
from < toInclusiveandstep < 0 - Throws:
IllegalArgumentException- ifstepis zero
-
rangeClosedBy
@GwtIncompatible public static HashSet<Double> rangeClosedBy(double from, double toInclusive, double step) Creates a HashSet of double numbers starting fromfrom, extending totoInclusive, withstep.Examples:
HashSet.rangeClosedBy(1.0, 3.0, 1.0) // = HashSet(1.0, 2.0, 3.0) HashSet.rangeClosedBy(1.0, 4.0, 2.0) // = HashSet(1.0, 3.0) HashSet.rangeClosedBy(4.0, 1.0, -2.0) // = HashSet(4.0, 2.0) HashSet.rangeClosedBy(4.0, 1.0, 2.0) // = HashSet()- Parameters:
from- the first doubletoInclusive- the last doublestep- the step- Returns:
- a range of double values as specified or the empty range if
from > toInclusiveandstep > 0or
from < toInclusiveandstep < 0 - Throws:
IllegalArgumentException- ifstepis zero
-
rangeClosed
Creates a HashSet of long numbers starting fromfrom, extending totoInclusive.Examples:
HashSet.rangeClosed(0L, 0L) // = HashSet(0L) HashSet.rangeClosed(2L, 0L) // = HashSet() HashSet.rangeClosed(-2L, 2L) // = HashSet(-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 HashSet of long numbers starting fromfrom, extending totoInclusive, withstep.Examples:
HashSet.rangeClosedBy(1L, 3L, 1L) // = HashSet(1L, 2L, 3L) HashSet.rangeClosedBy(1L, 4L, 2L) // = HashSet(1L, 3L) HashSet.rangeClosedBy(4L, 1L, -2L) // = HashSet(4L, 2L) HashSet.rangeClosedBy(4L, 1L, 2L) // = HashSet()- Parameters:
from- the first numbertoInclusive- the last numberstep- the step- Returns:
- a range of int values as specified or the empty range if
from > toInclusiveandstep > 0or
from < toInclusiveandstep < 0 - Throws:
IllegalArgumentException- ifstepis zero
-
add
Description copied from interface:SetReturns a new set containing all elements of this set plus the given element, if it was not already present. -
addAll
Description copied from interface:SetReturns a new set containing all elements of this set plus the given elements, excluding duplicates. -
collect
Description copied from interface:TraversableApplies aPartialFunctionto all elements that are defined for it and collects the results.For each element in iteration order, the function is first tested:
IfpartialFunction.isDefinedAt(element)true, the element is mapped to typeR:R newElement = partialFunction.apply(element)Note: If this
Traversableis ordered (i.e., extendsOrdered), the caller must ensure that the resulting elements are comparable (i.e., implementComparable).- Specified by:
collectin interfaceSet<T>- Specified by:
collectin interfaceTraversable<T>- Type Parameters:
R- the type of elements in the resultingTraversable- Parameters:
partialFunction- a function that may not be defined for all elements of this traversable- Returns:
- a new
Traversablecontaining the results of applying the partial function
-
contains
Description copied from interface:ValueShortcut forexists(e -> Objects.equals(e, element)), tests if the givenelementis contained. -
diff
Description copied from interface:SetReturns a new set containing all elements of this set except those in the given set. -
distinct
Description copied from interface:TraversableReturns a newTraversablecontaining the elements of this instance with all duplicates removed. Element equality is determined usingequals. -
distinctBy
Description copied from interface:TraversableReturns a newTraversablecontaining the elements of this instance without duplicates, as determined by the givencomparator.- Specified by:
distinctByin interfaceSet<T>- Specified by:
distinctByin interfaceTraversable<T>- Parameters:
comparator- a comparator used to determine equality of elements- Returns:
- a new
Traversablewith duplicates removed
-
distinctBy
Description copied from interface:TraversableReturns a newTraversablecontaining the elements of this instance without duplicates, based on keys extracted from elements usingkeyExtractor.The first occurrence of each key is retained in the resulting sequence.
- Specified by:
distinctByin interfaceSet<T>- Specified by:
distinctByin interfaceTraversable<T>- Type Parameters:
U- the type of key- Parameters:
keyExtractor- a function to extract keys for determining uniqueness- Returns:
- a new
Traversablewith duplicates removed based on keys
-
drop
Description copied from interface:TraversableReturns a newTraversablewithout the firstnelements, or an empty instance if this contains fewer thannelements. -
dropRight
Description copied from interface:TraversableReturns a newTraversablewithout the lastnelements, or an empty instance if this contains fewer thannelements. -
dropUntil
Description copied from interface:TraversableReturns a newTraversablestarting from the first element that satisfies the givenpredicate, dropping all preceding elements. -
dropWhile
Description copied from interface:TraversableReturns a newTraversablestarting from the first element that does not satisfy the givenpredicate, dropping all preceding elements.This is equivalent to
dropUntil(predicate.negate()), which is useful for method references that cannot be negated directly. -
filter
Description copied from interface:TraversableReturns a new traversable containing only the elements that satisfy the given predicate. -
reject
Description copied from interface:TraversableReturns a new traversable containing only the elements that do not satisfy the given predicate.This is equivalent to
filter(predicate.negate()). -
flatMap
Description copied from interface:TraversableTransforms each element of this Traversable into anIterableof elements and flattens the resulting iterables into a single Traversable.- Specified by:
flatMapin interfaceSet<T>- Specified by:
flatMapin interfaceTraversable<T>- Type Parameters:
U- the type of elements in the resulting Traversable- Parameters:
mapper- a function mapping elements to iterables- Returns:
- a new Traversable containing all elements produced by applying
mapperand flattening
-
foldRight
Description copied from interface:FoldableFolds the elements of this structure from the right, starting with the givenzerovalue and successively applying thecombinefunction to each element.Folding from the right means that elements are combined starting from the last element and associating each step with the accumulated result so far.
Example:
// Result: "!cba" List.of("a", "b", "c").foldRight("!", (x, acc) -> acc + x);- Specified by:
foldRightin interfaceFoldable<T>- Specified by:
foldRightin interfaceTraversable<T>- Type Parameters:
U- the type of the accumulated result- Parameters:
zero- the initial value to start folding withf- a function that combines the next element and the accumulated value- Returns:
- the folded result
-
groupBy
Description copied from interface:TraversableGroups elements of thisTraversablebased on a classifier function. -
grouped
Description copied from interface:TraversableSplits thisTraversableinto consecutive blocks of the given size.Let
lengthbe the number of elements in thisTraversable:- If empty, the resulting
Iteratoris empty. - If
size <= length, the resultingIteratorcontainslength / sizeblocks of sizesizeand possibly a final smaller block of sizelength % size. - If
size > length, the resultingIteratorcontains a single block of sizelength.
Examples:
[].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]]Note:
grouped(size)is equivalent tosliding(size, size). - If empty, the resulting
-
hasDefiniteSize
public boolean hasDefiniteSize()Description copied from interface:TraversableIndicates whether thisTraversablehas a known finite size.This should typically be implemented by concrete classes, not interfaces.
- Specified by:
hasDefiniteSizein interfaceTraversable<T>- Returns:
trueif the number of elements is finite and known,falseotherwise.
-
head
Description copied from interface:TraversableReturns the first element of this non-emptyTraversable.- Specified by:
headin interfaceTraversable<T>- Returns:
- the first element
-
headOption
Description copied from interface:TraversableReturns the first element of thisTraversableas anOption.- Specified by:
headOptionin interfaceTraversable<T>- Returns:
Some(element)if non-empty, otherwiseNone
-
init
Description copied from interface:TraversableReturns all elements of this Traversable except the last one.This is the dual of
Traversable.tail(). -
initOption
Description copied from interface:TraversableReturns all elements of this Traversable except the last one, wrapped in anOption.This is the dual of
Traversable.tailOption().- Specified by:
initOptionin interfaceSet<T>- Specified by:
initOptionin interfaceTraversable<T>- Returns:
Some(traversable)if non-empty, orNoneif this Traversable is empty
-
intersect
Description copied from interface:SetReturns a new set containing only the elements present in both this set and the given set. -
isAsync
public boolean isAsync()AHashSetis computed synchronously. -
isEmpty
public boolean isEmpty()Description copied from interface:TraversableChecks if this Traversable contains no elements. -
isLazy
public boolean isLazy()AHashSetis computed eagerly. -
isTraversableAgain
public boolean isTraversableAgain()Description copied from interface:TraversableChecks if this Traversable can be traversed multiple times without side effects.Implementations should provide the correct behavior; this is not meant for interfaces alone.
- Specified by:
isTraversableAgainin interfaceTraversable<T>- Returns:
trueif this Traversable is guaranteed to be repeatably traversable,falseotherwise
-
iterator
Description copied from interface:TraversableReturns an iterator over the elements of this Traversable, implemented viaTraversable.head()andTraversable.tail(). Subclasses may override for a more efficient implementation. -
last
Description copied from interface:TraversableReturns the last element of this Traversable.- Specified by:
lastin interfaceTraversable<T>- Returns:
- the last element
-
length
public int length()Description copied from interface:TraversableReturns the number of elements in this Traversable.Equivalent to
Traversable.size(). -
map
Description copied from interface:TraversableTransforms the elements of this Traversable to a new type, preserving order if defined. -
mapTo
Description copied from interface:ValueMaps the underlying value to another fixed value. -
mapToVoid
Description copied from interface:ValueMaps the underlying value to Void -
mkString
Description copied from interface:TraversableConcatenates the string representations of all elements in this Traversable with a prefix, delimiter, and suffix.Example:
List.of("a", "b", "c").mkString("Chars(", ", ", ")") = "Chars(a, b, c)"- Specified by:
mkStringin interfaceTraversable<T>- Parameters:
prefix- a string prepended to the resultdelimiter- a string placed between elementssuffix- a string appended to the result- Returns:
- a new
Stringcontaining the formatted concatenation of elements
-
orElse
Description copied from interface:TraversableReturns thisTraversableif it is non-empty; otherwise, returns the given alternative. -
orElse
Description copied from interface:TraversableReturns thisTraversableif it is non-empty; otherwise, returns the result of evaluating the given supplier. -
partition
Description copied from interface:TraversableSplits thisTraversableinto two partitions according to a predicate.The first partition contains all elements that satisfy the predicate, and the second contains all elements that do not. The original iteration order is preserved.
-
peek
Description copied from interface:ValuePerforms the givenactionon the first element if this is an eager implementation. Performs the givenactionon all elements (the first immediately, successive deferred), if this is a lazy implementation. -
remove
Description copied from interface:SetReturns a new set with the given element removed, if it was present. -
removeAll
Description copied from interface:SetReturns a new set with all given elements removed, if present. -
replace
Description copied from interface:TraversableReplaces the first occurrence ofcurrentElementwithnewElement, if it exists. -
replaceAll
Description copied from interface:TraversableReplaces all occurrences ofcurrentElementwithnewElement.- Specified by:
replaceAllin interfaceSet<T>- Specified by:
replaceAllin interfaceTraversable<T>- Parameters:
currentElement- the element to be replacednewElement- the replacement element- Returns:
- a new Traversable with all occurrences of
currentElementreplaced bynewElement
-
retainAll
Description copied from interface:TraversableRetains only the elements from this Traversable that are contained in the givenelements. -
scan
Description copied from interface:TraversableComputes a prefix scan of the elements of this Traversable.The neutral element
zeromay be applied more than once. -
scanLeft
public <U> HashSet<U> scanLeft(U zero, @NonNull BiFunction<? super U, ? super T, ? extends U> operation) Description copied from interface:TraversableProduces a collection containing cumulative results of applying the operator from left to right.Will not terminate for infinite collections. The results may vary across runs unless the collection is ordered.
- Specified by:
scanLeftin interfaceSet<T>- Specified by:
scanLeftin interfaceTraversable<T>- Type Parameters:
U- the type of the resulting elements- Parameters:
zero- the initial valueoperation- a binary operator applied to the intermediate result and each element- Returns:
- a new Traversable containing the cumulative results
-
scanRight
public <U> HashSet<U> scanRight(U zero, @NonNull BiFunction<? super T, ? super U, ? extends U> operation) Description copied from interface:TraversableProduces a collection containing cumulative results of applying the operator from right to left.The head of the resulting collection is the last cumulative result. Will not terminate for infinite collections. Results may vary across runs unless the collection is ordered.
- Specified by:
scanRightin interfaceSet<T>- Specified by:
scanRightin interfaceTraversable<T>- Type Parameters:
U- the type of the resulting elements- Parameters:
zero- the initial valueoperation- a binary operator applied to each element and the intermediate result- Returns:
- a new Traversable containing the cumulative results
-
slideBy
Description copied from interface:TraversablePartitions thisTraversableinto consecutive non-overlapping windows according to a classification function.Each window contains elements with the same class, as determined by
classifier. Two consecutive elements belong to the same window only ifclassifierreturns equal values for both. Otherwise, the current window ends and a new window begins with the next element.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]] -
sliding
Description copied from interface:TraversableSlides a window of a givensizeover thisTraversablewith a step size of 1.This is equivalent to calling
Traversable.sliding(int, int)with a step size of 1. -
sliding
Description copied from interface:TraversableSlides a window of a specificsizewith a givenstepover 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]] -
span
Description copied from interface:TraversableSplits thisTraversableinto a prefix and remainder according to the givenpredicate.The first element of the returned
Tupleis the longest prefix of elements satisfyingpredicate, and the second element is the remaining elements. -
tail
Description copied from interface:TraversableReturns a newTraversablewithout its first element. -
tailOption
Description copied from interface:TraversableReturns a newTraversablewithout its first element as anOption.- Specified by:
tailOptionin interfaceSet<T>- Specified by:
tailOptionin interfaceTraversable<T>- Returns:
Some(traversable)if non-empty, otherwiseNone
-
take
Description copied from interface:TraversableReturns the firstnelements of thisTraversable, or all elements ifnexceeds the length.Equivalent to
sublist(0, max(0, min(length(), n))), but safe forn < 0orn > length().If
n < 0, an empty instance is returned. Ifn > length(), the full instance is returned. -
takeRight
Description copied from interface:TraversableReturns the lastnelements of thisTraversable, or all elements ifnexceeds the length.Equivalent to
sublist(max(0, length() - n), length()), but safe forn < 0orn > length().If
n < 0, an empty instance is returned. Ifn > length(), the full instance is returned. -
takeUntil
Description copied from interface:TraversableTakes elements from thisTraversableuntil the given predicate holds for an element.Equivalent to
takeWhile(predicate.negate()), but useful when using method references that cannot be negated directly. -
takeWhile
Description copied from interface:TraversableTakes elements from thisTraversablewhile the given predicate holds. -
transform
Transforms thisHashSet.- Type Parameters:
U- Type of transformation result- Parameters:
f- A transformation- Returns:
- An instance of type
U - Throws:
NullPointerException- iffis null
-
toJavaSet
Description copied from interface:SetConverts this Vavr set to ajava.util.Set, preserving insertion or sort order. -
union
Description copied from interface:SetReturns a new set containing all distinct elements from this set and the given set. -
unzip
public <T1,T2> Tuple2<HashSet<T1>,HashSet<T2>> unzip(@NonNull Function<? super T, Tuple2<? extends T1, ? extends T2>> unzipper) Description copied from interface:TraversableUnzips the elements of thisTraversableby mapping each element to a pair and splitting them into two separateTraversablecollections.- Specified by:
unzipin interfaceSet<T>- Specified by:
unzipin interfaceTraversable<T>- Type Parameters:
T1- type of the first element in the resulting pairsT2- type of the second element in the resulting pairs- Parameters:
unzipper- a function that maps elements of thisTraversableto pairs- Returns:
- a
Tuple2containing twoTraversablecollections with the split elements
-
unzip3
public <T1,T2, Tuple3<HashSet<T1>,T3> HashSet<T2>, unzip3HashSet<T3>> (@NonNull Function<? super T, Tuple3<? extends T1, ? extends T2, ? extends T3>> unzipper) Description copied from interface:TraversableUnzips the elements of thisTraversableby mapping each element to a triple and splitting them into three separateTraversablecollections.- Specified by:
unzip3in interfaceSet<T>- Specified by:
unzip3in interfaceTraversable<T>- Type Parameters:
T1- type of the first element in the resulting triplesT2- type of the second element in the resulting triplesT3- type of the third element in the resulting triples- Parameters:
unzipper- a function that maps elements of thisTraversableto triples- Returns:
- a
Tuple3containing threeTraversablecollections with the split elements
-
zip
Description copied from interface:TraversableReturns aTraversableformed by pairing elements of thisTraversablewith elements of anotherIterable. Pairing stops when either collection runs out of elements; any remaining elements in the longer collection are ignored.The length of the resulting
Traversableis the minimum of the lengths of thisTraversableandthat.- Specified by:
zipin interfaceSet<T>- Specified by:
zipin interfaceTraversable<T>- Type Parameters:
U- the type of elements in the second half of each pair- Parameters:
that- anIterableproviding the second element of each pair- Returns:
- a new
Traversablecontaining pairs of corresponding elements
-
zipWith
public <U,R> HashSet<R> zipWith(@NonNull Iterable<? extends U> that, BiFunction<? super T, ? super U, ? extends R> mapper) Description copied from interface:TraversableReturns aTraversableby combining elements of thisTraversablewith elements of anotherIterableusing a mapping function. Pairing stops when either collection runs out of elements.The length of the resulting
Traversableis the minimum of the lengths of thisTraversableandthat.- Specified by:
zipWithin interfaceSet<T>- Specified by:
zipWithin interfaceTraversable<T>- Type Parameters:
U- the type of elements in the second parameter of the mapperR- the type of elements in the resultingTraversable- Parameters:
that- anIterableproviding the second parameter of the mappermapper- a function that combines elements from this andthatinto a new element- Returns:
- a new
Traversablecontaining mapped elements
-
zipAll
Description copied from interface:TraversableReturns aTraversableformed by pairing elements of thisTraversablewith elements of anotherIterable, filling in placeholder elements when one collection is shorter than the other.The length of the resulting
Traversableis the maximum of the lengths of thisTraversableandthat.If this
Traversableis shorter thanthat,thisElemis used as a filler. Conversely, ifthatis shorter,thatElemis used.- Specified by:
zipAllin interfaceSet<T>- Specified by:
zipAllin interfaceTraversable<T>- Type Parameters:
U- the type of elements in the second half of each pair- Parameters:
that- anIterableproviding the second element of each pairthisElem- the element used to fill missing values if thisTraversableis shorter thanthatthatElem- the element used to fill missing values ifthatis shorter than thisTraversable- Returns:
- a new
Traversablecontaining pairs of elements, including fillers as needed
-
zipWithIndex
Description copied from interface:TraversableZips thisTraversablewith its indices, starting at 0.- Specified by:
zipWithIndexin interfaceSet<T>- Specified by:
zipWithIndexin interfaceTraversable<T>- Returns:
- a new
Traversablecontaining each element paired with its index
-
zipWithIndex
public <U> HashSet<U> zipWithIndex(@NonNull BiFunction<? super T, ? super Integer, ? extends U> mapper) Description copied from interface:TraversableZips thisTraversablewith its indices and maps the resulting pairs using the provided mapper.- Specified by:
zipWithIndexin interfaceSet<T>- Specified by:
zipWithIndexin interfaceTraversable<T>- Type Parameters:
U- the type of elements in the resultingTraversable- Parameters:
mapper- a function mapping an element and its index to a new element- Returns:
- a new
Traversablecontaining the mapped elements
-
equals
Description copied from interface:TraversableDetermines whether this collection is equal to the given object.In Vavr, there are four basic collection types:
Seq– sequential elementsSet– distinct elementsMap– key-value pairsMultimap– keys mapped to multiple values
- They are of the same collection type (Seq, Set, Map, Multimap)
- They contain the same elements
- For
Seq, the element order is the same
For
MapandMultimap, two entries(key1, value1)and(key2, value2)are equal if both their keys and values are equal.Additional notes:
- No collection equals
null(e.g.,Queue(1) != null) - Null elements are allowed and treated as expected
(e.g.,
List(null, 1) == Stream(null, 1),HashMap((null,1)) == LinkedHashMap((null,1))) - Element order matters only for
Seq - Other collection classes are equal if their types and elements (in iteration order) are equal
- Iterators are compared by reference only
-
hashCode
public int hashCode()Description copied from interface:TraversableReturns the hash code of this collection.Vavr distinguishes between collections with predictable iteration order (like
Seq) and collections with arbitrary iteration order (likeSet,Map, andMultimap). In all cases, the hash of an empty collection is defined as1.For collections with predictable iteration order, the hash is computed as:
int hash = 1; for (T t : this) { hash = hash * 31 + Objects.hashCode(t); }For collections with arbitrary iteration order, the hash is computed to be independent of element order:
int hash = 1; for (T t : this) { hash += Objects.hashCode(t); }Note that these algorithms may change in future Vavr versions. Hash codes are generally not cached, unlike size/length, because caching would increase memory usage due to persistent tree-based structures. Computing the hash code is linear in time, O(n). For frequently re-used collections (e.g., as
HashMapkeys), caching can be done externally using a wrapper, for example: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; if (key != null && o instanceof Hashed) return key.equals(((Hashed<?>) o).key); return false; } @Override public int hashCode() { return hashCode.get(); } @Override public String toString() { return "Hashed(" + key + ")"; } } -
stringPrefix
Description copied from interface:ValueReturns the name of this Value type, which is used by toString().- Specified by:
stringPrefixin interfaceValue<T>- Returns:
- This type name.
-
toString
Description copied from interface:ValueClarifies that values have a proper toString() method implemented.See Object.toString().
-
addAll
private static <T> HashArrayMappedTrie<T,T> addAll(HashArrayMappedTrie<T, T> initial, Iterable<? extends T> additional) -
writeReplace
@GwtIncompatible("The Java serialization protocol is explicitly not supported") private Object writeReplace()writeReplacemethod for the serialization proxy pattern.The presence of this method causes the serialization system to emit a SerializationProxy instance instead of an instance of the enclosing class.
- Returns:
- A SerializationProxy for this enclosing class.
-
readObject
@GwtIncompatible("The Java serialization protocol is explicitly not supported") private void readObject(ObjectInputStream stream) throws InvalidObjectException readObjectmethod for the serialization proxy pattern.Guarantees that the serialization system will never generate a serialized instance of the enclosing class.
- Parameters:
stream- An object serialization stream.- Throws:
InvalidObjectException- This method will throw with the message "Proxy required".
-