Moved all spec(ifications) from under "test/" to under "spec/".

1 files changed, 23 insertions, 0 deletions

diff --git a/stdlib/source/spec/lux/abstract/equivalence.lux b/stdlib/source/spec/lux/abstract/equivalence.lux
new file mode 100644
index 000000000..b511ba176
--- /dev/null
+++ b/stdlib/source/spec/lux/abstract/equivalence.lux
@@ -0,0 +1,23 @@
+(.module:
+  [lux #*
+   ["_" test (#+ Test)]
+   [abstract
+    [monad (#+ do)]]
+   [math
+    ["." random (#+ Random)]]]
+  {1
+   ["." / (#+ Equivalence)]})
+
+(def: #export (spec (^open "_@.") generator)
+  (All [a] (-> (Equivalence a) (Random a) Test))
+  (do random.monad
+    [left generator
+     right generator]
+    (<| (_.with-cover [/.Equivalence])
+        ($_ _.and
+            (_.test "Reflexivity."
+                    (_@= left left))
+            (_.test "Symmetry."
+                    (if (_@= left right)
+                      (_@= right left)
+                      (not (_@= right left))))))))