fj.P4 Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of functionaljava Show documentation
Show all versions of functionaljava Show documentation
Functional Java is an open source library that supports closures for the Java programming language
package fj;
import static fj.P.weakMemo;
/**
* A product-4.
*
* @version %build.number%
*/
public abstract class P4 {
/**
* Access the first element of the product.
*
* @return The first element of the product.
*/
public abstract A _1();
/**
* Access the second element of the product.
*
* @return The second element of the product.
*/
public abstract B _2();
/**
* Access the third element of the product.
*
* @return The third element of the product.
*/
public abstract C _3();
/**
* Access the fourth element of the product.
*
* @return The fourth element of the product.
*/
public abstract D _4();
/**
* Map the first element of the product.
*
* @param f The function to map with.
* @return A product with the given function applied.
*/
public final P4 map1(final F f) {
return new P4() {
public X _1() {
return f.f(P4.this._1());
}
public B _2() {
return P4.this._2();
}
public C _3() {
return P4.this._3();
}
public D _4() {
return P4.this._4();
}
};
}
/**
* Map the second element of the product.
*
* @param f The function to map with.
* @return A product with the given function applied.
*/
public final P4 map2(final F f) {
return new P4() {
public A _1() {
return P4.this._1();
}
public X _2() {
return f.f(P4.this._2());
}
public C _3() {
return P4.this._3();
}
public D _4() {
return P4.this._4();
}
};
}
/**
* Map the third element of the product.
*
* @param f The function to map with.
* @return A product with the given function applied.
*/
public final P4 map3(final F f) {
return new P4() {
public A _1() {
return P4.this._1();
}
public B _2() {
return P4.this._2();
}
public X _3() {
return f.f(P4.this._3());
}
public D _4() {
return P4.this._4();
}
};
}
/**
* Map the fourth element of the product.
*
* @param f The function to map with.
* @return A product with the given function applied.
*/
public final P4 map4(final F f) {
return new P4() {
public A _1() {
return P4.this._1();
}
public B _2() {
return P4.this._2();
}
public C _3() {
return P4.this._3();
}
public X _4() {
return f.f(P4.this._4());
}
};
}
/**
* Returns the 1-product projection over the first element.
*
* @return the 1-product projection over the first element.
*/
public final P1 _1_() {
return F1Functions.lazy(P4.__1()).f(this);
}
/**
* Returns the 1-product projection over the second element.
*
* @return the 1-product projection over the second element.
*/
public final P1 _2_() {
return F1Functions.lazy(P4.__2()).f(this);
}
/**
* Returns the 1-product projection over the third element.
*
* @return the 1-product projection over the third element.
*/
public final P1 _3_() {
return F1Functions.lazy(P4.__3()).f(this);
}
/**
* Returns the 1-product projection over the fourth element.
*
* @return the 1-product projection over the fourth element.
*/
public final P1 _4_() {
return F1Functions.lazy(P4.__4()).f(this);
}
/**
* Provides a memoising P4 that remembers its values.
*
* @return A P4 that calls this P4 once for any given element and remembers the value for subsequent calls.
*/
public final P4 memo() {
P4 self = this;
return new P4() {
private final P1 a = weakMemo(self::_1);
private final P1 b = weakMemo(self::_2);
private final P1 c = weakMemo(self::_3);
private final P1 d = weakMemo(self::_4);
public A _1() {
return a._1();
}
public B _2() {
return b._1();
}
public C _3() {
return c._1();
}
public D _4() {
return d._1();
}
};
}
/**
* Returns a function that returns the first element of a product.
*
* @return A function that returns the first element of a product.
*/
public static F, A> __1() {
return P4::_1;
}
/**
* Returns a function that returns the second element of a product.
*
* @return A function that returns the second element of a product.
*/
public static F, B> __2() {
return P4::_2;
}
/**
* Returns a function that returns the third element of a product.
*
* @return A function that returns the third element of a product.
*/
public static F, C> __3() {
return P4::_3;
}
/**
* Returns a function that returns the fourth element of a product.
*
* @return A function that returns the fourth element of a product.
*/
public static F, D> __4() {
return P4::_4;
}
@Override
public final String toString() {
return Show.p4Show(Show.anyShow(), Show.anyShow(), Show.anyShow(), Show.anyShow()).showS(this);
}
@Override
public final boolean equals(Object other) {
return Equal.equals0(P4.class, this, other,
() -> Equal.p4Equal(Equal.anyEqual(), Equal.anyEqual(), Equal.anyEqual(), Equal.anyEqual()));
}
@Override
public final int hashCode() {
return Hash.p4Hash(Hash.anyHash(), Hash.anyHash(), Hash.anyHash(), Hash.anyHash()).hash(this);
}
}