aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact/snapshot
diff options
context:
space:
mode:
authorEduardo Julian2022-04-08 05:42:36 -0400
committerEduardo Julian2022-04-08 05:42:36 -0400
commit0d909187d5b9effcd08f533d50af7d29c0d6bfd8 (patch)
treec50f12c5e47e3db90c3a701b54ee9953da942210 /stdlib/source/test/aedifex/artifact/snapshot
parente5e4c2aff562e5c01fefb808d1d68a40f29c9cc5 (diff)
De-sigil-ification: $
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux76
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux58
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux72
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux62
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux78
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux52
6 files changed, 199 insertions, 199 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index b2c6417b1..cea873a6e 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -1,24 +1,24 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]
- [\\specification
- ["$[0]" equivalence]]]
- [control
- ["[0]" try ("[1]#[0]" functor)]
- [parser
- ["<[0]>" xml]]]
- [math
- ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
- ["$[0]" / "_"
- ["[1][0]" build]
- ["[1][0]" stamp]
- ["[1][0]" time]
- ["[1][0]" version]]
- [\\program
- ["[0]" /]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]
+ [\\specification
+ ["$[0]" equivalence]]]
+ [control
+ ["[0]" try ("[1]#[0]" functor)]
+ [parser
+ ["<[0]>" xml]]]
+ [math
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
+ ["$[0]" / "_"
+ ["[1][0]" build]
+ ["[1][0]" stamp]
+ ["[1][0]" time]
+ ["[1][0]" version]]
+ [\\program
+ ["[0]" /]])
(def: .public random
(Random /.Snapshot)
@@ -29,22 +29,22 @@
Test
(<| (_.covering /._)
(_.for [/.Snapshot]
- ($_ _.and
- (_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
-
- (do random.monad
- [expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- list
- (<xml>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
+ (all _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
+
+ (do random.monad
+ [expected ..random]
+ (_.cover [/.format /.parser]
+ (|> expected
+ /.format
+ list
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
- $/build.test
- $/stamp.test
- $/time.test
- $/version.test
- ))))
+ $/build.test
+ $/stamp.test
+ $/time.test
+ $/version.test
+ ))))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 0f3ca9799..b03fe7f10 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -1,19 +1,19 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]
- [\\specification
- ["$[0]" equivalence]]]
- [control
- ["[0]" try ("[1]#[0]" functor)]
- [parser
- ["<[0]>" xml]]]
- [math
- ["[0]" random {"+" Random}]]]]
- [\\program
- ["[0]" /]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]
+ [\\specification
+ ["$[0]" equivalence]]]
+ [control
+ ["[0]" try ("[1]#[0]" functor)]
+ [parser
+ ["<[0]>" xml]]]
+ [math
+ ["[0]" random {"+" Random}]]]]
+ [\\program
+ ["[0]" /]])
(def: .public random
(Random /.Build)
@@ -23,17 +23,17 @@
Test
(<| (_.covering /._)
(_.for [/.Build]
- ($_ _.and
- (_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
-
- (do random.monad
- [expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- list
- (<xml>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
- ))))
+ (all _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
+
+ (do random.monad
+ [expected ..random]
+ (_.cover [/.format /.parser]
+ (|> expected
+ /.format
+ list
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
+ ))))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index 3fa32fe46..181e39523 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -1,46 +1,46 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]
- [\\specification
- ["$[0]" equivalence]]]
- [control
- ["[0]" try ("[1]#[0]" functor)]
- [parser
- ["<[0]>" xml]]]
- [math
- ["[0]" random {"+" Random}]]
- [time
- ["[0]" instant]]]]
- [\\program
- ["[0]" /]]
- ["$[0]" // "_"
- ["[1][0]" time]
- ["[1][0]" build]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]
+ [\\specification
+ ["$[0]" equivalence]]]
+ [control
+ ["[0]" try ("[1]#[0]" functor)]
+ [parser
+ ["<[0]>" xml]]]
+ [math
+ ["[0]" random {"+" Random}]]
+ [time
+ ["[0]" instant]]]]
+ [\\program
+ ["[0]" /]]
+ ["$[0]" // "_"
+ ["[1][0]" time]
+ ["[1][0]" build]])
(def: .public random
(Random /.Stamp)
- ($_ random.and
- $//time.random
- $//build.random
- ))
+ (all random.and
+ $//time.random
+ $//build.random
+ ))
(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Stamp])
- ($_ _.and
- (_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (all _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
- (do random.monad
- [expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- (<xml>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
- )))
+ (do random.monad
+ [expected ..random]
+ (_.cover [/.format /.parser]
+ (|> expected
+ /.format
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
+ )))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index b48a8265f..4e8a63fe5 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -1,21 +1,21 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]
- [\\specification
- ["$[0]" equivalence]]]
- [control
- ["[0]" try ("[1]#[0]" functor)]
- [parser
- ["<[0]>" text]]]
- [math
- ["[0]" random {"+" Random}]]]]
- [\\program
- ["[0]" /]]
- ["$[0]" /// "_"
- ["[1][0]" time]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]
+ [\\specification
+ ["$[0]" equivalence]]]
+ [control
+ ["[0]" try ("[1]#[0]" functor)]
+ [parser
+ ["<[0]>" text]]]
+ [math
+ ["[0]" random {"+" Random}]]]]
+ [\\program
+ ["[0]" /]]
+ ["$[0]" /// "_"
+ ["[1][0]" time]])
(def: .public random
(Random /.Time)
@@ -25,18 +25,18 @@
Test
(<| (_.covering /._)
(_.for [/.Time])
- ($_ _.and
- (_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (all _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
- (do random.monad
- [expected ..random]
- ($_ _.and
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- (<text>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false)))
- ))
- )))
+ (do random.monad
+ [expected ..random]
+ (all _.and
+ (_.cover [/.format /.parser]
+ (|> expected
+ /.format
+ (<text>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false)))
+ ))
+ )))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 1f83c119d..1d32ff734 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -1,50 +1,50 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]
- [\\specification
- ["$[0]" equivalence]]]
- [control
- ["[0]" try ("[1]#[0]" functor)]
- [parser
- ["<[0]>" xml]]]
- [math
- ["[0]" random {"+" Random}]]]]
- [\\program
- ["[0]" /]]
- ["[0]" / "_"
- ["[1][0]" value]]
- ["$[0]" /// "_"
- ["[1][0]" type]
- ["[1][0]" time]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]
+ [\\specification
+ ["$[0]" equivalence]]]
+ [control
+ ["[0]" try ("[1]#[0]" functor)]
+ [parser
+ ["<[0]>" xml]]]
+ [math
+ ["[0]" random {"+" Random}]]]]
+ [\\program
+ ["[0]" /]]
+ ["[0]" / "_"
+ ["[1][0]" value]]
+ ["$[0]" /// "_"
+ ["[1][0]" type]
+ ["[1][0]" time]])
(def: .public random
(Random /.Version)
- ($_ random.and
- $///type.random
- (random.ascii/alpha 1)
- $///time.random
- ))
+ (all random.and
+ $///type.random
+ (random.ascii/alpha 1)
+ $///time.random
+ ))
(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Version])
- ($_ _.and
- (_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (all _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
- (do random.monad
- [expected ..random]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- list
- (<xml>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
+ (do random.monad
+ [expected ..random]
+ (_.cover [/.format /.parser]
+ (|> expected
+ /.format
+ list
+ (<xml>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
- /value.test
- )))
+ /value.test
+ )))
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index fba89a430..7967e935f 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -30,37 +30,37 @@
(def: .public random
(Random /.Value)
- ($_ random.and
- (random.ascii/alpha 5)
- (random.or (random#in [])
- $///stamp.random)
- ))
+ (all random.and
+ (random.ascii/alpha 5)
+ (random.or (random#in [])
+ $///stamp.random)
+ ))
(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Value])
- ($_ _.and
- (_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (all _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
- (do random.monad
- [sample random
- stamp $///stamp.random]
- (let [version (the /.#version sample)
+ (do random.monad
+ [sample random
+ stamp $///stamp.random]
+ (let [version (the /.#version sample)
- local!
- (text#= version
- (/.format (has /.#snapshot {///.#Local} sample)))
+ local!
+ (text#= version
+ (/.format (has /.#snapshot {///.#Local} sample)))
- remote_format (/.format [/.#version (format version /.snapshot)
- /.#snapshot {///.#Remote stamp}])
- remote!
- (and (text.starts_with? (format version (///time.format (the ///stamp.#time stamp)))
- remote_format)
- (text.ends_with? (%.nat (the ///stamp.#build stamp))
- remote_format))]
- (_.cover [/.snapshot /.format]
- (and local!
- remote!))))
- )))
+ remote_format (/.format [/.#version (format version /.snapshot)
+ /.#snapshot {///.#Remote stamp}])
+ remote!
+ (and (text.starts_with? (format version (///time.format (the ///stamp.#time stamp)))
+ remote_format)
+ (text.ends_with? (%.nat (the ///stamp.#build stamp))
+ remote_format))]
+ (_.cover [/.snapshot /.format]
+ (and local!
+ remote!))))
+ )))