aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/spec')
-rw-r--r--stdlib/source/spec/aedifex/repository.lux24
-rw-r--r--stdlib/source/spec/lux/world/console.lux40
-rw-r--r--stdlib/source/spec/lux/world/shell.lux62
3 files changed, 63 insertions, 63 deletions
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))))))))