boolean.py

import arithmetic as ar

_true = lambda x: lambda y: x
_false = lambda x: lambda y: y
_if_else = lambda b: lambda op1: lambda op2: b(op1)(op2)
_and = lambda b1: lambda b2: b1(b2)(_false)
_or = lambda b1: lambda b2: b1(_true)(b2)
_not = lambda b: b(_false)(_true)
_xor = lambda b1: lambda b2: b1(_not(b2))(b2)
_is_zero = lambda n: n(lambda x:_false)(_true) 
_leq = lambda n1: lambda n2: _is_zero(ar._sub(n1)(n2))
_geq = lambda n1: lambda n2: _is_zero(ar._sub(n2)(n1))
_eq = lambda n1: lambda n2: _if_else(_and(_leq(n1)(n2))(_geq(n1)(n2)))(_true)(_false)
_less = lambda n1: lambda n2: _if_else(_and(_leq(n1)(n2))(_not(_eq(n1)(n2))))(_true)(_false)
_gtr = lambda n1: lambda n2: _if_else(_and(_geq(n1)(n2))(_not(_eq(n1)(n2))))(_true)(_false)