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

    Methods in fj that return P4
    Modifier and Type
    Method
    Description
    final <C, D> P4<A,B,C,D>
    P2.append(P2<C,D> el)
    Creates a P4 by adding the given element to the current P2
    final <D> P4<A,B,C,D>
    P3.append(D el)
    Creates a P4 by adding the given element to the current P3
    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)
     
    final <X> P4<X,B,C,D>
    P4.map1(F<A,X> f)
    Map the first element of the product.
    final <X> P4<A,X,C,D>
    P4.map2(F<B,X> f)
    Map the second element of the product.
    final <X> P4<A,B,X,D>
    P4.map3(F<C,X> f)
    Map the third element of the product.
    final <X> P4<A,B,C,X>
    P4.map4(F<D,X> f)
    Map the fourth element of the product.
    final 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 the tuple-4 type.
    Methods in fj with parameters of type P4
    Modifier and Type
    Method
    Description
    final <C, D, E, F>
    P6<A,B,C,D,E,F>
    P2.append(P4<C,D,E,F> el)
    Creates a P6 by adding the given element to the current P2
    final <D, E, F, G>
    P7<A,B,C,D,E,F,G>
    P3.append(P4<D,E,F,G> el)
    Creates a P7 by adding the given element to the current P3
    final <E, F, G, H>
    P8<A,B,C,D,E,F,G,H>
    P4.append(P4<E,F,G,H> el)
    Creates a P8 by adding the given element to the current P4
  • Uses of P4 in fj.data

    Methods in fj.data that return P4
    Modifier and Type
    Method
    Description
    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
    final <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.