aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact
diff options
context:
space:
mode:
authorEduardo Julian2022-06-16 00:48:19 -0400
committerEduardo Julian2022-06-16 00:48:19 -0400
commit9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch)
tree115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/test/aedifex/artifact
parentf92c806ee8da63f04bbefbf558f6249bacdb47ea (diff)
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/test/aedifex/artifact')
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux4
12 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 7ca90b6a6..80b49fdfb 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -18,7 +18,7 @@
["/[1]" //
["[1]" type]]]])
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Extension]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 628412bee..8888dc848 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -20,12 +20,12 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Snapshot)
(random.or (random#in [])
$/stamp.random))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Snapshot]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 71024f4d0..f6224dd0b 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -15,11 +15,11 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Build)
random.nat)
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Build]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index ae1ffb7a5..c24a06f5a 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -20,14 +20,14 @@
["[1][0]" time]
["[1][0]" build]])
-(def: .public random
+(def .public random
(Random /.Stamp)
(all random.and
$//time.random
$//build.random
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Stamp])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index a26532ce1..3b6136ce9 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -18,11 +18,11 @@
["$[0]" ///
["[1][0]" time]])
-(def: .public random
+(def .public random
(Random /.Time)
$///time.random)
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index c5c8f0e71..d2a3e01e4 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -20,7 +20,7 @@
["[1][0]" type]
["[1][0]" time]])
-(def: .public random
+(def .public random
(Random /.Version)
(all random.and
$///type.random
@@ -28,7 +28,7 @@
$///time.random
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Version])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 5fcef9a0c..0c63a2215 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -27,7 +27,7 @@
["[1][0]" stamp]
["[1][0]" time]]]])
-(def: .public random
+(def .public random
(Random /.Value)
(all random.and
(random.alphabetic 5)
@@ -35,7 +35,7 @@
$///stamp.random)
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Value])
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 8ee637360..c6ba0f2c0 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -23,14 +23,14 @@
["[1][0]" date]
["[1][0]" time]])
-(def: .public random
+(def .public random
(Random /.Time)
(do random.monad
[date /date.random
time /time.random]
(in [date time])))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index b53420e0a..6d2e4296a 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -23,7 +23,7 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Date)
(random.one (function (_ raw)
(try.maybe
@@ -35,7 +35,7 @@
(/.date raw))))
random.date))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Date])
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 9a7189e33..33bc56c87 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -18,14 +18,14 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Time)
(random.one (|>> time.clock
(has time.#milli_second 0)
time.time)
random.time))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index a2b5926e5..003123f40 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -16,7 +16,7 @@
[\\program
["[0]" /]])
-(def: .public random
+(def .public random
(Random /.Type)
(all random.either
(all random.either
@@ -28,7 +28,7 @@
(random#in /.sha-1))
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Type]
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index d1efdb17f..451d0b824 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -19,7 +19,7 @@
["[1][0]" snapshot (.only)
["[1]/[0]" version]]])
-(def: .public random
+(def .public random
(Random /.Versioning)
(all random.and
$//snapshot.random
@@ -27,7 +27,7 @@
(random.list 5 $//snapshot/version.random)
))
-(def: .public test
+(def .public test
Test
(<| (_.covering /._)
(_.for [/.Versioning])