aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux7
-rw-r--r--stdlib/source/test/aedifex/dependency.lux7
-rw-r--r--stdlib/source/test/aedifex/hash.lux7
-rw-r--r--stdlib/source/test/aedifex/profile.lux7
-rw-r--r--stdlib/source/test/aedifex/project.lux7
5 files changed, 20 insertions, 15 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index f9bf55c4c..cada52d52 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -6,8 +6,9 @@
[hash (.only Hash)]
[\\specification
["$[0]" equivalence]
- ["$[0]" order]
- ["$[0]" hash]]]
+ ["$[0]" hash]]
+ ["[0]" order
+ ["[1]T" \\test]]]
[data
["[0]" text (.use "[1]#[0]" equivalence)]]
[math
@@ -46,7 +47,7 @@
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
(_.for [/.order]
- ($order.spec /.order ..random))
+ (orderT.spec /.order ..random))
(_.for [/.hash]
($hash.spec /.hash ..random))
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index fbed2aaaa..3a71c655a 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -5,8 +5,9 @@
[monad (.only do)]
[\\specification
["$[0]" equivalence]
- ["$[0]" order]
- ["$[0]" hash]]]
+ ["$[0]" hash]]
+ ["[0]" order
+ ["[1]T" \\test]]]
[math
["[0]" random (.only Random)]]
[test
@@ -30,7 +31,7 @@
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
(_.for [/.order]
- ($order.spec /.order ..random))
+ (orderT.spec /.order ..random))
(_.for [/.hash]
($hash.spec /.hash ..random))
))))
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 36326a58f..55cd89bba 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -4,8 +4,9 @@
[abstract
[monad (.only do)]
[\\specification
- ["$[0]" equivalence]
- ["$[0]" codec]]]
+ ["$[0]" equivalence]]
+ ["[0]" codec
+ ["[1]T" \\test]]]
[control
["[0]" try]
["[0]" exception]]
@@ -70,7 +71,7 @@
))))
(,, (with_template [<codec> <hash>]
[(_.for [<codec>]
- ($codec.spec /.equivalence <codec> (..random <hash>)))]
+ (codecT.spec /.equivalence <codec> (..random <hash>)))]
[/.sha1_codec /.sha1]
[/.md5_codec /.md5]
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 591ad4d5d..387a9c2aa 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -5,8 +5,9 @@
[monad (.only do)]
[hash (.only Hash)]
[\\specification
- ["$[0]" equivalence]
- ["$[0]" monoid]]]
+ ["$[0]" equivalence]]
+ ["[0]" monoid
+ ["[1]T" \\test]]]
[control
["[0]" try]]
[data
@@ -162,7 +163,7 @@
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
(_.for [/.monoid]
- ($monoid.spec /.equivalence /.monoid ..random))
+ (monoidT.spec /.equivalence /.monoid ..random))
(_.coverage [/.default]
(text#= "" /.default))
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index decc5007d..f7040ca66 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -4,8 +4,9 @@
[abstract
[monad (.only do)]
[\\specification
- ["$[0]" equivalence]
- ["$[0]" monoid]]]
+ ["$[0]" equivalence]]
+ ["[0]" monoid
+ ["[1]T" \\test]]]
[control
["[0]" try (.use "[1]#[0]" functor)]
["[0]" exception]]
@@ -45,7 +46,7 @@
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
(_.for [/.monoid]
- ($monoid.spec /.equivalence /.monoid ..random))
+ (monoidT.spec /.equivalence /.monoid ..random))
(_.coverage [/.file]
(|> /.file