diff options
| author | Eduardo Julian | 2022-07-28 17:39:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-28 17:39:01 -0400 |
| commit | a4b64bf1cdf47160b6b615d2c6493039abfd7a94 (patch) | |
| tree | 3fe8c149d9cad89bbf067c736d196260203d1a01 /stdlib/source/specification/lux/abstract/apply.lux | |
| parent | a4847190df926d35f7ece97da50a2a8b1462a24f (diff) | |
Extracted unit-testing machinery into its own module.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/apply.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 9c29ed974..460469078 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -21,7 +21,7 @@ (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample (at ! each injection random.nat)] - (_.property "Identity." + (_.test "Identity." ((comparison n.=) (/#on sample (injection function.identity)) sample)))) @@ -31,7 +31,7 @@ (do [! random.monad] [sample random.nat increase (at ! each n.+ random.nat)] - (_.property "Homomorphism." + (_.test "Homomorphism." ((comparison n.=) (/#on (injection sample) (injection increase)) (injection (increase sample)))))) @@ -41,7 +41,7 @@ (do [! random.monad] [sample random.nat increase (at ! each n.+ random.nat)] - (_.property "Interchange." + (_.test "Interchange." ((comparison n.=) (/#on (injection sample) (injection increase)) (/#on (injection increase) (injection (is (-> (-> Nat Nat) Nat) @@ -56,7 +56,7 @@ (at ! each n.+ random.nat)) decrease (is (Random :$/1:) (at ! each n.- random.nat))] - (_.property "Composition." + (_.test "Composition." ((comparison n.=) (|> (injection (is (-> :$/1: :$/1: :$/1:) function.composite)) |