Package com.jnape.palatable.lambda.monoid.builtin

Class Xor

java.lang.Object

com.jnape.palatable.lambda.monoid.builtin.Xor

All Implemented Interfaces:

Fn1<Boolean,Fn1<Boolean,Boolean>>, Fn2<Boolean,Boolean,Boolean>, BiPredicate<Boolean,Boolean>, Applicative<Fn1<Boolean,Boolean>,Fn1<Boolean,?>>, Cartesian<Boolean,Fn1<Boolean,Boolean>,Fn1<?,?>>, Cocartesian<Boolean,Fn1<Boolean,Boolean>,Fn1<?,?>>, Contravariant<Boolean,Profunctor<?,Fn1<Boolean,Boolean>,Fn1<?,?>>>, Functor<Fn1<Boolean,Boolean>,Fn1<Boolean,?>>, Profunctor<Boolean,Fn1<Boolean,Boolean>,Fn1<?,?>>, Monad<Fn1<Boolean,Boolean>,Fn1<Boolean,?>>, MonadReader<Boolean,Fn1<Boolean,Boolean>,Fn1<Boolean,?>>, MonadRec<Fn1<Boolean,Boolean>,Fn1<Boolean,?>>, MonadWriter<Boolean,Fn1<Boolean,Boolean>,Fn1<Boolean,?>>, Monoid<Boolean>, Semigroup<Boolean>

public final class Xor
extends Object
implements Monoid<Boolean>, BiPredicate<Boolean,Boolean>

Logical exclusive-or. Equivalent to logical ^.

Note that this implementation behaves as a cascade of binary exclusive-or operations, as is the only possible monoidal behavior when applied to an unknown number of inputs.

See Also:

• Or
• And

Field Summary

Fields

Modifier and Type	Field	Description
private static final Xor	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Xor()

Method Summary

Modifier and Type	Method	Description
Boolean	checkedApply(Boolean x, Boolean y)
Xor	flip()	Flip the order of the arguments.
Boolean	identity()	The identity element of this monoid.
static Xor	xor()
static Fn1<Boolean,Boolean>	xor(Boolean x)
static Boolean	xor(Boolean x, Boolean y)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.jnape.palatable.lambda.functions.specialized.BiPredicate

and, apply, contraMap, diMapL, discardR, negate, or, toBiPredicate, uncurry

Methods inherited from interface com.jnape.palatable.lambda.functions.Fn1

andThen, carry, cartesian, censor, choose, cocartesian, diMap, diMapR, discardL, flatMap, fmap, lazyZip, listens, local, pure, self, thunk, toFunction, trampolineM, zip, zip

Methods inherited from interface com.jnape.palatable.lambda.functions.Fn2

apply, checkedApply, compose, toBiFunction, widen

Methods inherited from interface com.jnape.palatable.lambda.functor.Functor

coerce

Methods inherited from interface com.jnape.palatable.lambda.monoid.Monoid

foldLeft, foldMap, foldRight, reduceLeft, reduceRight

Field Details

INSTANCE

private static final Xor INSTANCE

Constructor Details

Xor

private Xor()

Method Details

identity

public Boolean identity()

Description copied from interface: Monoid

The identity element of this monoid.

Specified by:

identity in interface Monoid<Boolean>

Returns:

the identity

checkedApply

public Boolean checkedApply(Boolean x,
 Boolean y)

Specified by:

checkedApply in interface Fn2<Boolean,Boolean,Boolean>

flip

public Xor flip()

Description copied from interface: Monoid

Flip the order of the arguments.

Specified by:

flip in interface BiPredicate<Boolean,Boolean>

Specified by:

flip in interface Fn2<Boolean,Boolean,Boolean>

Specified by:

flip in interface Monoid<Boolean>

Specified by:

flip in interface Semigroup<Boolean>

Returns:

an Fn2<B, A, C>

xor

public static Xor xor()

xor

public static Fn1<Boolean,Boolean> xor(Boolean x)

xor

public static Boolean xor(Boolean x,
 Boolean y)