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 <C> P3<A,B,C>
P2. append(C el)
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)
<X> P3<X,B,C>
P3. map1(F<A,X> f)
Map the first element of the product.<X> P3<A,X,C>
P3. map2(F<B,X> f)
Map the second element of the product.<X> P3<A,B,X>
P3. map3(F<C,X> f)
Map the third element of the product.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 thetuple-3
type.Methods in fj with parameters of type P3 Modifier and Type Method Description <C,D,E>
P5<A,B,C,D,E>P2. append(P3<C,D,E> el)
<D,E,F>
P6<A,B,C,D,E,F>P3. append(P3<D,E,F> el)
<E,F,G>
P7<A,B,C,D,E,F,G>P4. append(P3<E,F,G> el)
<F,G,H>
P8<A,B,C,D,E,F,G,H>P5. append(P3<F,G,H> el)
-
Uses of P3 in fj.data
Fields in fj.data with type parameters of type P3 Modifier and Type Field Description private 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.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 <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,java.lang.Boolean> predicate, V acc)
(package private) abstract P3<Option<Digit<V,A>>,A,Option<Digit<V,A>>>
Digit. split1(F<V,java.lang.Boolean> predicate, V acc)
(package private) P3<FingerTree<V,A>,A,FingerTree<V,A>>
Empty. split1(F<V,java.lang.Boolean> predicate, V acc)
P3<FingerTree<V,A>,A,FingerTree<V,A>>
FingerTree. split1(F<V,java.lang.Boolean> predicate)
Likesplit
, but returns the element wherepred
first holds separately.(package private) abstract P3<FingerTree<V,A>,A,FingerTree<V,A>>
FingerTree. split1(F<V,java.lang.Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>,A,Option<Digit<V,A>>>
Four. split1(F<V,java.lang.Boolean> predicate, V acc)
(package private) abstract P3<Option<Digit<V,A>>,A,Option<Digit<V,A>>>
Node. split1(F<V,java.lang.Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>,A,Option<Digit<V,A>>>
Node2. split1(F<V,java.lang.Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>,A,Option<Digit<V,A>>>
Node3. split1(F<V,java.lang.Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>,A,Option<Digit<V,A>>>
One. split1(F<V,java.lang.Boolean> predicate, V acc)
(package private) P3<FingerTree<V,A>,A,FingerTree<V,A>>
Single. split1(F<V,java.lang.Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>,A,Option<Digit<V,A>>>
Three. split1(F<V,java.lang.Boolean> predicate, V acc)
(package private) P3<Option<Digit<V,A>>,A,Option<Digit<V,A>>>
Two. split1(F<V,java.lang.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.
-