From 7444deb1b80d469280fcb0684d91c13f752a86d6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 28 Nov 2020 21:40:29 -0400
Subject: Re-named "_.claim" to "_.cover'".

---
 stdlib/source/spec/aedifex/repository.lux | 24 ++++++------
 stdlib/source/spec/lux/world/console.lux  | 40 ++++++++++----------
 stdlib/source/spec/lux/world/shell.lux    | 62 +++++++++++++++----------------
 3 files changed, 63 insertions(+), 63 deletions(-)

(limited to 'stdlib/source/spec')

diff --git a/stdlib/source/spec/aedifex/repository.lux b/stdlib/source/spec/aedifex/repository.lux
index 613bbd407..a660722d9 100644
--- a/stdlib/source/spec/aedifex/repository.lux
+++ b/stdlib/source/spec/aedifex/repository.lux
@@ -33,17 +33,17 @@
 
                  upload!/bad (:: subject upload invalid-identity invalid-artifact //artifact/extension.lux-library expected)
                  download!/bad (:: subject download invalid-artifact //artifact/extension.lux-library)]
-                (_.claim [/.Repository]
-                         (and (case [upload!/good download!/good]
-                                [(#try.Success _) (#try.Success actual)]
-                                (:: binary.equivalence = expected actual)
+                (_.cover' [/.Repository]
+                          (and (case [upload!/good download!/good]
+                                 [(#try.Success _) (#try.Success actual)]
+                                 (:: binary.equivalence = expected actual)
 
-                                _
-                                false)
-                              (case [upload!/bad download!/bad]
-                                [(#try.Failure _) (#try.Failure _)]
-                                true
-                                
-                                _
-                                false))))
+                                 _
+                                 false)
+                               (case [upload!/bad download!/bad]
+                                 [(#try.Failure _) (#try.Failure _)]
+                                 true
+                                 
+                                 _
+                                 false))))
               ))))
diff --git a/stdlib/source/spec/lux/world/console.lux b/stdlib/source/spec/lux/world/console.lux
index 93d2c7417..5257785f0 100644
--- a/stdlib/source/spec/lux/world/console.lux
+++ b/stdlib/source/spec/lux/world/console.lux
@@ -28,25 +28,25 @@
                  ?close/good (!.use (:: console close) [])
                  ?close/bad (!.use (:: console close) [])]
                 ($_ _.and'
-                    (_.claim [/.Can-Read]
-                             (case [?read ?read-line]
-                               [(#try.Success _) (#try.Success _)]
-                               true
+                    (_.cover' [/.Can-Read]
+                              (case [?read ?read-line]
+                                [(#try.Success _) (#try.Success _)]
+                                true
 
-                               _
-                               false))
-                    (_.claim [/.Can-Write]
-                             (case ?write
-                               (#try.Success _)
-                               true
-                               
-                               _
-                               false))
-                    (_.claim [/.Can-Close]
-                             (case [?close/good ?close/bad]
-                               [(#try.Success _) (#try.Failure _)]
-                               true
-                               
-                               _
-                               false))
+                                _
+                                false))
+                    (_.cover' [/.Can-Write]
+                              (case ?write
+                                (#try.Success _)
+                                true
+                                
+                                _
+                                false))
+                    (_.cover' [/.Can-Close]
+                              (case [?close/good ?close/bad]
+                                [(#try.Success _) (#try.Failure _)]
+                                true
+                                
+                                _
+                                false))
                     ))))))
diff --git a/stdlib/source/spec/lux/world/shell.lux b/stdlib/source/spec/lux/world/shell.lux
index e0eacbee6..badc674b6 100644
--- a/stdlib/source/spec/lux/world/shell.lux
+++ b/stdlib/source/spec/lux/world/shell.lux
@@ -41,20 +41,20 @@
     [?read (!.use (:: process read) [])
      ?await (!.use (:: process await) [])]
     ($_ _.and'
-        (_.claim [/.Can-Read]
-                 (case ?read
-                   (#try.Success actual)
-                   (text\= expected actual)
-                   
-                   (#try.Failure error)
-                   false))
-        (_.claim [/.Can-Wait /.Exit /.normal]
-                 (case ?await
-                   (#try.Success exit)
-                   (i.= /.normal exit)
-                   
-                   (#try.Failure error)
-                   false))
+        (_.cover' [/.Can-Read]
+                  (case ?read
+                    (#try.Success actual)
+                    (text\= expected actual)
+                    
+                    (#try.Failure error)
+                    false))
+        (_.cover' [/.Can-Wait /.Exit /.normal]
+                  (case ?await
+                    (#try.Success exit)
+                    (i.= /.normal exit)
+                    
+                    (#try.Failure error)
+                    false))
         )))
 
 (def: (destroy-test process)
@@ -62,19 +62,19 @@
   (do promise.monad
     [?destroy (!.use (:: process destroy) [])
      ?await (!.use (:: process await) [])]
-    (_.claim [/.Can-Destroy]
-             (and (case ?destroy
-                    (#try.Success _)
-                    true
-                    
-                    (#try.Failure error)
-                    false)
-                  (case ?await
-                    (#try.Success _)
-                    false
-                    
-                    (#try.Failure error)
-                    true)))))
+    (_.cover' [/.Can-Destroy]
+              (and (case ?destroy
+                     (#try.Success _)
+                     true
+                     
+                     (#try.Failure error)
+                     false)
+                   (case ?await
+                     (#try.Success _)
+                     false
+                     
+                     (#try.Failure error)
+                     true)))))
 
 (with-expansions [<shell-coverage> (as-is [/.Can-Execute /.Command /.Argument])]
   (def: #export (spec shell)
@@ -89,11 +89,11 @@
                   (case [?echo ?sleep]
                     [(#try.Success echo) (#try.Success sleep)]
                     ($_ _.and'
-                        (_.claim <shell-coverage>
-                                 true)
+                        (_.cover' <shell-coverage>
+                                  true)
                         (..read-test message echo)
                         (..destroy-test sleep))
                     
                     _
-                    (_.claim <shell-coverage>
-                             false))))))))
+                    (_.cover' <shell-coverage>
+                              false))))))))
-- 
cgit v1.2.3