public abstract class P7<A,B,C,D,E,F,G>
extends java.lang.Object
Constructor and Description |
---|
P7() |
Modifier and Type | Method and Description |
---|---|
static <A,B,C,D,E,F$,G> |
__1()
Returns a function that returns the first element of a product.
|
static <A,B,C,D,E,F$,G> |
__2()
Returns a function that returns the second element of a product.
|
static <A,B,C,D,E,F$,G> |
__3()
Returns a function that returns the third element of a product.
|
static <A,B,C,D,E,F$,G> |
__4()
Returns a function that returns the fourth element of a product.
|
static <A,B,C,D,E,F$,G> |
__5()
Returns a function that returns the fifth element of a product.
|
static <A,B,C,D,E,F$,G> |
__6()
Returns a function that returns the sixth element of a product.
|
static <A,B,C,D,E,F$,G> |
__7()
Returns a function that returns the seventh 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.
|
P1<E> |
_5_()
Returns the 1-product projection over the fifth element.
|
abstract E |
_5()
Access the fifth element of the product.
|
P1<F> |
_6_()
Returns the 1-product projection over the sixth element.
|
abstract F |
_6()
Access the sixth element of the product.
|
P1<G> |
_7_()
Returns the 1-product projection over the seventh element.
|
abstract G |
_7()
Access the seventh element of the product.
|
boolean |
equals(java.lang.Object other) |
int |
hashCode() |
<X> P7<X,B,C,D,E,F,G> |
map1(F<A,X> f)
Map the first element of the product.
|
<X> P7<A,X,C,D,E,F,G> |
map2(F<B,X> f)
Map the second element of the product.
|
<X> P7<A,B,X,D,E,F,G> |
map3(F<C,X> f)
Map the third element of the product.
|
<X> P7<A,B,C,X,E,F,G> |
map4(F<D,X> f)
Map the fourth element of the product.
|
<X> P7<A,B,C,D,X,F,G> |
map5(F<E,X> f)
Map the fifth element of the product.
|
<X> P7<A,B,C,D,E,X,G> |
map6(F<F,X> f)
Map the sixth element of the product.
|
<X> P7<A,B,C,D,E,F,X> |
map7(F<G,X> f)
Map the seventh element of the product.
|
P7<A,B,C,D,E,F,G> |
memo()
Provides a memoising P7 that remembers its values.
|
java.lang.String |
toString() |
public abstract A _1()
public abstract B _2()
public abstract C _3()
public abstract D _4()
public abstract E _5()
public abstract F _6()
public abstract G _7()
public final <X> P7<X,B,C,D,E,F,G> map1(F<A,X> f)
f
- The function to map with.public final <X> P7<A,X,C,D,E,F,G> map2(F<B,X> f)
f
- The function to map with.public final <X> P7<A,B,X,D,E,F,G> map3(F<C,X> f)
f
- The function to map with.public final <X> P7<A,B,C,X,E,F,G> map4(F<D,X> f)
f
- The function to map with.public final <X> P7<A,B,C,D,X,F,G> map5(F<E,X> f)
f
- The function to map with.public final <X> P7<A,B,C,D,E,X,G> map6(F<F,X> f)
f
- The function to map with.public final <X> P7<A,B,C,D,E,F,X> map7(F<G,X> f)
f
- The function to map with.public final P1<A> _1_()
public final P1<B> _2_()
public final P1<C> _3_()
public final P1<D> _4_()
public final P1<E> _5_()
public final P1<F> _6_()
public final P1<G> _7_()
public final P7<A,B,C,D,E,F,G> memo()
public static <A,B,C,D,E,F$,G> F<P7<A,B,C,D,E,F$,G>,A> __1()
public static <A,B,C,D,E,F$,G> F<P7<A,B,C,D,E,F$,G>,B> __2()
public static <A,B,C,D,E,F$,G> F<P7<A,B,C,D,E,F$,G>,C> __3()
public static <A,B,C,D,E,F$,G> F<P7<A,B,C,D,E,F$,G>,D> __4()
public static <A,B,C,D,E,F$,G> F<P7<A,B,C,D,E,F$,G>,E> __5()
public static <A,B,C,D,E,F$,G> F<P7<A,B,C,D,E,F$,G>,F$> __6()
public static <A,B,C,D,E,F$,G> F<P7<A,B,C,D,E,F$,G>,G> __7()
public final java.lang.String toString()
toString
in class java.lang.Object
public final boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public final int hashCode()
hashCode
in class java.lang.Object