public final class V7<A>
extends java.lang.Object
implements java.lang.Iterable<A>
Modifier and Type | Method and Description |
---|---|
static <A> F<V7<A>,A> |
__1()
A first-class function to get the first element of a vector.
|
static <A> F<V7<A>,A> |
__2()
A first-class function to get the second element of a vector.
|
static <A> F<V7<A>,A> |
__3()
A first-class function to get the third element of a vector.
|
static <A> F<V7<A>,A> |
__4()
A first-class function to get the fourth element of a vector.
|
static <A> F<V7<A>,A> |
__5()
A first-class function to get the fifth element of a vector.
|
static <A> F<V7<A>,A> |
__6()
A first-class function to get the sixth element of a vector.
|
static <A> F<V7<A>,A> |
__7()
A first-class function to get the seventh element of a vector.
|
A |
_1()
Returns the first element of this vector.
|
A |
_2()
Returns the second element of this vector.
|
A |
_3()
Returns the third element of this vector.
|
A |
_4()
Returns the fourth element of this vector.
|
A |
_5()
Returns the fifth element of this vector.
|
A |
_6()
Returns the sixth element of this vector.
|
A |
_7()
Returns the seventh element of this vector.
|
<B> V7<B> |
apply(V7<F<A,B>> vf)
Performs function application within a vector (applicative functor pattern).
|
static <A> V7<A> |
cons(P1<A> head,
V6<A> tail)
Creates a vector-7 from a head and a tail.
|
P1<A> |
head()
Returns the first element of this vector, as a product-1.
|
java.util.Iterator<A> |
iterator()
Returns an iterator for the elements of this vector.
|
<B> V7<B> |
map(F<A,B> f)
Maps the given function across this vector.
|
static <A> F<V7<A>,P7<A,A,A,A,A,A,A>> |
p_()
Returns a function that transforms a vector-7 to the equivalent product-7.
|
P7<A,A,A,A,A,A,A> |
p()
Returns a homogeneous product-7 equivalent to this vector.
|
static <A> V7<A> |
p(P7<A,A,A,A,A,A,A> p)
Creates a vector-7 from a homogeneous product-7.
|
V6<A> |
tail()
Returns all but the first element of this vector, as a vector-6.
|
Array<A> |
toArray()
Returns an array with the elements of this vector.
|
NonEmptyList<A> |
toNonEmptyList()
Returns a nonempty list with the elements of this vector.
|
static <A> F<V7<A>,Stream<A>> |
toStream_()
Returns a function that transforms a vector-7 to a stream of its elements.
|
Stream<A> |
toStream()
Returns a stream of the elements of this vector.
|
V7<V2<A>> |
vzip(V7<A> bs)
Zips this vector with the given vector to produce a vector of vectors.
|
<B> V7<P2<A,B>> |
zip(V7<B> bs)
Zips this vector with the given vector to produce a vector of pairs.
|
<B,C> V7<C> |
zipWith(F<A,F<B,C>> f,
V7<B> bs)
Zips this vector with the given vector using the given function to produce a new vector.
|
public static <A> V7<A> p(P7<A,A,A,A,A,A,A> p)
p
- The product-7 from which to create a vector.public static <A> V7<A> cons(P1<A> head, V6<A> tail)
head
- The value to put as the first element of the vector.tail
- The vector representing all but the first element of the new vector.public A _1()
public A _2()
public A _3()
public A _4()
public A _5()
public A _6()
public A _7()
public V6<A> tail()
public P1<A> head()
public java.util.Iterator<A> iterator()
iterator
in interface java.lang.Iterable<A>
public P7<A,A,A,A,A,A,A> p()
public NonEmptyList<A> toNonEmptyList()
public Stream<A> toStream()
public Array<A> toArray()
public <B> V7<B> map(F<A,B> f)
f
- The function to map across this vector.public <B> V7<B> apply(V7<F<A,B>> vf)
vf
- The vector of functions to apply.public <B,C> V7<C> zipWith(F<A,F<B,C>> f, V7<B> bs)
bs
- The vector to zip this vector with.f
- The function to zip this vector and the given vector with.public <B> V7<P2<A,B>> zip(V7<B> bs)
bs
- The vector to zip this vector with.public V7<V2<A>> vzip(V7<A> bs)
bs
- The vector to zip this vector with.public static <A> F<V7<A>,Stream<A>> toStream_()
public static <A> F<V7<A>,P7<A,A,A,A,A,A,A>> p_()
public static <A> F<V7<A>,A> __1()
public static <A> F<V7<A>,A> __2()
public static <A> F<V7<A>,A> __3()
public static <A> F<V7<A>,A> __4()
public static <A> F<V7<A>,A> __5()
public static <A> F<V7<A>,A> __6()