From 94e5802f594a73245fce0fbd885103b8bf210d57 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 2 Dec 2022 19:33:00 -0400 Subject: Added some simple time-series handling machinery. --- stdlib/source/test/aedifex/metadata/artifact.lux | 18 +++++++++--------- stdlib/source/test/aedifex/metadata/snapshot.lux | 18 +++++++++--------- 2 files changed, 18 insertions(+), 18 deletions(-) (limited to 'stdlib/source/test/aedifex/metadata') diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 1f5fc5f8e..af0474e2f 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -52,12 +52,12 @@ (random.alphabetic 5) (random.list 5 (random.alphabetic 5)) (do [! random.monad] - [year (at ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) - month (at ! each (|>> (n.% 12) (n.+ 1)) random.nat) - day_of_month (at ! each (|>> (n.% 28) (n.+ 1)) random.nat) - hour (at ! each (n.% 24) random.nat) - minute (at ! each (n.% 60) random.nat) - second (at ! each (n.% 60) random.nat)] + [year (of ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) + month (of ! each (|>> (n.% 12) (n.+ 1)) random.nat) + day_of_month (of ! each (|>> (n.% 28) (n.+ 1)) random.nat) + hour (of ! each (n.% 24) random.nat) + minute (of ! each (n.% 60) random.nat) + second (of ! each (n.% 60) random.nat)] (in (try.trusted (do try.monad [year (year.year year) @@ -93,7 +93,7 @@ /.format list (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.equivalence = expected)) (try.else false)))) (_.coverage [/.uri] (text#= (//.remote_project_uri artifact) @@ -102,7 +102,7 @@ [home (random.lower_cased 5) working_directory (random.lower_cased 5) .let [program (program.async (program.mock environment.empty home working_directory)) - fs (file.mock (at file.default separator)) + fs (file.mock (of file.default separator)) repository (///repository/local.repository program fs)]] (in (do async.monad [wrote? (/.write repository artifact expected) @@ -113,7 +113,7 @@ {try.#Failure _} false) (when actual {try.#Success actual} - (at /.equivalence = expected actual) + (of /.equivalence = expected actual) {try.#Failure _} false)))))) diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 30a8b0311..d8c1bbf92 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -56,12 +56,12 @@ (def random_instant (Random Instant) (do [! random.monad] - [year (at ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) - month (at ! each (|>> (n.% 12) (n.+ 1)) random.nat) - day_of_month (at ! each (|>> (n.% 28) (n.+ 1)) random.nat) - hour (at ! each (n.% 24) random.nat) - minute (at ! each (n.% 60) random.nat) - second (at ! each (n.% 60) random.nat)] + [year (of ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) + month (of ! each (|>> (n.% 12) (n.+ 1)) random.nat) + day_of_month (of ! each (|>> (n.% 28) (n.+ 1)) random.nat) + hour (of ! each (n.% 24) random.nat) + minute (of ! each (n.% 60) random.nat) + second (of ! each (n.% 60) random.nat)] (in (try.trusted (do try.monad [year (year.year year) @@ -105,7 +105,7 @@ /.format list (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.equivalence = expected)) (try.else false))) (_.coverage [/.uri] (text#= (//.remote_artifact_uri artifact) @@ -114,7 +114,7 @@ [home (random.lower_cased 5) working_directory (random.lower_cased 5) .let [program (program.async (program.mock environment.empty home working_directory)) - fs (file.mock (at file.default separator)) + fs (file.mock (of file.default separator)) repository (///repository/local.repository program fs)]] (in (do async.monad [wrote? (/.write repository artifact expected) @@ -125,7 +125,7 @@ {try.#Failure _} false) (when actual {try.#Success actual} - (at /.equivalence = expected actual) + (of /.equivalence = expected actual) {try.#Failure _} false)))))) -- cgit v1.2.3