diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/functor.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/functor.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index 33c6506c5..7d280e610 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -15,15 +15,15 @@ ["." / (#+ Functor)]]) (type: .public (Injection f) - (All [a] (-> a (f a)))) + (All (_ a) (-> a (f a)))) (type: .public (Comparison f) - (All [a] + (All (_ a) (-> (Equivalence a) (Equivalence (f a))))) (def: (identity injection comparison (^open "@//.")) - (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) + (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) (do {! random.monad} [sample (\ ! each injection random.nat)] (_.test "Identity." @@ -32,7 +32,7 @@ sample)))) (def: (homomorphism injection comparison (^open "@//.")) - (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) + (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) (do {! random.monad} [sample random.nat increase (\ ! each n.+ random.nat)] @@ -42,7 +42,7 @@ (injection (increase sample)))))) (def: (composition injection comparison (^open "@//.")) - (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) + (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) (do {! random.monad} [sample (\ ! each injection random.nat) increase (\ ! each n.+ random.nat) @@ -53,7 +53,7 @@ (|> sample (@//each (|>> increase decrease))))))) (def: .public (spec injection comparison functor) - (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) + (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) (<| (_.for [/.Functor]) ($_ _.and (..identity injection comparison functor) |