diff options
author | Eduardo Julian | 2022-03-16 08:37:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-16 08:37:23 -0400 |
commit | bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 (patch) | |
tree | 49683a62ae8e110c62b42a9a6386bb2ddb3c47c6 /stdlib/source/specification/lux/abstract/apply.lux | |
parent | d710d9f4fc098e7c243c8a5f23cd42683f13e07f (diff) |
De-sigil-ification: prefix :
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))) |