diff options
| author | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
| commit | 36303d6cb2ce3ab9e36d045b9516c997bd461862 (patch) | |
| tree | b9d2f1495143054d61d9af129f36833624db9dac /stdlib/source/specification/lux/abstract/apply.lux | |
| parent | ec1f31b5a1492d5e0ab260397291d4449483bbd9 (diff) | |
Outsourced the syntax for labelled type definitions to macros.
Diffstat (limited to 'stdlib/source/specification/lux/abstract/apply.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/apply.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index e857c81e5..1e2c7b676 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -18,7 +18,7 @@ (def: (identity injection comparison (^open "\.")) (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) (do {! random.monad} - [sample (\ ! map injection random.nat)] + [sample (\ ! each injection random.nat)] (_.test "Identity." ((comparison n.=) (\on sample (injection function.identity)) @@ -28,7 +28,7 @@ (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) (do {! random.monad} [sample random.nat - increase (\ ! map n.+ random.nat)] + increase (\ ! each n.+ random.nat)] (_.test "Homomorphism." ((comparison n.=) (\on (injection sample) (injection increase)) @@ -38,7 +38,7 @@ (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) (do {! random.monad} [sample random.nat - increase (\ ! map n.+ random.nat)] + increase (\ ! each n.+ random.nat)] (_.test "Interchange." ((comparison n.=) (\on (injection sample) (injection increase)) @@ -49,8 +49,8 @@ (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) (do {! random.monad} [sample random.nat - increase (\ ! map n.+ random.nat) - decrease (\ ! map n.- random.nat)] + increase (\ ! each n.+ random.nat) + decrease (\ ! each n.- random.nat)] (_.test "Composition." ((comparison n.=) (|> (injection function.composite) |