aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/metadata/artifact.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/metadata/artifact.lux')
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux88
1 files changed, 44 insertions, 44 deletions
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index a77881197..bf94bf600 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -1,45 +1,45 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]
- [\\specification
- ["$[0]" equivalence]]]
- [control
- ["[0]" maybe]
- ["[0]" try ("[1]#[0]" functor)]
- [parser
- ["[0]" environment]
- ["<[0]>" xml]]
- [concurrency
- ["[0]" async]]]
- [data
- ["[0]" text ("[1]#[0]" equivalence)]
- [collection
- ["[0]" list]]]
- [macro
- ["[0]" code]]
- [math
- ["[0]" random {"+" Random}]
- [number
- ["n" nat]]]
- ["[0]" time
- ["[0]" date]
- ["[0]" year]
- ["[0]" month]
- ["[0]" instant]
- ["[0]" duration]]
- [world
- ["[0]" file]
- ["[0]" program]]]]
- [\\program
- ["[0]" /
- ["/[1]" //
- ["/[1]" // "_"
- ["[1][0]" artifact]
- ["[1][0]" repository "_"
- ["[1]/[0]" local]]]]]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]
+ [\\specification
+ ["$[0]" equivalence]]]
+ [control
+ ["[0]" maybe]
+ ["[0]" try ("[1]#[0]" functor)]
+ [parser
+ ["[0]" environment]
+ ["<[0]>" xml]]
+ [concurrency
+ ["[0]" async]]]
+ [data
+ ["[0]" text ("[1]#[0]" equivalence)]
+ [collection
+ ["[0]" list]]]
+ [macro
+ ["[0]" code]]
+ [math
+ ["[0]" random {"+" Random}]
+ [number
+ ["n" nat]]]
+ ["[0]" time
+ ["[0]" date]
+ ["[0]" year]
+ ["[0]" month]
+ ["[0]" instant]
+ ["[0]" duration]]
+ [world
+ ["[0]" file]
+ ["[0]" program]]]]
+ [\\program
+ ["[0]" /
+ ["/[1]" //
+ ["/[1]" // "_"
+ ["[1][0]" artifact]
+ ["[1][0]" repository "_"
+ ["[1]/[0]" local]]]]]])
(def: .public random
(Random /.Metadata)
@@ -72,10 +72,10 @@
(_.for [/.Metadata])
(do random.monad
[expected ..random
- .let [artifact [///artifact.#group (value@ /.#group expected)
- ///artifact.#name (value@ /.#name expected)
+ .let [artifact [///artifact.#group (the /.#group expected)
+ ///artifact.#name (the /.#name expected)
///artifact.#version (|> expected
- (value@ /.#versions)
+ (the /.#versions)
list.head
(maybe.else ""))]]]
($_ _.and