|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfj.pre.Equal<A>
public final class Equal<A>
Tests for equality between two objects.
Field Summary | |
---|---|
static Equal<BigDecimal> |
bigdecimalEqual
An equal instance for the BigDecimal type. |
static Equal<BigInteger> |
bigintEqual
An equal instance for the BigInteger type. |
static Equal<Boolean> |
booleanEqual
An equal instance for the boolean type. |
static Equal<Byte> |
byteEqual
An equal instance for the byte type. |
static Equal<Character> |
charEqual
An equal instance for the char type. |
static Equal<Double> |
doubleEqual
An equal instance for the double type. |
static Equal<LazyString> |
eq
An equal instance for lazy strings. |
static Equal<Float> |
floatEqual
An equal instance for the float type. |
static Equal<HList.HNil> |
hListEqual
An equal instance for the empty heterogeneous list. |
static Equal<Integer> |
intEqual
An equal instance for the int type. |
static Equal<Long> |
longEqual
An equal instance for the long type. |
static Equal<Short> |
shortEqual
An equal instance for the short type. |
static Equal<StringBuffer> |
stringBufferEqual
An equal instance for the StringBuffer type. |
static Equal<StringBuilder> |
stringBuilderEqual
An equal instance for the StringBuilder type. |
static Equal<String> |
stringEqual
An equal instance for the String type. |
Method Summary | ||
---|---|---|
static
|
anyEqual()
Returns an equal instance that uses the Object.equals(Object) method to test for
equality. |
|
static
|
arrayEqual(Equal<A> ea)
An equal instance for the Array type. |
|
|
comap(F<B,A> f)
Maps the given function across this equal as a contra-variant functor. |
|
static
|
eitherEqual(Equal<A> ea,
Equal<B> eb)
An equal instance for the Either type. |
|
F2<A,A,Boolean> |
eq()
First-class equality check. |
|
F<A,Boolean> |
eq(A a)
Partially applied equality check. |
|
boolean |
eq(A a1,
A a2)
Returns true if the two given arguments are equal, false otherwise. |
|
static
|
equal(F<A,F<A,Boolean>> f)
Constructs an equal instance from the given function. |
|
static
|
hListEqual(Equal<E> e,
Equal<L> l)
An equal instance for heterogeneous lists. |
|
static
|
listEqual(Equal<A> ea)
An equal instance for the List type. |
|
static
|
nonEmptyListEqual(Equal<A> ea)
An equal instance for the NonEmptyList type. |
|
static
|
optionEqual(Equal<A> ea)
An equal instance for the Option type. |
|
static
|
p1Equal(Equal<A> ea)
An equal instance for a product-1. |
|
static
|
p2Equal(Equal<A> ea,
Equal<B> eb)
An equal instance for a product-2. |
|
static
|
p3Equal(Equal<A> ea,
Equal<B> eb,
Equal<C> ec)
An equal instance for a product-3. |
|
static
|
p4Equal(Equal<A> ea,
Equal<B> eb,
Equal<C> ec,
Equal<D> ed)
An equal instance for a product-4. |
|
static
|
p5Equal(Equal<A> ea,
Equal<B> eb,
Equal<C> ec,
Equal<D> ed,
Equal<E> ee)
An equal instance for a product-5. |
|
static
|
p6Equal(Equal<A> ea,
Equal<B> eb,
Equal<C> ec,
Equal<D> ed,
Equal<E> ee,
Equal<F$> ef)
An equal instance for a product-6. |
|
static
|
p7Equal(Equal<A> ea,
Equal<B> eb,
Equal<C> ec,
Equal<D> ed,
Equal<E> ee,
Equal<F$> ef,
Equal<G> eg)
An equal instance for a product-7. |
|
static
|
p8Equal(Equal<A> ea,
Equal<B> eb,
Equal<C> ec,
Equal<D> ed,
Equal<E> ee,
Equal<F$> ef,
Equal<G> eg,
Equal<H> eh)
An equal instance for a product-8. |
|
static
|
setEqual(Equal<A> e)
Equal instance for sets. |
|
static
|
streamEqual(Equal<A> ea)
An equal instance for the Stream type. |
|
static
|
treeEqual(Equal<A> ea)
An equal instance for the Tree type. |
|
static
|
v2Equal(Equal<A> ea)
An equal instance for a vector-2. |
|
static
|
v3Equal(Equal<A> ea)
An equal instance for a vector-3. |
|
static
|
v4Equal(Equal<A> ea)
An equal instance for a vector-4. |
|
static
|
v5Equal(Equal<A> ea)
An equal instance for a vector-5. |
|
static
|
v6Equal(Equal<A> ea)
An equal instance for a vector-6. |
|
static
|
v7Equal(Equal<A> ea)
An equal instance for a vector-7. |
|
static
|
v8Equal(Equal<A> ea)
An equal instance for a vector-8. |
|
static
|
validationEqual(Equal<A> ea,
Equal<B> eb)
An equal instance for the Validation type. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final Equal<Boolean> booleanEqual
boolean
type.
public static final Equal<Byte> byteEqual
byte
type.
public static final Equal<Character> charEqual
char
type.
public static final Equal<Double> doubleEqual
double
type.
public static final Equal<Float> floatEqual
float
type.
public static final Equal<Integer> intEqual
int
type.
public static final Equal<BigInteger> bigintEqual
BigInteger
type.
public static final Equal<BigDecimal> bigdecimalEqual
BigDecimal
type.
public static final Equal<Long> longEqual
long
type.
public static final Equal<Short> shortEqual
short
type.
public static final Equal<String> stringEqual
String
type.
public static final Equal<StringBuffer> stringBufferEqual
StringBuffer
type.
public static final Equal<StringBuilder> stringBuilderEqual
StringBuilder
type.
public static final Equal<LazyString> eq
public static final Equal<HList.HNil> hListEqual
Method Detail |
---|
public boolean eq(A a1, A a2)
true
if the two given arguments are equal, false
otherwise.
a1
- An object to test for equality against another.a2
- An object to test for equality against another.
true
if the two given arguments are equal, false
otherwise.public F2<A,A,Boolean> eq()
true
if the two given arguments are equal.public F<A,Boolean> eq(A a)
a
- An object to test for equality against another.
true
if the given argument equals the argument to this method.public <B> Equal<B> comap(F<B,A> f)
f
- The function to map.
public static <A> Equal<A> equal(F<A,F<A,Boolean>> f)
f
- The function to construct the equal with.
public static <A> Equal<A> anyEqual()
Object.equals(Object)
method to test for
equality.
Object.equals(Object)
method to test for
equality.public static <A,B> Equal<Either<A,B>> eitherEqual(Equal<A> ea, Equal<B> eb)
Either
type.
ea
- Equality across the left side of Either
.eb
- Equality across the right side of Either
.
Either
type.public static <A,B> Equal<Validation<A,B>> validationEqual(Equal<A> ea, Equal<B> eb)
Validation
type.
ea
- Equality across the failing side of Validation
.eb
- Equality across the succeeding side of Validation
.
Validation
type.public static <A> Equal<List<A>> listEqual(Equal<A> ea)
List
type.
ea
- Equality across the elements of the list.
List
type.public static <A> Equal<NonEmptyList<A>> nonEmptyListEqual(Equal<A> ea)
NonEmptyList
type.
ea
- Equality across the elements of the non-empty list.
NonEmptyList
type.public static <A> Equal<Option<A>> optionEqual(Equal<A> ea)
Option
type.
ea
- Equality across the element of the option.
Option
type.public static <A> Equal<Stream<A>> streamEqual(Equal<A> ea)
Stream
type.
ea
- Equality across the elements of the stream.
Stream
type.public static <A> Equal<Array<A>> arrayEqual(Equal<A> ea)
Array
type.
ea
- Equality across the elements of the array.
Array
type.public static <A> Equal<Tree<A>> treeEqual(Equal<A> ea)
Tree
type.
ea
- Equality across the elements of the tree.
Tree
type.public static <A> Equal<P1<A>> p1Equal(Equal<A> ea)
ea
- Equality across the first element of the product.
public static <A,B> Equal<P2<A,B>> p2Equal(Equal<A> ea, Equal<B> eb)
ea
- Equality across the first element of the product.eb
- Equality across the second element of the product.
public static <A,B,C> Equal<P3<A,B,C>> p3Equal(Equal<A> ea, Equal<B> eb, Equal<C> ec)
ea
- Equality across the first element of the product.eb
- Equality across the second element of the product.ec
- Equality across the third element of the product.
public static <A,B,C,D> Equal<P4<A,B,C,D>> p4Equal(Equal<A> ea, Equal<B> eb, Equal<C> ec, Equal<D> ed)
ea
- Equality across the first element of the product.eb
- Equality across the second element of the product.ec
- Equality across the third element of the product.ed
- Equality across the fourth element of the product.
public static <A,B,C,D,E> Equal<P5<A,B,C,D,E>> p5Equal(Equal<A> ea, Equal<B> eb, Equal<C> ec, Equal<D> ed, Equal<E> ee)
ea
- Equality across the first element of the product.eb
- Equality across the second element of the product.ec
- Equality across the third element of the product.ed
- Equality across the fourth element of the product.ee
- Equality across the fifth element of the product.
public static <A,B,C,D,E,F$> Equal<P6<A,B,C,D,E,F$>> p6Equal(Equal<A> ea, Equal<B> eb, Equal<C> ec, Equal<D> ed, Equal<E> ee, Equal<F$> ef)
ea
- Equality across the first element of the product.eb
- Equality across the second element of the product.ec
- Equality across the third element of the product.ed
- Equality across the fourth element of the product.ee
- Equality across the fifth element of the product.ef
- Equality across the sixth element of the product.
public static <A,B,C,D,E,F$,G> Equal<P7<A,B,C,D,E,F$,G>> p7Equal(Equal<A> ea, Equal<B> eb, Equal<C> ec, Equal<D> ed, Equal<E> ee, Equal<F$> ef, Equal<G> eg)
ea
- Equality across the first element of the product.eb
- Equality across the second element of the product.ec
- Equality across the third element of the product.ed
- Equality across the fourth element of the product.ee
- Equality across the fifth element of the product.ef
- Equality across the sixth element of the product.eg
- Equality across the seventh element of the product.
public static <A,B,C,D,E,F$,G,H> Equal<P8<A,B,C,D,E,F$,G,H>> p8Equal(Equal<A> ea, Equal<B> eb, Equal<C> ec, Equal<D> ed, Equal<E> ee, Equal<F$> ef, Equal<G> eg, Equal<H> eh)
ea
- Equality across the first element of the product.eb
- Equality across the second element of the product.ec
- Equality across the third element of the product.ed
- Equality across the fourth element of the product.ee
- Equality across the fifth element of the product.ef
- Equality across the sixth element of the product.eg
- Equality across the seventh element of the product.eh
- Equality across the eighth element of the product.
public static <A> Equal<V2<A>> v2Equal(Equal<A> ea)
ea
- Equality across the elements of the vector.
public static <A> Equal<V3<A>> v3Equal(Equal<A> ea)
ea
- Equality across the elements of the vector.
public static <A> Equal<V4<A>> v4Equal(Equal<A> ea)
ea
- Equality across the elements of the vector.
public static <A> Equal<V5<A>> v5Equal(Equal<A> ea)
ea
- Equality across the elements of the vector.
public static <A> Equal<V6<A>> v6Equal(Equal<A> ea)
ea
- Equality across the elements of the vector.
public static <A> Equal<V7<A>> v7Equal(Equal<A> ea)
ea
- Equality across the elements of the vector.
public static <A> Equal<V8<A>> v8Equal(Equal<A> ea)
ea
- Equality across the elements of the vector.
public static <E,L extends HList<L>> Equal<HList.HCons<E,L>> hListEqual(Equal<E> e, Equal<L> l)
e
- Equality for the first element of the list.l
- Equality for the rest of the list.
public static <A> Equal<Set<A>> setEqual(Equal<A> e)
e
- Equality for the set elements.
|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |