Contents

interface Bool <A> Source #

Trait for things that have true and false values.

Methods

method A True () Source #

Returns True

Parameters

returns

True

method A False () Source #

Returns False

Parameters

returns

False

method A And (A a, A b) Source #

Returns the result of the logical AND operation between a and b

Parameters

returns

The result of the logical AND operation between a and b

method A Or (A a, A b) Source #

Returns the result of the logical OR operation between a and b

Parameters

returns

The result of the logical OR operation between a and b

method A Not (A a) Source #

Returns the result of the logical NOT operation on a

Parameters

returns

The result of the logical NOT operation on a

method A XOr (A a, A b) Source #

Returns the result of the logical exclusive-OR operation between a and b

Parameters

returns

The result of the logical exclusive-OR operation between a and b

method A Implies (A a, A b) Source #

Logical implication

Parameters

returns

If a is true that implies b, else true

method A BiCondition (A a, A b) Source #

Logical bi-conditional. Both a and b must be true, or both a and b must be false.

Parameters

returns

true if a == b, false otherwise