From 240a4465157bb903dd2a3ee4cdc28aadf09f8dcb Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 19 Dec 2022 20:56:06 -0400
Subject: Added price-action abstraction.

---
 stdlib/source/test/aedifex/artifact.lux   | 7 ++++---
 stdlib/source/test/aedifex/dependency.lux | 7 ++++---
 stdlib/source/test/aedifex/hash.lux       | 7 ++++---
 stdlib/source/test/aedifex/profile.lux    | 7 ++++---
 stdlib/source/test/aedifex/project.lux    | 7 ++++---
 5 files changed, 20 insertions(+), 15 deletions(-)

(limited to 'stdlib/source/test/aedifex')

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
-- 
cgit v1.2.3