diff options
Diffstat (limited to 'stdlib/source/spec')
-rw-r--r-- | stdlib/source/spec/lux/abstract/apply.lux | 14 | ||||
-rw-r--r-- | stdlib/source/spec/lux/abstract/codec.lux | 16 | ||||
-rw-r--r-- | stdlib/source/spec/lux/abstract/comonad.lux | 2 | ||||
-rw-r--r-- | stdlib/source/spec/lux/abstract/enum.lux | 2 | ||||
-rw-r--r-- | stdlib/source/spec/lux/abstract/equivalence.lux | 2 | ||||
-rw-r--r-- | stdlib/source/spec/lux/abstract/functor.lux | 2 | ||||
-rw-r--r-- | stdlib/source/spec/lux/abstract/functor/contravariant.lux | 2 | ||||
-rw-r--r-- | stdlib/source/spec/lux/abstract/interval.lux | 2 | ||||
-rw-r--r-- | stdlib/source/spec/lux/abstract/monad.lux | 2 | ||||
-rw-r--r-- | stdlib/source/spec/lux/abstract/monoid.lux | 2 | ||||
-rw-r--r-- | stdlib/source/spec/lux/abstract/order.lux | 2 | ||||
-rw-r--r-- | stdlib/source/spec/lux/world/console.lux | 2 | ||||
-rw-r--r-- | stdlib/source/spec/lux/world/shell.lux | 2 |
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)] |