Module lambda_calculus::booleans
[−]
[src]
Functions
and |
Applied to two Church-encoded booleans it returns their Church-encoded conjunction. |
fls |
A Church-encoded boolean false. |
if_else |
Applied to a Church encoded predicate and two terms it returns the first one if the predicate is true or the second one if the predicate is false. |
not |
Applied to a Church-encoded boolean it returns its Church-encoded negation. |
or |
Applied to two Church-encoded booleans it returns their Church-encoded disjunction. |
tru |
A Church-encoded boolean true. |
xor |
Applied to a Church-encoded boolean it returns its Church-encoded exclusive disjunction. |