From bfacc0c96e56eedf788aba44bd8ad2848a35c390 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 16 Jul 2021 02:23:00 -0400
Subject: Fixed some inconsistent naming.

---
 stdlib/source/test/aedifex/artifact.lux           | 14 +++++++++++++-
 stdlib/source/test/aedifex/artifact/extension.lux |  8 +++++---
 stdlib/source/test/aedifex/artifact/time.lux      | 12 ++++++++++++
 3 files changed, 30 insertions(+), 4 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 6afbbf27c..ce0af7e7f 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -6,7 +6,9 @@
      [monad (#+ do)]
      [hash (#+ Hash)]
      [\\specification
-      ["$." equivalence]]]
+      ["$." equivalence]
+      ["$." order]
+      ["$." hash]]]
     [control
      [concurrency
       [promise (#+ Promise)]]]
@@ -37,11 +39,21 @@
 (def: #export test
   Test
   (<| (_.covering /._)
+      (do random.monad
+        [sample ..random])
       (_.for [/.Group /.Name /.Version
               /.Artifact]
              ($_ _.and
                  (_.for [/.equivalence]
                         ($equivalence.spec /.equivalence ..random))
+                 (_.for [/.order]
+                        ($order.spec /.order ..random))
+                 (_.for [/.hash]
+                        ($hash.spec /.hash ..random))
+
+                 (_.cover [/.format /.identity]
+                          (and (text.ends_with? (/.identity sample) (/.format sample))
+                               (not (text\= (/.identity sample) (/.format sample)))))
                  
                  /extension.test
                  /snapshot.test
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index fd28c5d92..b8a2144aa 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -29,10 +29,12 @@
                                 uniques (set.from_list text.hash options)]
                             (n.= (list.size options)
                                  (set.size uniques))))
-                 (_.cover [/.extension]
+                 (_.cover [/.extension /.type]
                           (`` (and (~~ (template [<type> <extension>]
-                                         [(text\= <extension>
-                                                  (/.extension <type>))]
+                                         [(and (text\= <extension>
+                                                       (/.extension <type>))
+                                               (text\= <type>
+                                                       (/.type (/.extension <type>))))]
 
                                          [//.lux_library /.lux_library]
                                          [//.jvm_library /.jvm_library]
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index f69566096..131155500 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -10,6 +10,8 @@
      ["." try ("#\." functor)]
      [parser
       ["<.>" text]]]
+    [time
+     ["." instant ("#\." equivalence)]]
     [math
      ["." random (#+ Random)]
      [number
@@ -43,6 +45,16 @@
                          (<text>.run /.parser)
                          (try\map (\ /.equivalence = expected))
                          (try.default false))))
+          (do random.monad
+            [expected ..random]
+            (_.cover [/.instant /.from_instant]
+                     (|> expected
+                         /.instant
+                         /.from_instant
+                         (try\map (\ /.equivalence = expected))
+                         (try.default false))))
+          (_.cover [/.epoch]
+                   (instant\= instant.epoch (/.instant /.epoch)))
 
           /date.test
           /time.test
-- 
cgit v1.2.3