Uses of Class
fj.P3

Packages that use P3

Package	Description
fj	Types that set the premise for the existence of Functional Java.
fj.data	Common algebraic data types.
fj.data.fingertrees	Provides 2-3 finger trees, a functional representation of persistent sequences supporting access to the ends in amortized O(1) time.
fj.data.vector	Fixed-length vectors

Uses of P3 in fj

Methods in fj that return P3

Modifier and Type	Method	Description
final <C> P3<A,B,C>	P2.append(C el)	Creates a P3 by adding the given element to the current P2
static <A,B,C> P3<A,B,C>	P.lazy(F<Unit,A> fa, F<Unit,B> fb, F<Unit,C> fc)
static <A,B,C> P3<A,B,C>	P.lazy(F0<A> pa, F0<B> pb, F0<C> pc)
final <X> P3<X,B,C>	P3.map1(F<A,X> f)	Map the first element of the product.
final <X> P3<A,X,C>	P3.map2(F<B,X> f)	Map the second element of the product.
final <X> P3<A,B,X>	P3.map3(F<C,X> f)	Map the third element of the product.
final P3<A,B,C>	P3.memo()	Provides a memoising P3 that remembers its values.
static <A,B,C> P3<A,B,C>	P.p(A a, B b, C c)	A function that puts elements in a product-3.

Methods in fj that return types with arguments of type P3

Modifier and Type	Method	Description
static <A,B,C> F<P3<A,B,C>, A>	P3.__1()	Returns a function that returns the first element of a product.
static <A,B,C> F<P3<A,B,C>, B>	P3.__2()	Returns a function that returns the second element of a product.
static <A,B,C> F<P3<A,B,C>, C>	P3.__3()	Returns a function that returns the third element of a product.
static <A,B,C> F<A, F<B, F<C, P3<A,B,C>>>>	P.p3()	A function that puts elements in a product-3.
static <A,B,C> Equal<P3<A,B,C>>	Equal.p3Equal(Equal<A> ea, Equal<B> eb, Equal<C> ec)	An equal instance for a product-3.
static <A,B,C> Hash<P3<A,B,C>>	Hash.p3Hash(Hash<A> ha, Hash<B> hb, Hash<C> hc)	A hash instance for a product-3.
static <A,B,C> Ord<P3<A,B,C>>	Ord.p3Ord(Ord<A> oa, Ord<B> ob, Ord<C> oc)	An order instance for a product-3, with the first factor considered most significant.
static <A,B,C> Show<P3<A,B,C>>	Show.p3Show(Show<A> sa, Show<B> sb, Show<C> sc)	A show instance for the tuple-3 type.

Methods in fj with parameters of type P3

Modifier and Type	Method	Description
final <C,D,E> P5<A,B,C,D,E>	P2.append(P3<C,D,E> el)	Creates a P5 by adding the given element to the current P2
final <D,E,F> P6<A,B,C,D,E,F>	P3.append(P3<D,E,F> el)	Creates a P6 by adding the given element to the current P3
final <E,F,G> P7<A,B,C,D,E,F,G>	P4.append(P3<E,F,G> el)	Creates a P7 by adding the given element to the current P4
final <F,G,H> P8<A,B,C,D,E,F,G,H>	P5.append(P3<F,G,H> el)	Creates a P8 by adding the given element to the current P5

Uses of P3 in fj.data

Fields in fj.data with type parameters of type P3

Modifier and Type	Field	Description
private final Stream<P3<Stream<Tree<A>>, A, Stream<Tree<A>>>>	TreeZipper.parents

Methods in fj.data that return P3

Modifier and Type	Method	Description
P3<Stream<A>, A, Stream<A>>	Zipper.p()	Returns the product-3 representation of this Zipper.
final P3<Set<A>, Option<A>, Set<A>>	Set.split(A a)	Splits this set at the given element.
P3<Set<V>, Option<V>, Set<V>>	TreeMap.split(Ord<V> ord, K k)	Splits this TreeMap at the given key.
P3<TreeMap<K,V>, Option<V>, TreeMap<K,V>>	TreeMap.splitLookup(K k)	Splits this TreeMap at the given key.

