fj.function

Class Booleans

java.lang.Object

fj.function.Booleans

public final class Booleans
extends java.lang.Object

Curried logical functions.

Field Summary

Fields

Modifier and Type	Field and Description
static F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>>	and Curried form of logical "and" (conjunction).
static F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>>	if_ Curried form of logical "if" (reverse material implication).
static F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>>	iff Curried form of logical "if and only if" (biconditional, equivalence).
static F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>>	implies Curried form of logical "only if" (material implication).
static F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>>	nif Curried form of logical "not if" (reverse nonimplication).
static F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>>	nimp Curried form of logical "not implies" (nonimplication).
static F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>>	nor Curried form of logical "not or".
static F<java.lang.Boolean,java.lang.Boolean>	not Logical negation.
static F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>>	or Curried form of logical "inclusive or" (disjunction).
static F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>>	xor Curried form of logical xor (nonequivalence).

Method Summary

Methods

Modifier and Type	Method and Description
static boolean	and(List<java.lang.Boolean> l) Returns true if all the elements of the given list are true.
static boolean	and(Stream<java.lang.Boolean> l) Returns true if all the elements of the given stream are true.
static <A> F<java.lang.Boolean,F<A,F<A,A>>>	cond() Curried form of conditional.
static <A> F<A,java.lang.Boolean>	not(F<A,java.lang.Boolean> p) Negates the given predicate.
static boolean	or(List<java.lang.Boolean> l) Returns true if any element of the given list is true.
static boolean	or(Stream<java.lang.Boolean> l) Returns true if any element of the given stream is true.

Methods inherited from class java.lang.Object

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

Field Detail

or

public static final F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>> or

Curried form of logical "inclusive or" (disjunction).

and

public static final F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>> and

Curried form of logical "and" (conjunction).

xor

public static final F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>> xor

Curried form of logical xor (nonequivalence).

not

public static final F<java.lang.Boolean,java.lang.Boolean> not

Logical negation.

implies

public static final F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>> implies

Curried form of logical "only if" (material implication).

if_

public static final F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>> if_

Curried form of logical "if" (reverse material implication).

iff

public static final F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>> iff

Curried form of logical "if and only if" (biconditional, equivalence).

nimp

public static final F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>> nimp

Curried form of logical "not implies" (nonimplication).

nif

public static final F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>> nif

Curried form of logical "not if" (reverse nonimplication).

nor

public static final F<java.lang.Boolean,F<java.lang.Boolean,java.lang.Boolean>> nor

Curried form of logical "not or".

Method Detail

and

public static boolean and(List<java.lang.Boolean> l)

Returns true if all the elements of the given list are true.

Parameters:

l - A list to check for all the elements being true.

Returns:

true if all the elements of the given list are true. False otherwise.

and

public static boolean and(Stream<java.lang.Boolean> l)

Returns true if all the elements of the given stream are true.

Parameters:

l - A stream to check for all the elements being true.

Returns:

true if all the elements of the given stream are true. False otherwise.

or

public static boolean or(List<java.lang.Boolean> l)

Returns true if any element of the given list is true.

Parameters:

l - A list to check for any element being true.

Returns:

true if any element of the given list is true. False otherwise.

or

public static boolean or(Stream<java.lang.Boolean> l)

Returns true if any element of the given stream is true.

Parameters:

l - A stream to check for any element being true.

Returns:

true if any element of the given stream is true. False otherwise.

not

public static <A> F<A,java.lang.Boolean> not(F<A,java.lang.Boolean> p)

Negates the given predicate.

Parameters:

p - A predicate to negate.

Returns:

The negation of the given predicate.

cond

public static <A> F<java.lang.Boolean,F<A,F<A,A>>> cond()

Curried form of conditional. If the first argument is true, returns the second argument, otherwise the third argument.

Returns:

A function that returns its second argument if the first argument is true, otherwise the third argument.