aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/artifact')
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux64
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux36
2 files changed, 50 insertions, 50 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!
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 2b10fe559..64155f029 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -1,26 +1,26 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- ["[0]" time]
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" try ("[1]#[0]" functor)]
- [parser
- ["<[0]>" text]]]
- [math
- ["[0]" random {"+" Random}]
- [number
- ["n" nat]
- ["i" int]]]]]
- [\\program
- ["[0]" /]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ ["[0]" time]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" try ("[1]#[0]" functor)]
+ [parser
+ ["<[0]>" text]]]
+ [math
+ ["[0]" random {"+" Random}]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\program
+ ["[0]" /]])
(def: .public random
(Random /.Time)
(random.one (|>> time.clock
- (with@ time.#milli_second 0)
+ (has time.#milli_second 0)
time.time)
random.time))