aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex')
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux7
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux7
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux7
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux7
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux7
5 files changed, 19 insertions, 16 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index d93d9070c..a26532ce1 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -7,9 +7,10 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try (.open: "[1]#[0]" functor)]
- [parser
- ["<[0]>" text]]]
+ ["[0]" try (.open: "[1]#[0]" functor)]]
+ [data
+ ["[0]" text
+ ["<[1]>" \\parser]]]
[math
["[0]" random (.only Random)]]]]
[\\program
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 27ef6062c..34599cf81 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -7,12 +7,11 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try (.open: "[1]#[0]" functor)]
- [parser
- ["<[0]>" text]]]
+ ["[0]" try (.open: "[1]#[0]" functor)]]
[data
["[0]" text (.open: "[1]#[0]" equivalence)
- ["%" format (.only format)]]]
+ ["%" format (.only format)]
+ ["<[1]>" \\parser]]]
[math
["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 56ffe1ea1..8ee637360 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -7,9 +7,10 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try (.open: "[1]#[0]" functor)]
- [parser
- ["<[0]>" text]]]
+ ["[0]" try (.open: "[1]#[0]" functor)]]
+ [data
+ ["[0]" text
+ ["<[1]>" \\parser]]]
[time
["[0]" instant (.open: "[1]#[0]" equivalence)]]
[math
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index ca23a1d2a..b53420e0a 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -8,9 +8,10 @@
["$[0]" equivalence]]]
[control
["[0]" try (.open: "[1]#[0]" functor)]
- ["[0]" exception]
- [parser
- ["<[0]>" text]]]
+ ["[0]" exception]]
+ [data
+ ["[0]" text
+ ["<[1]>" \\parser]]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index a242ae3a4..9a7189e33 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -6,9 +6,10 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try (.open: "[1]#[0]" functor)]
- [parser
- ["<[0]>" text]]]
+ ["[0]" try (.open: "[1]#[0]" functor)]]
+ [data
+ ["[0]" text
+ ["<[1]>" \\parser]]]
[math
["[0]" random (.only Random)]
[number