aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository
diff options
context:
space:
mode:
authorEduardo Julian2020-12-26 04:34:11 -0400
committerEduardo Julian2020-12-26 04:34:11 -0400
commit92dca9f487c625d27f6c291784ef709b0cc13a72 (patch)
tree6330635a19bb582d86f4402a9594dea4a1ab3fa0 /stdlib/source/test/aedifex/repository
parent4ca397765805eda5ddee393901ed3a02001a960a (diff)
Some renamings.
Diffstat (limited to 'stdlib/source/test/aedifex/repository')
-rw-r--r--stdlib/source/test/aedifex/repository/identity.lux3
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux27
2 files changed, 27 insertions, 3 deletions
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 98d798cf7..d2a7ce185 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -5,9 +5,6 @@
{[0 #spec]
[/
["$." equivalence]]}]
- [data
- ["." product]
- ["." text]]
[math
["." random (#+ Random)]]]
{#program
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
new file mode 100644
index 000000000..4242a318a
--- /dev/null
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -0,0 +1,27 @@
+(.module:
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ {[0 #spec]
+ [/
+ ["$." equivalence]]}]
+ [math
+ ["." random (#+ Random)]]]
+ {#program
+ ["." /]})
+
+(def: #export random
+ (Random /.Origin)
+ ($_ random.or
+ (random.ascii/alpha 10)
+ (random.ascii/alpha 10)
+ ))
+
+(def: #export test
+ Test
+ (<| (_.covering /._)
+ (_.for [/.Origin]
+ ($_ _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
+ ))))