aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/metadata
diff options
context:
space:
mode:
authorEduardo Julian2022-03-14 03:33:01 -0400
committerEduardo Julian2022-03-14 03:33:01 -0400
commit93eb82e1bf6d2f2a6b3b0adb85f4ab93cbb766a9 (patch)
tree9301db84130bb3714d57db1196e80e7325b7f880 /stdlib/source/test/aedifex/metadata
parentb8681fd206d5b5076b9737ee54f0cb0405a898d6 (diff)
De-sigil-ification: @
Diffstat (limited to 'stdlib/source/test/aedifex/metadata')
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux88
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux100
2 files changed, 94 insertions, 94 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
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index d59e79809..4735a6994 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -1,53 +1,53 @@
(.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} ("[1]#[0]" monad)]
- [number
- ["n" nat]]]
- ["[0]" time
- ["[0]" date]
- ["[0]" year]
- ["[0]" month]
- ["[0]" instant {"+" Instant}]
- ["[0]" duration]]
- [world
- ["[0]" file]
- ["[0]" program]]]]
- ["$[0]" /// "_"
- ["[1][0]" artifact
- ["[1]/[0]" type]
- ["[1]/[0]" time]
- ["[1]/[0]" snapshot "_"
- ["[1]/[0]" version]]]]
- [\\program
- ["[0]" /
- ["/[1]" //
- ["/[1]" // "_"
- [artifact
- [versioning {"+" Versioning}]
- ["[1][0]" snapshot]]
- ["[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} ("[1]#[0]" monad)]
+ [number
+ ["n" nat]]]
+ ["[0]" time
+ ["[0]" date]
+ ["[0]" year]
+ ["[0]" month]
+ ["[0]" instant {"+" Instant}]
+ ["[0]" duration]]
+ [world
+ ["[0]" file]
+ ["[0]" program]]]]
+ ["$[0]" /// "_"
+ ["[1][0]" artifact
+ ["[1]/[0]" type]
+ ["[1]/[0]" time]
+ ["[1]/[0]" snapshot "_"
+ ["[1]/[0]" version]]]]
+ [\\program
+ ["[0]" /
+ ["/[1]" //
+ ["/[1]" // "_"
+ [artifact
+ [versioning {"+" Versioning}]
+ ["[1][0]" snapshot]]
+ ["[1][0]" repository "_"
+ ["[1]/[0]" local]]]]]])
(def: random_instant
(Random Instant)
@@ -91,7 +91,7 @@
(_.for [/.Metadata])
(do random.monad
[expected ..random
- .let [artifact (value@ /.#artifact expected)]]
+ .let [artifact (the /.#artifact expected)]]
($_ _.and
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))