diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/apply.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/apply.lux | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index fe61d1a33..fb4ddd758 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -2,6 +2,7 @@ [library [lux "*" ["_" test {"+" Test}] + ["[0]" type] [abstract [monad {"+" do}]] [control @@ -42,22 +43,22 @@ (_.test "Interchange." ((comparison n.=) (/#on (injection sample) (injection increase)) - (/#on (injection increase) (injection (: (-> (-> Nat Nat) Nat) - (function (_ f) (f sample))))))))) + (/#on (injection increase) (injection (is (-> (-> Nat Nat) Nat) + (function (_ f) (f sample))))))))) (def: (composition injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) - (:let [:$/1: (-> Nat Nat)] + (type.let [:$/1: (-> Nat Nat)] (do [! random.monad] [sample random.nat - increase (: (Random :$/1:) - (# ! each n.+ random.nat)) - decrease (: (Random :$/1:) - (# ! each n.- random.nat))] + increase (is (Random :$/1:) + (# ! each n.+ random.nat)) + decrease (is (Random :$/1:) + (# ! each n.- random.nat))] (_.test "Composition." ((comparison n.=) - (|> (injection (: (-> :$/1: :$/1: :$/1:) - function.composite)) + (|> (injection (is (-> :$/1: :$/1: :$/1:) + function.composite)) (/#on (injection increase)) (/#on (injection decrease)) (/#on (injection sample))) |