diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/test/test/lux/math/logic/continuous.lux | 38 | ||||
| -rw-r--r-- | stdlib/test/tests.lux | 3 |
2 files changed, 40 insertions, 1 deletions
diff --git a/stdlib/test/test/lux/math/logic/continuous.lux b/stdlib/test/test/lux/math/logic/continuous.lux new file mode 100644 index 000000000..883d54a06 --- /dev/null +++ b/stdlib/test/test/lux/math/logic/continuous.lux @@ -0,0 +1,38 @@ +## Copyright (c) Eduardo Julian. All rights reserved. +## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. +## If a copy of the MPL was not distributed with this file, +## You can obtain one at http://mozilla.org/MPL/2.0/. + +(;module: + lux + (lux (codata [io]) + (control monad) + (codata function) + ["R" random] + pipe + ["&" math/logic/continuous]) + lux/test) + +(test: "Operations" + [left R;deg + right R;deg] + ($_ seq + (assert "AND is the minimum." + (let [result (&;and~ left right)] + (and (d.<= left result) + (d.<= right result)))) + + (assert "OR is the maximum." + (let [result (&;or~ left right)] + (and (d.>= left result) + (d.>= right result)))) + + (assert "Double negation results in the original value." + (d.= left (&;not~ (&;not~ left)))) + + (assert "Every value is equivalent to itself." + (and (d.>= left + (&;=~ left left)) + (d.>= right + (&;=~ right right)))) + )) diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux index 8e0c165c1..fdcf01457 100644 --- a/stdlib/test/tests.lux +++ b/stdlib/test/tests.lux @@ -56,7 +56,8 @@ (math ["_;" ratio] ["_;" complex] ## ["_;" random] - ["_;" simple]) + ["_;" simple] + (logic ["_;" continuous])) ## ["_;" macro] (macro ["_;" ast] ["_;" syntax] |