aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/metadata/snapshot.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/metadata/snapshot.lux')
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux100
1 files changed, 50 insertions, 50 deletions
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))