P4 (core 3.2 API)

java.lang.Object
- fj.P4<A,B,C,D>

public abstract class P4<A,B,C,D>
extends java.lang.Object

A product-4.

Constructor Summary

Constructors
Constructor and Description

P4()

Constructors
Constructor and Description
`P4()`

Method Summary

Methods
Modifier and Type	Method and Description
`static <A,B,C,D> F<P4<A,B,C,D>,A>`	`__1()` Returns a function that returns the first element of a product.
`static <A,B,C,D> F<P4<A,B,C,D>,B>`	`__2()` Returns a function that returns the second element of a product.
`static <A,B,C,D> F<P4<A,B,C,D>,C>`	`__3()` Returns a function that returns the third element of a product.
`static <A,B,C,D> F<P4<A,B,C,D>,D>`	`__4()` Returns a function that returns the fourth element of a product.
`P1<A>`	`_1_()` Returns the 1-product projection over the first element.
`abstract A`	`_1()` Access the first element of the product.
`P1<B>`	`_2_()` Returns the 1-product projection over the second element.
`abstract B`	`_2()` Access the second element of the product.
`P1<C>`	`_3_()` Returns the 1-product projection over the third element.
`abstract C`	`_3()` Access the third element of the product.
`P1<D>`	`_4_()` Returns the 1-product projection over the fourth element.
`abstract D`	`_4()` Access the fourth element of the product.
`<X> P4<X,B,C,D>`	`map1(F<A,X> f)` Map the first element of the product.
`<X> P4<A,X,C,D>`	`map2(F<B,X> f)` Map the second element of the product.
`<X> P4<A,B,X,D>`	`map3(F<C,X> f)` Map the third element of the product.
`<X> P4<A,B,C,X>`	`map4(F<D,X> f)` Map the fourth element of the product.
`P4<A,B,C,D>`	`memo()` Provides a memoising P4 that remembers its values.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - P4
```
public P4()
```
- Method Detail
  - _1
```
public abstract A _1()
```
    Access the first element of the product.
    
    Returns:
    The first element of the product.
  - _2
```
public abstract B _2()
```
    Access the second element of the product.
    
    Returns:
    The second element of the product.
  - _3
```
public abstract C _3()
```
    Access the third element of the product.
    
    Returns:
    The third element of the product.
  - _4
```
public abstract D _4()
```
    Access the fourth element of the product.
    
    Returns:
    The fourth element of the product.
  - map1
```
public final <X> P4<X,B,C,D> map1(F<A,X> f)
```
    Map the first element of the product.
    
    Parameters:
    f - The function to map with.
    
    Returns:
    A product with the given function applied.
  - map2
```
public final <X> P4<A,X,C,D> map2(F<B,X> f)
```
    Map the second element of the product.
    
    Parameters:
    f - The function to map with.
    
    Returns:
    A product with the given function applied.
  - map3
```
public final <X> P4<A,B,X,D> map3(F<C,X> f)
```
    Map the third element of the product.
    
    Parameters:
    f - The function to map with.
    
    Returns:
    A product with the given function applied.
  - map4
```
public final <X> P4<A,B,C,X> map4(F<D,X> f)
```
    Map the fourth element of the product.
    
    Parameters:
    f - The function to map with.
    
    Returns:
    A product with the given function applied.
  - _1_
```
public final P1<A> _1_()
```
    Returns the 1-product projection over the first element.
    
    Returns:
    the 1-product projection over the first element.
  - _2_
```
public final P1<B> _2_()
```
    Returns the 1-product projection over the second element.
    
    Returns:
    the 1-product projection over the second element.
  - _3_
```
public final P1<C> _3_()
```
    Returns the 1-product projection over the third element.
    
    Returns:
    the 1-product projection over the third element.
  - _4_
```
public final P1<D> _4_()
```
    Returns the 1-product projection over the fourth element.
    
    Returns:
    the 1-product projection over the fourth element.
  - memo
```
public final P4<A,B,C,D> memo()
```
    Provides a memoising P4 that remembers its values.
    
    Returns:
    A P4 that calls this P4 once for any given element and remembers the value for subsequent calls.
  - __1
```
public static <A,B,C,D> F<P4<A,B,C,D>,A> __1()
```
    Returns a function that returns the first element of a product.
    
    Returns:
    A function that returns the first element of a product.
  - __2
```
public static <A,B,C,D> F<P4<A,B,C,D>,B> __2()
```
    Returns a function that returns the second element of a product.
    
    Returns:
    A function that returns the second element of a product.
  - __3
```
public static <A,B,C,D> F<P4<A,B,C,D>,C> __3()
```
    Returns a function that returns the third element of a product.
    
    Returns:
    A function that returns the third element of a product.
  - __4
```
public static <A,B,C,D> F<P4<A,B,C,D>,D> __4()
```
    Returns a function that returns the fourth element of a product.
    
    Returns:
    A function that returns the fourth element of a product.

Class P4<A,B,C,D>

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

P4

Method Detail

_1

_2

_3

_4

map1

map2

map3

map4

_1_

_2_

_3_

_4_

memo

__1

__2

__3

__4