aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact
diff options
context:
space:
mode:
authorEduardo Julian2022-12-23 20:58:58 -0400
committerEduardo Julian2022-12-23 20:58:58 -0400
commitad1391ea1cdd33167339d25dbff2567f5a8d5c68 (patch)
tree7b8c1154e3cdbc9a79fc7c3e468f07544c51f910 /stdlib/source/test/aedifex/artifact
parent6f1bf11af05bd03183fee7721ac99eca826ca041 (diff)
Began work on C++ back-end.
Diffstat (limited to 'stdlib/source/test/aedifex/artifact')
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux6
9 files changed, 27 insertions, 27 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 9094e815b..bdeed5389 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -3,8 +3,8 @@
[lux (.except)
[abstract
[monad (.only do)]
- [\\specification
- ["$[0]" equivalence]]]
+ ["[0]" equivalence
+ ["[1]T" \\test]]]
[control
["[0]" try (.use "[1]#[0]" functor)]]
[data
@@ -34,7 +34,7 @@
(_.for [/.Snapshot]
(all _.and
(_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (equivalenceT.spec /.equivalence ..random))
(do random.monad
[expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 9a5cbba1c..5a0bccfc4 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -3,8 +3,8 @@
[lux (.except)
[abstract
[monad (.only do)]
- [\\specification
- ["$[0]" equivalence]]]
+ ["[0]" equivalence
+ ["[1]T" \\test]]]
[control
["[0]" try (.use "[1]#[0]" functor)]]
[data
@@ -28,7 +28,7 @@
(_.for [/.Build]
(all _.and
(_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (equivalenceT.spec /.equivalence ..random))
(do random.monad
[expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index a5d3b0e1d..a24916a04 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -3,8 +3,8 @@
[lux (.except)
[abstract
[monad (.only do)]
- [\\specification
- ["$[0]" equivalence]]]
+ ["[0]" equivalence
+ ["[1]T" \\test]]]
[control
["[0]" try (.use "[1]#[0]" functor)]]
[data
@@ -37,7 +37,7 @@
(_.for [/.Stamp])
(all _.and
(_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (equivalenceT.spec /.equivalence ..random))
(do random.monad
[expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index af6f8bdb0..9a81b6b54 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -3,8 +3,8 @@
[lux (.except)
[abstract
[monad (.only do)]
- [\\specification
- ["$[0]" equivalence]]]
+ ["[0]" equivalence
+ ["[1]T" \\test]]]
[control
["[0]" try (.use "[1]#[0]" functor)]]
[data
@@ -29,7 +29,7 @@
(_.for [/.Time])
(all _.and
(_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (equivalenceT.spec /.equivalence ..random))
(do random.monad
[expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index ba8f44d04..5e28c80e7 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -3,8 +3,8 @@
[lux (.except)
[abstract
[monad (.only do)]
- [\\specification
- ["$[0]" equivalence]]]
+ ["[0]" equivalence
+ ["[1]T" \\test]]]
[control
["[0]" try (.use "[1]#[0]" functor)]]
[data
@@ -37,7 +37,7 @@
(_.for [/.Version])
(all _.and
(_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (equivalenceT.spec /.equivalence ..random))
(do random.monad
[expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index f116a0a78..74b2ff039 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -3,8 +3,8 @@
[lux (.except)
[abstract
[monad (.only do)]
- [\\specification
- ["$[0]" equivalence]]]
+ ["[0]" equivalence
+ ["[1]T" \\test]]]
[control
["[0]" try (.use "[1]#[0]" functor)]]
[data
@@ -43,7 +43,7 @@
(_.for [/.Value])
(all _.and
(_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (equivalenceT.spec /.equivalence ..random))
(do random.monad
[sample random
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 912aa30f1..5978f2691 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -3,8 +3,8 @@
[lux (.except)
[abstract
[monad (.only do)]
- [\\specification
- ["$[0]" equivalence]]]
+ ["[0]" equivalence
+ ["[1]T" \\test]]]
[control
["[0]" try (.use "[1]#[0]" functor)]]
[data
@@ -38,7 +38,7 @@
(_.for [/.Time])
(all _.and
(_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (equivalenceT.spec /.equivalence ..random))
(do random.monad
[expected ..random]
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index f6fc6c83a..67332e1ca 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -3,8 +3,8 @@
[lux (.except)
[abstract
[monad (.only do)]
- [\\specification
- ["$[0]" equivalence]]]
+ ["[0]" equivalence
+ ["[1]T" \\test]]]
[control
["[0]" try (.use "[1]#[0]" functor)]
["[0]" exception]]
@@ -46,7 +46,7 @@
candidate random.date]
(all _.and
(_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (equivalenceT.spec /.equivalence ..random))
(_.coverage [/.format /.parser]
(|> expected
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index 6b2b504d2..62408f573 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -3,8 +3,8 @@
[lux (.except)
[abstract
[monad (.only do)]
- [\\specification
- ["$[0]" equivalence]]]
+ ["[0]" equivalence
+ ["[1]T" \\test]]]
[control
["[0]" try (.use "[1]#[0]" functor)]]
[data
@@ -36,7 +36,7 @@
(_.for [/.Versioning])
(all _.and
(_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (equivalenceT.spec /.equivalence ..random))
(do random.monad
[expected ..random]