From cad959345afb8bf0bd1e5eefe6c63f136833b3ce Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 22 Dec 2020 21:42:17 -0400
Subject: Properly naming unicode Block type.

---
 stdlib/source/test/aedifex/dependency/status.lux | 34 ++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 stdlib/source/test/aedifex/dependency/status.lux

(limited to 'stdlib/source/test/aedifex/dependency/status.lux')

diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
new file mode 100644
index 000000000..90cc547fa
--- /dev/null
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -0,0 +1,34 @@
+(.module:
+  [lux #*
+   ["_" test (#+ Test)]
+   [abstract
+    {[0 #spec]
+     [/
+      ["$." equivalence]]}]
+   [math
+    ["." random (#+ Random) ("#\." monad)]]]
+  ["$." /// #_
+   ["#." hash]]
+  {#program
+   ["." /
+    ["//#" /// #_
+     ["#." hash]]]})
+
+(def: #export random
+  (Random /.Status)
+  ($_ random.or
+      (random\wrap [])
+      (random.or ($///hash.random ///hash.sha-1)
+                 ($///hash.random ///hash.md5))
+      (random.and ($///hash.random ///hash.sha-1)
+                  ($///hash.random ///hash.md5))
+      ))
+
+(def: #export test
+  Test
+  (<| (_.covering /._)
+      (_.for [/.Status]
+             ($_ _.and
+                 (_.for [/.equivalence]
+                        ($equivalence.spec /.equivalence ..random))
+                 ))))
-- 
cgit v1.2.3