diff options
Diffstat (limited to 'stdlib/source/lux/math/logic/continuous.lux')
-rw-r--r-- | stdlib/source/lux/math/logic/continuous.lux | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/lux/math/logic/continuous.lux b/stdlib/source/lux/math/logic/continuous.lux index c81f5e526..0546cb46c 100644 --- a/stdlib/source/lux/math/logic/continuous.lux +++ b/stdlib/source/lux/math/logic/continuous.lux @@ -2,38 +2,38 @@ lux (lux (data [number "Deg/" Interval<Deg>]))) -(def: #export TRUE Deg Deg/top) -(def: #export FALSE Deg Deg/bottom) +(def: #export ~true Deg Deg/top) +(def: #export ~false Deg Deg/bottom) (do-template [<name> <chooser>] [(def: #export <name> (-> Deg Deg Deg) <chooser>)] - [and~ d.min] - [or~ d.max] + [~and d.min] + [~or d.max] ) -(def: #export (not~ input) +(def: #export (~not input) (-> Deg Deg) - (d.- input TRUE)) + (d.- input ~true)) -(def: #export (implies~ consequent antecedent) +(def: #export (~implies consequent antecedent) (-> Deg Deg Deg) - (or~ (not~ antecedent) + (~or (~not antecedent) consequent)) (def: #export (includes~ sub super) (-> Deg Deg Deg) - (let [-sub (not~ sub) + (let [-sub (~not sub) sum (d.+ -sub super) no-overflow? (and (d.>= -sub sum) (d.>= super sum))] (if no-overflow? sum - TRUE))) + ~true))) -(def: #export (=~ left right) +(def: #export (~= left right) (-> Deg Deg Deg) - (and~ (or~ (not~ left) right) - (or~ left (not~ right)))) + (~and (~or (~not left) right) + (~or left (~not right)))) |