diff options
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 1e2c7b676..007e4800a 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -16,7 +16,7 @@ [functor (#+ Injection Comparison)]]) (def: (identity injection comparison (^open "\.")) - (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) + (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do {! random.monad} [sample (\ ! each injection random.nat)] (_.test "Identity." @@ -25,7 +25,7 @@ sample)))) (def: (homomorphism injection comparison (^open "\.")) - (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) + (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do {! random.monad} [sample random.nat increase (\ ! each n.+ random.nat)] @@ -35,7 +35,7 @@ (injection (increase sample)))))) (def: (interchange injection comparison (^open "\.")) - (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) + (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do {! random.monad} [sample random.nat increase (\ ! each n.+ random.nat)] @@ -46,7 +46,7 @@ (function (_ f) (f sample))))))))) (def: (composition injection comparison (^open "\.")) - (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) + (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do {! random.monad} [sample random.nat increase (\ ! each n.+ random.nat) @@ -62,7 +62,7 @@ (injection decrease)))))) (def: .public (spec injection comparison apply) - (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) + (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (_.for [/.Apply] ($_ _.and (..identity injection comparison apply) |