Uses of Class
fj.P4
Packages that use P4
Package
Description
Types that set the premise for the existence of Functional Java.
Common algebraic data types.
Fixed-length vectors
-
Uses of P4 in fj
Modifier and TypeMethodDescriptionP3.append
(D el) static <A,
B, C, D>
P4<A, B, C, D> static <A,
B, C, D>
P4<A, B, C, D> Map the first element of the product.Map the second element of the product.Map the third element of the product.Map the fourth element of the product.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.Modifier and TypeMethodDescriptionP4.__1()
Returns a function that returns the first element of a product.P4.__2()
Returns a function that returns the second element of a product.P4.__3()
Returns a function that returns the third element of a product.P4.__4()
Returns a function that returns the fourth element of a product.P.p4()
A function that puts an element in a product-4.An equal instance for a product-4.A hash instance for a product-4.A show instance for thetuple-4
type.Modifier and TypeMethodDescription -
Uses of P4 in fj.data
Modifier and TypeMethodDescriptionTreeZipper.p()
Returns the product-4 representation of this zipper.Modifier and TypeMethodDescriptionOption.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 P4Modifier and TypeMethodDescriptionV4.p()
Returns a homogeneous product-4 equivalent to this vector.Methods in fj.data.vector that return types with arguments of type P4Modifier and TypeMethodDescriptionV4.p_()
Returns a function that transforms a vector-4 to the equivalent product-4.Methods in fj.data.vector with parameters of type P4