aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/artifact.lux')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux94
1 files changed, 47 insertions, 47 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 11ff833da..1a0c7cb29 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -1,38 +1,38 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]
- [hash {"+" Hash}]
- [\\specification
- ["$[0]" equivalence]
- ["$[0]" order]
- ["$[0]" hash]]]
- [data
- ["[0]" text ("[1]#[0]" equivalence)]]
- [math
- ["[0]" random {"+" Random}]]
- [world
- ["[0]" file]
- [net
- ["[0]" uri]]]]]
- ["[0]" / "_"
- ["[1][0]" extension]
- ["[1][0]" snapshot]
- ["[1][0]" time]
- ["[1][0]" type]
- ["[1][0]" versioning]]
- [\\program
- ["[0]" /]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]
+ [hash {"+" Hash}]
+ [\\specification
+ ["$[0]" equivalence]
+ ["$[0]" order]
+ ["$[0]" hash]]]
+ [data
+ ["[0]" text ("[1]#[0]" equivalence)]]
+ [math
+ ["[0]" random {"+" Random}]]
+ [world
+ ["[0]" file]
+ [net
+ ["[0]" uri]]]]]
+ ["[0]" / "_"
+ ["[1][0]" extension]
+ ["[1][0]" snapshot]
+ ["[1][0]" time]
+ ["[1][0]" type]
+ ["[1][0]" versioning]]
+ [\\program
+ ["[0]" /]])
(def: .public random
(Random /.Artifact)
(let [size 4]
- ($_ random.and
- (random.ascii/lower size)
- (random.ascii/lower size)
- (random.ascii/lower size))))
+ (all random.and
+ (random.ascii/lower size)
+ (random.ascii/lower size)
+ (random.ascii/lower size))))
(def: .public test
Test
@@ -41,21 +41,21 @@
[sample ..random])
(_.for [/.Group /.Name /.Version
/.Artifact]
- ($_ _.and
- (_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
- (_.for [/.order]
- ($order.spec /.order ..random))
- (_.for [/.hash]
- ($hash.spec /.hash ..random))
+ (all _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
+ (_.for [/.order]
+ ($order.spec /.order ..random))
+ (_.for [/.hash]
+ ($hash.spec /.hash ..random))
- (_.cover [/.format /.identity]
- (and (text.ends_with? (/.identity sample) (/.format sample))
- (not (text#= (/.identity sample) (/.format sample)))))
-
- /extension.test
- /snapshot.test
- /time.test
- /type.test
- /versioning.test
- ))))
+ (_.cover [/.format /.identity]
+ (and (text.ends_with? (/.identity sample) (/.format sample))
+ (not (text#= (/.identity sample) (/.format sample)))))
+
+ /extension.test
+ /snapshot.test
+ /time.test
+ /type.test
+ /versioning.test
+ ))))