Uses of Class
fj.P3
Packages that use P3
Package
Description
Types that set the premise for the existence of Functional Java.
Common algebraic data types.
Provides 2-3 finger trees, a functional representation of persistent sequences supporting access to the ends in
amortized O(1) time.
Fixed-length vectors
-
Uses of P3 in fj
Modifier and TypeMethodDescriptionP2.append
(C el) static <A,
B, C> P3 <A, B, C> static <A,
B, C> P3 <A, B, C> Map the first element of the product.Map the second element of the product.Map the third element of the product.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.Modifier and TypeMethodDescriptionP3.__1()
Returns a function that returns the first element of a product.P3.__2()
Returns a function that returns the second element of a product.P3.__3()
Returns a function that returns the third element of a product.P.p3()
A function that puts elements in a product-3.An equal instance for a product-3.A hash instance for a product-3.An order instance for a product-3, with the first factor considered most significant.A show instance for thetuple-3
type.Modifier and TypeMethodDescription -
Uses of P3 in fj.data
Modifier and TypeMethodDescriptionZipper.p()
Returns the product-3 representation of this Zipper.Splits this set at the given element.Splits this TreeMap at the given key.TreeMap.splitLookup
(K k) Splits this TreeMap at the given key.Modifier and TypeMethodDescriptionOption.bindProduct
(Option<B> ob, Option<C> oc) TreeZipper.downParents()
TreeZipper.lp3nil()
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.Zipper.p_()
A first-class function that yields the product-3 representation of a given Zipper.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. -
Uses of P3 in fj.data.fingertrees
Methods in fj.data.fingertrees that return P3Modifier and TypeMethodDescription(package private) P3
<FingerTree<V, A>, A, FingerTree<V, A>> (package private) P3
<FingerTree<V, A>, A, FingerTree<V, A>> final P3
<FingerTree<V, A>, A, FingerTree<V, A>> Likesplit
, but returns the element wherepred
first holds separately.(package private) abstract P3
<FingerTree<V, A>, A, FingerTree<V, A>> (package private) P3
<FingerTree<V, A>, A, FingerTree<V, A>> -
Uses of P3 in fj.data.vector
Methods in fj.data.vector that return P3Modifier and TypeMethodDescriptionV3.p()
Returns a homogeneous product-3 equivalent to this vector.Methods in fj.data.vector that return types with arguments of type P3Modifier and TypeMethodDescriptionV3.p_()
Returns a function that transforms a vector-3 to the equivalent product-3.Methods in fj.data.vector with parameters of type P3