aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/spec')
-rw-r--r--stdlib/source/spec/lux/abstract/apply.lux14
-rw-r--r--stdlib/source/spec/lux/abstract/codec.lux16
-rw-r--r--stdlib/source/spec/lux/abstract/comonad.lux2
-rw-r--r--stdlib/source/spec/lux/abstract/enum.lux2
-rw-r--r--stdlib/source/spec/lux/abstract/equivalence.lux2
-rw-r--r--stdlib/source/spec/lux/abstract/functor.lux2
-rw-r--r--stdlib/source/spec/lux/abstract/functor/contravariant.lux2
-rw-r--r--stdlib/source/spec/lux/abstract/interval.lux2
-rw-r--r--stdlib/source/spec/lux/abstract/monad.lux2
-rw-r--r--stdlib/source/spec/lux/abstract/monoid.lux2
-rw-r--r--stdlib/source/spec/lux/abstract/order.lux2
-rw-r--r--stdlib/source/spec/lux/world/console.lux2
-rw-r--r--stdlib/source/spec/lux/world/shell.lux2
13 files changed, 26 insertions, 26 deletions
diff --git a/stdlib/source/spec/lux/abstract/apply.lux b/stdlib/source/spec/lux/abstract/apply.lux
index 40bd37826..8b9884b26 100644
--- a/stdlib/source/spec/lux/abstract/apply.lux
+++ b/stdlib/source/spec/lux/abstract/apply.lux
@@ -64,10 +64,10 @@
(def: #export (spec injection comparison apply)
(All [f] (-> (Injection f) (Comparison f) (Apply f) Test))
- (_.with-cover [/.Apply]
- ($_ _.and
- (..identity injection comparison apply)
- (..homomorphism injection comparison apply)
- (..interchange injection comparison apply)
- (..composition injection comparison apply)
- )))
+ (_.for [/.Apply]
+ ($_ _.and
+ (..identity injection comparison apply)
+ (..homomorphism injection comparison apply)
+ (..interchange injection comparison apply)
+ (..composition injection comparison apply)
+ )))
diff --git a/stdlib/source/spec/lux/abstract/codec.lux b/stdlib/source/spec/lux/abstract/codec.lux
index e5740cf53..db3148c3f 100644
--- a/stdlib/source/spec/lux/abstract/codec.lux
+++ b/stdlib/source/spec/lux/abstract/codec.lux
@@ -16,11 +16,11 @@
(All [m a] (-> (Equivalence a) (/.Codec m a) (Random a) Test))
(do random.monad
[expected generator]
- (_.with-cover [/.Codec]
- (_.test "Isomorphism."
- (case (|> expected @//encode @//decode)
- (#try.Success actual)
- (@//= expected actual)
-
- (#try.Failure _)
- false)))))
+ (_.for [/.Codec]
+ (_.test "Isomorphism."
+ (case (|> expected @//encode @//decode)
+ (#try.Success actual)
+ (@//= expected actual)
+
+ (#try.Failure _)
+ false)))))
diff --git a/stdlib/source/spec/lux/abstract/comonad.lux b/stdlib/source/spec/lux/abstract/comonad.lux
index ed56d5787..5865381d2 100644
--- a/stdlib/source/spec/lux/abstract/comonad.lux
+++ b/stdlib/source/spec/lux/abstract/comonad.lux
@@ -53,7 +53,7 @@
(def: #export (spec injection comparison subject)
(All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test))
- (<| (_.with-cover [/.CoMonad])
+ (<| (_.for [/.CoMonad])
($_ _.and
(..left-identity injection subject)
(..right-identity injection comparison subject)
diff --git a/stdlib/source/spec/lux/abstract/enum.lux b/stdlib/source/spec/lux/abstract/enum.lux
index 7f541b0e9..e598179ad 100644
--- a/stdlib/source/spec/lux/abstract/enum.lux
+++ b/stdlib/source/spec/lux/abstract/enum.lux
@@ -12,7 +12,7 @@
(All [a] (-> (/.Enum a) (Random a) Test))
(do random.monad
[sample gen-sample]
- (<| (_.with-cover [/.Enum])
+ (<| (_.for [/.Enum])
($_ _.and
(_.test "Successor and predecessor are inverse functions."
(and (@//= (|> sample @//succ @//pred)
diff --git a/stdlib/source/spec/lux/abstract/equivalence.lux b/stdlib/source/spec/lux/abstract/equivalence.lux
index 1d8db459c..5c5114f4d 100644
--- a/stdlib/source/spec/lux/abstract/equivalence.lux
+++ b/stdlib/source/spec/lux/abstract/equivalence.lux
@@ -13,7 +13,7 @@
(do random.monad
[left generator
right generator]
- (<| (_.with-cover [/.Equivalence])
+ (<| (_.for [/.Equivalence])
($_ _.and
(_.test "Reflexivity."
(_//= left left))
diff --git a/stdlib/source/spec/lux/abstract/functor.lux b/stdlib/source/spec/lux/abstract/functor.lux
index 70206e9bb..f29e34554 100644
--- a/stdlib/source/spec/lux/abstract/functor.lux
+++ b/stdlib/source/spec/lux/abstract/functor.lux
@@ -54,7 +54,7 @@
(def: #export (spec injection comparison functor)
(All [f] (-> (Injection f) (Comparison f) (Functor f) Test))
- (<| (_.with-cover [/.Functor])
+ (<| (_.for [/.Functor])
($_ _.and
(..identity injection comparison functor)
(..homomorphism injection comparison functor)
diff --git a/stdlib/source/spec/lux/abstract/functor/contravariant.lux b/stdlib/source/spec/lux/abstract/functor/contravariant.lux
index 8adf0139d..8a2e237b6 100644
--- a/stdlib/source/spec/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/spec/lux/abstract/functor/contravariant.lux
@@ -25,7 +25,7 @@
(All [f a] (-> (Equivalence (f a)) (f a) (Functor f) Test))
(do random.monad
[sample random.nat]
- (<| (_.with-cover [/.Functor])
+ (<| (_.for [/.Functor])
($_ _.and
(..identity equivalence value functor)
))))
diff --git a/stdlib/source/spec/lux/abstract/interval.lux b/stdlib/source/spec/lux/abstract/interval.lux
index 0cd255eb2..c80c3ec5b 100644
--- a/stdlib/source/spec/lux/abstract/interval.lux
+++ b/stdlib/source/spec/lux/abstract/interval.lux
@@ -11,7 +11,7 @@
(def: #export (spec (^open "@//.") gen-sample)
(All [a] (-> (/.Interval a) (Random a) Test))
- (<| (_.with-cover [/.Interval])
+ (<| (_.for [/.Interval])
(do random.monad
[sample gen-sample]
($_ _.and
diff --git a/stdlib/source/spec/lux/abstract/monad.lux b/stdlib/source/spec/lux/abstract/monad.lux
index 8c1cf7f76..322de7b7b 100644
--- a/stdlib/source/spec/lux/abstract/monad.lux
+++ b/stdlib/source/spec/lux/abstract/monad.lux
@@ -49,7 +49,7 @@
(def: #export (spec injection comparison monad)
(All [f] (-> (Injection f) (Comparison f) (Monad f) Test))
- (<| (_.with-cover [/.Monad])
+ (<| (_.for [/.Monad])
($_ _.and
(..left-identity injection comparison monad)
(..right-identity injection comparison monad)
diff --git a/stdlib/source/spec/lux/abstract/monoid.lux b/stdlib/source/spec/lux/abstract/monoid.lux
index 23e35d0db..b3bcd7a67 100644
--- a/stdlib/source/spec/lux/abstract/monoid.lux
+++ b/stdlib/source/spec/lux/abstract/monoid.lux
@@ -17,7 +17,7 @@
left gen-sample
mid gen-sample
right gen-sample]
- (<| (_.with-cover [/.Monoid])
+ (<| (_.for [/.Monoid])
($_ _.and
(_.test "Left identity."
(@//= sample
diff --git a/stdlib/source/spec/lux/abstract/order.lux b/stdlib/source/spec/lux/abstract/order.lux
index 7fa8c618c..6d259a465 100644
--- a/stdlib/source/spec/lux/abstract/order.lux
+++ b/stdlib/source/spec/lux/abstract/order.lux
@@ -10,7 +10,7 @@
(def: #export (spec (^open "@//.") generator)
(All [a] (-> (/.Order a) (Random a) Test))
- (<| (_.with-cover [/.Order])
+ (<| (_.for [/.Order])
($_ _.and
(do random.monad
[parameter generator
diff --git a/stdlib/source/spec/lux/world/console.lux b/stdlib/source/spec/lux/world/console.lux
index 761376526..1da631a98 100644
--- a/stdlib/source/spec/lux/world/console.lux
+++ b/stdlib/source/spec/lux/world/console.lux
@@ -17,7 +17,7 @@
(def: #export (spec console)
(-> (IO (/.Console Promise)) Test)
- (<| (_.with-cover [/.Console])
+ (<| (_.for [/.Console])
(do {! random.monad}
[message (random.ascii/alpha 10)]
(wrap (do promise.monad
diff --git a/stdlib/source/spec/lux/world/shell.lux b/stdlib/source/spec/lux/world/shell.lux
index b6aa282d4..935bd3ab3 100644
--- a/stdlib/source/spec/lux/world/shell.lux
+++ b/stdlib/source/spec/lux/world/shell.lux
@@ -78,7 +78,7 @@
(with-expansions [<shell-coverage> (as-is [/.Can-Execute /.Command /.Argument])]
(def: #export (spec shell)
(-> (/.Shell Promise) Test)
- (<| (_.with-cover [/.Shell /.Process])
+ (<| (_.for [/.Shell /.Process])
(do {! random.monad}
[message (random.ascii/alpha 10)
seconds (\ ! map (|>> (n.% 5) (n.+ 5)) random.nat)]