Package io.vavr.collection

Class List.Cons<T>

  • Type Parameters:
    T - Component type of the List.
    All Implemented Interfaces:
    Foldable<T>, LinearSeq<T>, List<T>, Seq<T>, Traversable<T>, Function1<java.lang.Integer,​T>, PartialFunction<java.lang.Integer,​T>, Value<T>, java.io.Serializable, java.lang.Iterable<T>, java.util.function.Function<java.lang.Integer,​T>
    Enclosing interface:
    List<T>
    public static final class List.Cons<T>
extends java.lang.Object
implements List<T>, java.io.Serializable
    Non-empty List, consisting of a head and a tail.
    See Also:
    Serialized Form

    • Field Detail

      • head

        private final T head

      • tail

        private final List<T> tail

      • length

        private final int length

    • Constructor Detail

      • Cons

        private Cons​(T head,
             List<T> tail)
        Creates a List consisting of a head value and a trailing List.
        Parameters:
        head - The head
        tail - The tail

    • Method Detail

      • head

        public T head()
        Description copied from interface: Traversable
        Returns the first element of this non-empty Traversable.
        Specified by:
        head in interface Traversable<T>
        Returns:
        the first element

      • length

        public int length()
        Description copied from interface: Traversable
        Returns the number of elements in this Traversable.

        Equivalent to Traversable.size().

        Specified by:
        length in interface List<T>
        Specified by:
        length in interface Traversable<T>
        Returns:
        the number of elements

      • tail

        public List<T> tail()
        Description copied from interface: Traversable
        Returns a new Traversable without its first element.
        Specified by:
        tail in interface LinearSeq<T>
        Specified by:
        tail in interface List<T>
        Specified by:
        tail in interface Seq<T>
        Specified by:
        tail in interface Traversable<T>
        Returns:
        a new Traversable containing all elements except the first

      • isEmpty

        public boolean isEmpty()
        Description copied from interface: Traversable
        Checks if this Traversable contains no elements.
        Specified by:
        isEmpty in interface List<T>
        Specified by:
        isEmpty in interface Traversable<T>
        Specified by:
        isEmpty in interface Value<T>
        Returns:
        true if empty, false otherwise

      • equals

        public boolean equals​(java.lang.Object o)
        Description copied from interface: Traversable
        Determines whether this collection is equal to the given object.

        In Vavr, there are four basic collection types:

        • Seq – sequential elements
        • Set – distinct elements
        • Map – key-value pairs
        • Multimap – keys mapped to multiple values
        Two collections are considered equal if and only if:
        • 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 Map and Multimap, 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
        Specified by:
        equals in interface Traversable<T>
        Specified by:
        equals in interface Value<T>
        Overrides:
        equals in class java.lang.Object
        Parameters:
        o - the object to compare with, may be null
        Returns:
        true if the collections are equal according to the rules above, false otherwise

      • hashCode

        public int hashCode()
        Description copied from interface: Traversable
        Returns the hash code of this collection.

        Vavr distinguishes between collections with predictable iteration order (like Seq) and collections with arbitrary iteration order (like Set, Map, and Multimap). In all cases, the hash of an empty collection is defined as 1.

        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 HashMap keys), caching can be done externally using a wrapper, for example:

        {@code
 public final class Hashed {
     private final K key;
     private final Lazy hashCode;

     public Hashed(K key) {
         this.key = key;
         this.hashCode = Lazy.of(() -> Objects.hashCode(key));
     }

     public K key() { return key; }
        Specified by:
        hashCode in interface Traversable<T>
        Specified by:
        hashCode in interface Value<T>
        Overrides:
        hashCode in class java.lang.Object
        Returns:
        the hash code of this collection

      • toString

        public java.lang.String toString()
        Description copied from interface: Value
        Clarifies that values have a proper toString() method implemented.

        See Object.toString().

        Specified by:
        toString in interface Value<T>
        Overrides:
        toString in class java.lang.Object
        Returns:
        A String representation of this object

      • writeReplace

        @GwtIncompatible("The Java serialization protocol is explicitly not supported")
private java.lang.Object writeReplace()
        writeReplace method 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​(java.io.ObjectInputStream stream)
                 throws java.io.InvalidObjectException
        readObject method 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:
        java.io.InvalidObjectException - This method will throw with the message "Proxy required".