diff options
author | Eduardo Julian | 2020-10-24 05:05:26 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-10-24 05:05:26 -0400 |
commit | bcd68d4691e7b2f6d56e0ab92b591c14d7a26a48 (patch) | |
tree | 3e739d4b5d963ad98f54e1748c28ea1d33aa7330 /stdlib/source/test/aedifex/dependency.lux | |
parent | c006a5fe8e82f6fc7c8cdb9db0f44c06d229f34e (diff) |
Re-named "search" to "one" and "search-all" to "all".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/dependency.lux | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux new file mode 100644 index 000000000..e7388189c --- /dev/null +++ b/stdlib/source/test/aedifex/dependency.lux @@ -0,0 +1,29 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + {[0 #spec] + [/ + ["$." equivalence]]}] + [math + ["." random (#+ Random)]]] + [// + ["@." artifact]] + {#program + ["." /]}) + +(def: #export random + (Random /.Dependency) + ($_ random.and + @artifact.random + (random.ascii/alpha 1))) + +(def: #export test + Test + (<| (_.covering /._) + (_.with-cover [/.Dependency] + ($_ _.and + (_.with-cover [/.equivalence] + ($equivalence.spec /.equivalence ..random)) + )))) |