diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/functor.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/functor.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index 1186640fa..681f6dcd5 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -24,7 +24,7 @@ (def: (identity injection comparison (^open "@//.")) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) - (do {! random.monad} + (do [! random.monad] [sample (\ ! each injection random.nat)] (_.test "Identity." ((comparison n.=) @@ -33,7 +33,7 @@ (def: (homomorphism injection comparison (^open "@//.")) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) - (do {! random.monad} + (do [! random.monad] [sample random.nat increase (\ ! each n.+ random.nat)] (_.test "Homomorphism." @@ -43,7 +43,7 @@ (def: (composition injection comparison (^open "@//.")) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) - (do {! random.monad} + (do [! random.monad] [sample (\ ! each injection random.nat) increase (\ ! each n.+ random.nat) decrease (\ ! each n.- random.nat)] |