Uses of Class
fj.P4
-
Packages that use P4 Package Description fj Types that set the premise for the existence of Functional Java.fj.data Common algebraic data types.fj.data.vector Fixed-length vectors -
-
Uses of P4 in fj
Methods in fj that return P4 Modifier and Type Method Description <C,D>
P4<A,B,C,D>P2. append(P2<C,D> el)
<D> P4<A,B,C,D>
P3. append(D el)
static <A,B,C,D>
P4<A,B,C,D>P. lazy(F<Unit,A> fa, F<Unit,B> fb, F<Unit,C> fc, F<Unit,D> fd)
static <A,B,C,D>
P4<A,B,C,D>P. lazy(F0<A> pa, F0<B> pb, F0<C> pc, F0<D> pd)
<X> P4<X,B,C,D>
P4. map1(F<A,X> f)
Map the first element of the product.<X> P4<A,X,C,D>
P4. map2(F<B,X> f)
Map the second element of the product.<X> P4<A,B,X,D>
P4. map3(F<C,X> f)
Map the third element of the product.<X> P4<A,B,C,X>
P4. map4(F<D,X> f)
Map the fourth element of the product.P4<A,B,C,D>
P4. memo()
Provides a memoising P4 that remembers its values.static <A,B,C,D>
P4<A,B,C,D>P. p(A a, B b, C c, D d)
A function that puts elements in a product-4.Methods in fj that return types with arguments of type P4 Modifier and Type Method Description static <A,B,C,D>
F<P4<A,B,C,D>,A>P4. __1()
Returns a function that returns the first element of a product.static <A,B,C,D>
F<P4<A,B,C,D>,B>P4. __2()
Returns a function that returns the second element of a product.static <A,B,C,D>
F<P4<A,B,C,D>,C>P4. __3()
Returns a function that returns the third element of a product.static <A,B,C,D>
F<P4<A,B,C,D>,D>P4. __4()
Returns a function that returns the fourth element of a product.static <A,B,C,D>
F<A,F<B,F<C,F<D,P4<A,B,C,D>>>>>P. p4()
A function that puts an element in a product-4.static <A,B,C,D>
Equal<P4<A,B,C,D>>Equal. p4Equal(Equal<A> ea, Equal<B> eb, Equal<C> ec, Equal<D> ed)
An equal instance for a product-4.static <A,B,C,D>
Hash<P4<A,B,C,D>>Hash. p4Hash(Hash<A> ha, Hash<B> hb, Hash<C> hc, Hash<D> hd)
A hash instance for a product-4.static <A,B,C,D>
Show<P4<A,B,C,D>>Show. p4Show(Show<A> sa, Show<B> sb, Show<C> sc, Show<D> sd)
A show instance for thetuple-4
type.Methods in fj with parameters of type P4 Modifier and Type Method Description <C,D,E,F>
P6<A,B,C,D,E,F>P2. append(P4<C,D,E,F> el)
<D,E,F,G>
P7<A,B,C,D,E,F,G>P3. append(P4<D,E,F,G> el)
<E,F,G,H>
P8<A,B,C,D,E,F,G,H>P4. append(P4<E,F,G,H> el)
-
Uses of P4 in fj.data
Methods in fj.data that return P4 Modifier and Type Method Description P4<Tree<A>,Stream<Tree<A>>,Stream<Tree<A>>,Stream<P3<Stream<Tree<A>>,A,Stream<Tree<A>>>>>
TreeZipper. p()
Returns the product-4 representation of this zipper.Methods in fj.data that return types with arguments of type P4 Modifier and Type Method Description <B,C,D>
Option<P4<A,B,C,D>>Option. bindProduct(Option<B> ob, Option<C> oc, Option<D> od)
static <A> F<TreeZipper<A>,P4<Tree<A>,Stream<Tree<A>>,Stream<Tree<A>>,Stream<P3<Stream<Tree<A>>,A,Stream<Tree<A>>>>>>
TreeZipper. p_()
A first-class function that returns the product-4 representation of a given zipper. -
Uses of P4 in fj.data.vector
Methods in fj.data.vector that return P4 Modifier and Type Method Description P4<A,A,A,A>
V4. p()
Returns a homogeneous product-4 equivalent to this vector.Methods in fj.data.vector that return types with arguments of type P4 Modifier and Type Method Description static <A> F<V4<A>,P4<A,A,A,A>>
V4. p_()
Returns a function that transforms a vector-4 to the equivalent product-4.Methods in fj.data.vector with parameters of type P4 Modifier and Type Method Description static <A> V4<A>
V4. p(P4<A,A,A,A> p)
Creates a vector-4 from a homogeneous product-4.
-