diff options
author | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
commit | f9e33ae96aec4741385a576719786092c9e68043 (patch) | |
tree | 140057dfc054346eab721f9905f0f0fff22ad933 /stdlib/source/specification/lux/abstract/apply.lux | |
parent | 56d2835d35093e2d92c5e8a4371aa322b55e037b (diff) |
De-sigil-ification: #
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 fcb51c926..8d0fe390e 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -19,7 +19,7 @@ (def: (identity injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] - [sample (# ! each injection random.nat)] + [sample (at ! each injection random.nat)] (_.property "Identity." ((comparison n.=) (/#on sample (injection function.identity)) @@ -29,7 +29,7 @@ (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat - increase (# ! each n.+ random.nat)] + increase (at ! each n.+ random.nat)] (_.property "Homomorphism." ((comparison n.=) (/#on (injection sample) (injection increase)) @@ -39,7 +39,7 @@ (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat - increase (# ! each n.+ random.nat)] + increase (at ! each n.+ random.nat)] (_.property "Interchange." ((comparison n.=) (/#on (injection sample) (injection increase)) @@ -52,9 +52,9 @@ (do [! random.monad] [sample random.nat increase (is (Random :$/1:) - (# ! each n.+ random.nat)) + (at ! each n.+ random.nat)) decrease (is (Random :$/1:) - (# ! each n.- random.nat))] + (at ! each n.- random.nat))] (_.property "Composition." ((comparison n.=) (|> (injection (is (-> :$/1: :$/1: :$/1:) |