aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/abstract/functor.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/lux/abstract/functor.lux')
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux10
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index cc53413ca..8ac207e97 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -25,7 +25,7 @@
(def: (identity injection comparison (open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
- [sample (# ! each injection random.nat)]
+ [sample (at ! each injection random.nat)]
(_.property "Identity."
((comparison n.=)
(@//each function.identity sample)
@@ -35,7 +35,7 @@
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
[sample random.nat
- increase (# ! each n.+ random.nat)]
+ increase (at ! each n.+ random.nat)]
(_.property "Homomorphism."
((comparison n.=)
(@//each increase (injection sample))
@@ -44,9 +44,9 @@
(def: (composition injection comparison (open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
- [sample (# ! each injection random.nat)
- increase (# ! each n.+ random.nat)
- decrease (# ! each n.- random.nat)]
+ [sample (at ! each injection random.nat)
+ increase (at ! each n.+ random.nat)
+ decrease (at ! each n.- random.nat)]
(_.property "Composition."
((comparison n.=)
(|> sample (@//each increase) (@//each decrease))