aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact/snapshot
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/artifact/snapshot
parentb8681fd206d5b5076b9737ee54f0cb0405a898d6 (diff)
De-sigil-ification: @
Diffstat (limited to 'stdlib/source/test/aedifex/artifact/snapshot')
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux64
1 files changed, 32 insertions, 32 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 6e7947aff..fba89a430 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -1,32 +1,32 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]
- [\\specification
- ["$[0]" equivalence]]]
- [control
- ["[0]" try ("[1]#[0]" functor)]
- [parser
- ["<[0]>" text]]]
- [data
- ["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" format}]]]
- [math
- ["[0]" random {"+" Random} ("[1]#[0]" monad)]
- [number
- ["n" nat]
- ["i" int]]]
- [time
- ["[0]" instant]]]]
- ["$[0]" /// "_"
- ["[1][0]" stamp]]
- [\\program
- ["[0]" /
- ["//[1]" ///
- ["[1][0]" stamp]
- ["[1][0]" time]]]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]
+ [\\specification
+ ["$[0]" equivalence]]]
+ [control
+ ["[0]" try ("[1]#[0]" functor)]
+ [parser
+ ["<[0]>" text]]]
+ [data
+ ["[0]" text ("[1]#[0]" equivalence)
+ ["%" format {"+" format}]]]
+ [math
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
+ [number
+ ["n" nat]
+ ["i" int]]]
+ [time
+ ["[0]" instant]]]]
+ ["$[0]" /// "_"
+ ["[1][0]" stamp]]
+ [\\program
+ ["[0]" /
+ ["//[1]" ///
+ ["[1][0]" stamp]
+ ["[1][0]" time]]]])
(def: .public random
(Random /.Value)
@@ -47,18 +47,18 @@
(do random.monad
[sample random
stamp $///stamp.random]
- (let [version (value@ /.#version sample)
+ (let [version (the /.#version sample)
local!
(text#= version
- (/.format (with@ /.#snapshot {///.#Local} sample)))
+ (/.format (has /.#snapshot {///.#Local} sample)))
remote_format (/.format [/.#version (format version /.snapshot)
/.#snapshot {///.#Remote stamp}])
remote!
- (and (text.starts_with? (format version (///time.format (value@ ///stamp.#time stamp)))
+ (and (text.starts_with? (format version (///time.format (the ///stamp.#time stamp)))
remote_format)
- (text.ends_with? (%.nat (value@ ///stamp.#build stamp))
+ (text.ends_with? (%.nat (the ///stamp.#build stamp))
remote_format))]
(_.cover [/.snapshot /.format]
(and local!