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/time.lux | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'stdlib/source/test/aedifex/artifact/time.lux')

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