Methods in fj.data that return types with arguments of type P3

Modifier and Type	Method	Description
final <B,C> Option<P3<A,B,C>>	Option.bindProduct(Option<B> ob, Option<C> oc)
private Stream<P3<Stream<Tree<A>>, A, Stream<Tree<A>>>>	TreeZipper.downParents()
private static <A> Stream<P3<Stream<Tree<A>>, A, Stream<Tree<A>>>>	TreeZipper.lp3nil()
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.
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.
static <A> F<Zipper<A>, P3<Stream<A>, A, Stream<A>>>	Zipper.p_()	A first-class function that yields the product-3 representation of a given Zipper.
Stream<P3<Stream<Tree<A>>, A, Stream<Tree<A>>>>	TreeZipper.parents()	Returns the parents of the currently focused node.
static <A> F<Tree<A>, F<Stream<Tree<A>>, F<Stream<Tree<A>>, F<Stream<P3<Stream<Tree<A>>, A, Stream<Tree<A>>>>, TreeZipper<A>>>>>	TreeZipper.treeZipper()	First-class constructor for tree zippers.

Methods in fj.data with parameters of type P3

Modifier and Type	Method	Description
static <A> Zipper<A>	Zipper.zipper(P3<Stream<A>, A, Stream<A>> p)	Creates a new Zipper from the given triple.

Uses of P3 in fj.data.fingertrees

Methods in fj.data.fingertrees that return P3

Modifier and Type	Method	Description
(package private) P3<FingerTree<V,A>, A, FingerTree<V,A>>	Deep.split1(F<V,Boolean> predicate, V acc)
(package private) abstract P3<Option<Digit<V,A>>, A, Option<Digit<V,A>>>	Digit.split1(F<V,Boolean> predicate, V acc)
(package private) P3<FingerTree<V,A>, A, FingerTree<V,A>>	Empty.split1(F<V,Boolean> predicate, V acc)
final P3<FingerTree<V,A>, A, FingerTree<V,A>>	FingerTree.split1(F<V,Boolean> predicate)	Like split, but returns the element where pred first holds separately.
(package private) abstract P3<FingerTree<V,A>, A, FingerTree<V,A>>	FingerTree.split1(F<V,Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>, A, Option<Digit<V,A>>>	Four.split1(F<V,Boolean> predicate, V acc)
(package private) abstract P3<Option<Digit<V,A>>, A, Option<Digit<V,A>>>	Node.split1(F<V,Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>, A, Option<Digit<V,A>>>	Node2.split1(F<V,Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>, A, Option<Digit<V,A>>>	Node3.split1(F<V,Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>, A, Option<Digit<V,A>>>	One.split1(F<V,Boolean> predicate, V acc)
(package private) P3<FingerTree<V,A>, A, FingerTree<V,A>>	Single.split1(F<V,Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>, A, Option<Digit<V,A>>>	Three.split1(F<V,Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>, A, Option<Digit<V,A>>>	Two.split1(F<V,Boolean> predicate, V acc)

Uses of P3 in fj.data.vector

Methods in fj.data.vector that return P3

Modifier and Type	Method	Description
P3<A,A,A>	V3.p()	Returns a homogeneous product-3 equivalent to this vector.

Methods in fj.data.vector that return types with arguments of type P3

Modifier and Type	Method	Description
static <A> F<V3<A>, P3<A,A,A>>	V3.p_()	Returns a function that transforms a vector-3 to the equivalent product-3.

Methods in fj.data.vector with parameters of type P3

Modifier and Type	Method	Description
static <A> V3<A>	V3.p(P3<A,A,A> p)	Creates a vector-3 from a homogeneous product-3.