Uses of Class
fj.data.vector.V7
Packages that use V7
Package
Description
Types that set the premise for the existence of Functional Java.
Fixed-length vectors
-
Uses of V7 in fj
-
Uses of V7 in fj.data.vector
Fields in fj.data.vector declared as V7Methods in fj.data.vector that return V7Modifier and TypeMethodDescription<B> V7
<B> Performs function application within a vector (applicative functor pattern).static <A> V7
<A> Creates a vector-7 from a head and a tail.<B> V7
<B> Maps the given function across this vector.static <A> V7
<A> Creates a vector-7 from a homogeneous product-7.V8.tail()
Returns all but the first element of this vector, as a vector-7.Zips this vector with the given vector to produce a vector of vectors.Zips this vector with the given vector to produce a vector of pairs.<B,
C> V7 <C> Zips this vector with the given vector using the given function to produce a new vector.Methods in fj.data.vector that return types with arguments of type V7Modifier and TypeMethodDescriptionV7.__1()
A first-class function to get the first element of a vector.V7.__2()
A first-class function to get the second element of a vector.V7.__3()
A first-class function to get the third element of a vector.V7.__4()
A first-class function to get the fourth element of a vector.V7.__5()
A first-class function to get the fifth element of a vector.V7.__6()
A first-class function to get the sixth element of a vector.V7.__7()
A first-class function to get the seventh element of a vector.V7.p_()
Returns a function that transforms a vector-7 to the equivalent product-7.V7.toStream_()
Returns a function that transforms a vector-7 to a stream of its elements.Methods in fj.data.vector with parameters of type V7Modifier and TypeMethodDescription<B> V7
<B> Performs function application within a vector (applicative functor pattern).static <A> V8
<A> Creates a vector-8 from a head and a tail.Zips this vector with the given vector to produce a vector of vectors.Zips this vector with the given vector to produce a vector of pairs.<B,
C> V7 <C> Zips this vector with the given vector using the given function to produce a new vector.Constructors in fj.data.vector with parameters of type V7